S3 Lab - Software & Systems Security Laboratory

PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications (to appear)

No PDF availalbe

Taegyu Kim, Vireshwar Kumar, Junghwan (John) Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave (Jing) Tian

Proceedings of the 30th USENIX Security Symposium (Security) 2021.

Security, Cyber-Physical Systems, Operating Systems, Program Analysis