Biblio

Export 13 results:
Filters: Author is Antonio Bianchi  [Clear All Filters]
2023
Muralee S, Koishybayev I, Nahapetyan A, Tystahl G, Reaves B, Bianchi A, Enck W, Kapravelos A, Machiry A.  2023.  ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions. 32nd USENIX Security Symposium (USENIX Security 23). :6983--7000.
Song R, Ozmen MOzgur, Kim H, Muller R, Z. Celik B, Bianchi A.  2023.  Discovering Adversarial Driving Maneuvers against Autonomous Vehicles. 32nd USENIX Security Symposium (USENIX Security 23). :2957--2974.
Kim K, Kim S, Butler KRB, Bianchi A, Kennell R, Tian D.  2023.  Fuzz The Power: Dual-role State Guided Black-box Fuzzing for USB Power Delivery. 32nd USENIX Security Symposium (USENIX Security 23). :5845--5861.
Farrukh H, Mohamed R, Nare A, Bianchi A, Z. Celik B.  2023.  LocIn: Inferring Semantic Location from Spatial Maps in Mixed Reality. 32nd USENIX Security Symposium (USENIX Security 23). :877--894.
Kim H, Ozmen MOzgur, Z. Celik B, Bianchi A, Xu D.  2023.  PatchVerif: Discovering Faulty Patches in Robotic Vehicles. 32nd USENIX Security Symposium (USENIX Security 23). :3011--3028.
2022
Wu R, Kim T, Tian D, Bianchi A, Xu D.  2022.  DnD: A Cross-Architecture Deep Neural Network Decompiler. 31st USENIX Security Symposium (USENIX Security 22). :2135--2152.
Imran A, Farrukh H, Ibrahim M, Z. Celik B, Bianchi A.  2022.  SARA: Secure Android Remote Authorization. 31st USENIX Security Symposium (USENIX Security 22). :1561--1578.
2021
Wu J, Wu R, Antonioli D, Payer M, Tippenhauer NOle, Xu D, Tian D, Bianchi A.  2021.  LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks. 30th USENIX Security Symposium (USENIX Security 21). :339--356.
Khan A, Kim H, Lee B, Xu D, Bianchi A, Tian D.  2021.  M2MON: Building an MMIO-based Security Reference Monitor for Unmanned Vehicles. 30th USENIX Security Symposium (USENIX Security 21). :285--302.
2020
Wu J, Nan Y, Kumar V, Tian D, Bianchi A, Payer M, Xu D.  2020.  BLESA: Spoofing Attacks against Reconnections in Bluetooth Low Energy. 14th USENIX Workshop on Offensive Technologies (WOOT 20).
2019
Nisi D, Bianchi A, Fratantonio Y.  2019.  Exploring Syscall-Based Semantics Reconstruction of Android Applications. 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). :517--531.
2018
Eckert M, Bianchi A, Wang R, Shoshitaishvili Y, Kruegel C, Vigna G.  2018.  HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. 27th USENIX Security Symposium (USENIX Security 18). :99--116.
2017
Redini N, Machiry A, Das D, Fratantonio Y, Bianchi A, Gustafson E, Shoshitaishvili Y, Kruegel C, Vigna G.  2017.  BootStomp: On the Security of Bootloaders in Mobile Devices. 26th USENIX Security Symposium (USENIX Security 17). :781--798.