@inproceedings {294502,
	author = {Jianliang Wu and Patrick Traynor and Dongyan Xu and Dave (Jing) Tian and Antonio Bianchi},
	title = {Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations},
	booktitle = {33rd USENIX Security Symposium (USENIX Security 24)},
	year = {2024},
	isbn = {978-1-939133-44-1},
	address = {Philadelphia, PA},
	pages = {4499--4516},
	url = {https://www.usenix.org/conference/usenixsecurity24/presentation/wu-jianliang},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {299553,
	author = {Syed Ghazanfar Abbas and Muslum Ozgur Ozmen and Abdulellah Alsaheel and Arslan Khan and Z. Berkay Celik and Dongyan Xu},
	title = {{SAIN}: Improving {ICS} Attack Detection Sensitivity via {State-Aware} Invariants},
	booktitle = {33rd USENIX Security Symposium (USENIX Security 24)},
	year = {2024},
	isbn = {978-1-939133-44-1},
	address = {Philadelphia, PA},
	pages = {6597--6613},
	url = {https://www.usenix.org/conference/usenixsecurity24/presentation/abbas},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {285351,
	author = {Hyungsub Kim and Muslum Ozgur Ozmen and Z. Berkay Celik and Antonio Bianchi and Dongyan Xu},
	title = {{PatchVerif}: Discovering Faulty Patches in Robotic Vehicles},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {3011--3028},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/kim-hyungsub},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {287308,
	author = {Khaled Serag and Rohit Bhatia and Akram Faqih and Muslum Ozgur Ozmen and Vireshwar Kumar and Z. Berkay Celik and Dongyan Xu},
	title = {{ZBCAN}: A {Zero-Byte} {CAN} Defense System},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {6893--6910},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/serag},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {281410,
	author = {Ruoyu Wu and Taegyu Kim and Dave (Jing) Tian and Antonio Bianchi and Dongyan Xu},
	title = {{DnD}: A {Cross-Architecture} Deep Neural Network Decompiler},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {2135--2152},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/wu-ruoyu},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {277208,
	author = {Fei Wang and Jianliang Wu and Yuhong Nan and Yousra Aafer and Xiangyu Zhang and Dongyan Xu and Mathias Payer},
	title = {{ProFactory}: Improving {IoT} Security via Formalized Protocol Customization},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {3879--3896},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/wang-fei},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {263852,
	author = {Abdulellah Alsaheel and Yuhong Nan and Shiqing Ma and Le Yu and Gregory Walkup and Z. Berkay Celik and Xiangyu Zhang and Dongyan Xu},
	title = {{ATLAS}: A Sequence-based Learning Approach for Attack Investigation},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {3005--3022},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/alsaheel},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272172,
	author = {Khaled Serag and Rohit Bhatia and Vireshwar Kumar and Z. Berkay Celik and Dongyan Xu},
	title = {Exposing New Vulnerabilities of Error Handling Mechanism in {CAN}},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {4241--4258},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/serag},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272122,
	author = {Jianliang Wu and Ruoyu Wu and Daniele Antonioli and Mathias Payer and Nils Ole Tippenhauer and Dongyan Xu and Dave (Jing) Tian and Antonio Bianchi},
	title = {{LIGHTBLUE}: Automatic {Profile-Aware} Debloating of Bluetooth Stacks},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {339--356},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/wu-jianliang},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272132,
	author = {Arslan Khan and Hyungsub Kim and Byoungyoung Lee and Dongyan Xu and Antonio Bianchi and Dave (Jing) Tian},
	title = {{M2MON}: Building an {MMIO-based} Security Reference Monitor for Unmanned Vehicles},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {285--302},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/khan-arslan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272140,
	author = {Taegyu Kim and Vireshwar Kumar and 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},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {249--266},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/kim},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {263878,
	author = {Muhammad Abubakar and Adil Ahmad and Pedro Fonseca and Dongyan Xu},
	title = {{SHARD}: {Fine-Grained} Kernel Specialization with {Context-Aware} Hardening},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {2435--2452},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/abubakar},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {257198,
	author = {Jianliang Wu and Yuhong Nan and Vireshwar Kumar and Dave (Jing) Tian and Antonio Bianchi and Mathias Payer and Dongyan Xu},
	title = {{BLESA}: Spoofing Attacks against Reconnections in Bluetooth Low Energy},
	booktitle = {14th USENIX Workshop on Offensive Technologies (WOOT 20)},
	year = {2020},
	url = {https://www.usenix.org/conference/woot20/presentation/wu},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {259723,
	author = {Jianliang Wu and Yuhong Nan and Vireshwar Kumar and Mathias Payer and Dongyan Xu},
	title = {{BlueShield}: Detecting Spoofing Attacks in Bluetooth Low Energy Networks},
	booktitle = {23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020)},
	year = {2020},
	isbn = {978-1-939133-18-2},
	address = {San Sebastian},
	pages = {397--411},
	url = {https://www.usenix.org/conference/raid2020/presentation/wu},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {255326,
	author = {Taegyu Kim and Chung Hwan Kim and Altay Ozen and Fan Fei and Zhan Tu and Xiangyu Zhang and Xinyan Deng and Dave (Jing) Tian and Dongyan Xu},
	title = {From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {913--930},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/kim},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {259715,
	author = {Hongjun Choi and Sayali Kate and Yousra Aafer and Xiangyu Zhang and Dongyan Xu},
	title = {Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles},
	booktitle = {23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020)},
	year = {2020},
	isbn = {978-1-939133-18-2},
	address = {San Sebastian},
	pages = {349--364},
	url = {https://www.usenix.org/conference/raid2020/presentation/choi},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {236260,
	author = {Taegyu Kim and Chung Hwan Kim and Junghwan Rhee and Fan Fei and Zhan Tu and Gregory Walkup and Xiangyu Zhang and Xinyan Deng and Dongyan Xu},
	title = {{RVFuzzer}: Finding Input Validation Bugs in Robotic Vehicles through {Control-Guided} Testing},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {425--442},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/kim},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {216025,
	author = {Shiqing Ma and Juan Zhai and Yonghwi Kwon and Kyu Hyung Lee and Xiangyu Zhang and Gabriela Ciocarlie and Ashish Gehani and Vinod Yegneswaran and Dongyan Xu and Somesh Jha},
	title = {{Kernel-Supported} {Cost-Effective} Audit Logging for Causality Tracking},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {ISBN 978-1-939133-01-4},
	address = {Boston, MA},
	pages = {241--254},
	url = {https://www.usenix.org/conference/atc18/presentation/ma-shiqing},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {203706,
	author = {Shiqing Ma and Juan Zhai and Fei Wang and Kyu Hyung Lee and Xiangyu Zhang and Dongyan Xu},
	title = {{MPI}: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {1111--1128},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/ma},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {198409,
	author = {Brendan Saltaformaggio and Hongjun Choi and Kristen Johnson and Yonghwi Kwon and Qi Zhang and Xiangyu Zhang and Dongyan Xu and John Qian},
	title = {Eavesdropping on {Fine-Grained} User Activities Within Smartphone Apps Over Encrypted Network Traffic},
	booktitle = {10th USENIX Workshop on Offensive Technologies (WOOT 16)},
	year = {2016},
	address = {Austin, TX},
	url = {https://www.usenix.org/conference/woot16/workshop-program/presentation/saltaformaggio},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {197237,
	author = {Brendan Saltaformaggio and Rohit Bhatia and Xiangyu Zhang and Dongyan Xu and Golden G. Richard III},
	title = {Screen after Previous Screens: {Spatial-Temporal} Recreation of Android App Displays from Memory Images},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {1137--1151},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/saltaformaggio},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {184433,
	author = {Brendan Saltaformaggio and Zhongshu Gu and Xiangyu Zhang and Dongyan Xu},
	title = {{DSCRETE}: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse},
	booktitle = {23rd USENIX Security Symposium (USENIX Security 14)},
	year = {2014},
	isbn = {978-1-931971-15-7},
	address = {San Diego, CA},
	pages = {255--269},
	url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/saltaformaggio},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {184513,
	author = {Fei Peng and Zhui Deng and Xiangyu Zhang and Dongyan Xu and Zhiqiang Lin and Zhendong Su},
	title = {{X-Force}: {Force-Executing} Binary Programs for Security Applications},
	booktitle = {23rd USENIX Security Symposium (USENIX Security 14)},
	year = {2014},
	isbn = {978-1-931971-15-7},
	address = {San Diego, CA},
	pages = {829--844},
	url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/peng},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {179397,
	author = {Sahan Gamage and Ramana Kompella and Dongyan Xu},
	title = {{vPipe}: One Pipe to Connect Them All!},
	booktitle = {5th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 13)},
	year = {2013},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/hotcloud13/workshop-program/presentations/gamage},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {179042,
	author = {Cong Xu and Sahan Gamage and Hui Lu and Ramana Kompella and Dongyan Xu},
	title = {{vTurbo}: Accelerating Virtual Machine {I/O} Processing Using Designated {Turbo-Sliced} Core},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {243--254},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/xu},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267416,
	author = {Erich Nahum and Dongyan Xu},
	title = {Welcome and Introduction},
	booktitle = {2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10)},
	year = {2010},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/hotcloud-10/welcome-and-introduction},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {269619,
	author = {Xuxian Jiang and Dongyan Xu},
	title = {Collapsar: A {VM-Based} Architecture for Network Attack Detention Center},
	booktitle = {13th USENIX Security Symposium (USENIX Security 04)},
	year = {2004},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/13th-usenix-security-symposium/collapsar-vm-based-architecture-network-attack-detention},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {270328,
	author = {Zongpeng Li and Baochun Li and Dongyan Xu and Xin Zhou},
	title = {{iFlow}: Middleware-assisted Rendezvous-based Information Access for Mobile Ad Hoc Applications},
	booktitle = {First International Conference on Mobile Systems, Applications, and Services (MobiSys2003)},
	year = {2003},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/mobisys2003/iflow-middleware-assisted-rendezvous-based-information-access-mobile-ad-hoc},
	publisher = {USENIX Association},
	month = may
}
