@inproceedings {294653,
	author = {Reham Mohamed and Arjun Arunasalam and Habiba Farrukh and Jason Tong and Antonio Bianchi and Z. Berkay Celik},
	title = {{ATTention} Please! An Investigation of the App Tracking Transparency Permission},
	booktitle = {33rd USENIX Security Symposium (USENIX Security 24)},
	year = {2024},
	isbn = {978-1-939133-44-1},
	address = {Philadelphia, PA},
	pages = {5017--5034},
	url = {https://www.usenix.org/conference/usenixsecurity24/presentation/mohamed},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {298204,
	author = {Muqi Zou and Arslan Khan and Ruoyu Wu and Han Gao and Antonio Bianchi and Dave (Jing) Tian},
	title = {{D-Helix}: A Generic Decompiler Testing Framework Using Symbolic Differentiation},
	booktitle = {33rd USENIX Security Symposium (USENIX Security 24)},
	year = {2024},
	isbn = {978-1-939133-44-1},
	address = {Philadelphia, PA},
	pages = {397--414},
	url = {https://www.usenix.org/conference/usenixsecurity24/presentation/zou},
	publisher = {USENIX Association},
	month = aug
}
@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 {291265,
	author = {Siddharth Muralee and Igibek Koishybayev and Aleksandr Nahapetyan and Greg Tystahl and Brad Reaves and Antonio Bianchi and William Enck and Alexandros Kapravelos and Aravind Machiry},
	title = {{ARGUS}: A Framework for Staged Static Taint Analysis of {GitHub} Workflows and Actions},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {6983--7000},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/muralee},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {291108,
	author = {Ruoyu Song and Muslum Ozgur Ozmen and Hyungsub Kim and Raymond Muller and Z. Berkay Celik and Antonio Bianchi},
	title = {Discovering Adversarial Driving Maneuvers against Autonomous Vehicles},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {2957--2974},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/song},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {290985,
	author = {Kyungtae Kim and Sungwoo Kim and Kevin R. B. Butler and Antonio Bianchi and Rick Kennell and Dave (Jing) Tian},
	title = {Fuzz The Power: Dual-role State Guided Black-box Fuzzing for {USB} Power Delivery},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {5845--5861},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/kim-kyungtae},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {291138,
	author = {Habiba Farrukh and Reham Mohamed and Aniket Nare and Antonio Bianchi and Z. Berkay Celik},
	title = {{LocIn}: Inferring Semantic Location from Spatial Maps in Mixed Reality},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {877--894},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/farrukh},
	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 {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 {279926,
	author = {Abdullah Imran and Habiba Farrukh and Muhammad Ibrahim and Z. Berkay Celik and Antonio Bianchi},
	title = {{SARA}: Secure Android Remote Authorization},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {1561--1578},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/imran},
	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 {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 {242079,
	author = {Dario Nisi and Antonio Bianchi and Yanick Fratantonio},
	title = {Exploring {Syscall-Based} Semantics Reconstruction of Android Applications},
	booktitle = {22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)},
	year = {2019},
	isbn = {978-1-939133-07-6},
	address = {Chaoyang District, Beijing},
	pages = {517--531},
	url = {https://www.usenix.org/conference/raid2019/presentation/nisi},
	publisher = {USENIX Association},
	month = sep
}
@inproceedings {217488,
	author = {Moritz Eckert and Antonio Bianchi and Ruoyu Wang and Yan Shoshitaishvili and Christopher Kruegel and Giovanni Vigna},
	title = {{HeapHopper}: Bringing Bounded Model Checking to Heap Implementation Security},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-931971-46-1},
	address = {Baltimore, MD},
	pages = {99--116},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {203844,
	author = {Nilo Redini and Aravind Machiry and Dipanjan Das and Yanick Fratantonio and Antonio Bianchi and Eric Gustafson and Yan Shoshitaishvili and Christopher Kruegel and Giovanni Vigna},
	title = {{BootStomp}: On the Security of Bootloaders in Mobile Devices},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {781--798},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/redini},
	publisher = {USENIX Association},
	month = aug
}
