PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications (to appear)
Proceedings of the 30th USENIX Security Symposium (Security) 2021.
View BibTeX.
areas
Security,
Cyber-Physical Systems,
Operating Systems,
Program Analysis