@inproceedings{
Kim21PASAN,
Author = {Taegyu Kim and Vireshwar Kumar and John Junghwan Rhee and Jizhou Chen and Kyungtae Kim and Chung Hwan Kim and Dongyan Xu and Dave (Jing) Tian},
Title = {{PASAN:} Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications (to appear)},
Booktitle = {Security},
Year = {2021}
}