| 2025 | CCS | SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution. | Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani |
| 2025 | RAID | SyzRetrospector: A Large-Scale Retrospective Study of Syzbot. | Joseph Bursey, Ardalan Amiri Sani, Zhiyun Qian |
| 2024 | MOBICOM | ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos. | Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik |
| 2023 | Mobisys | Minimizing a Smartphone's TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned Hardware. | Zhihao Yao, Seyed Mohammadjavad Seyed Talebi, Mingyi Chen, Ardalan Amiri Sani, Thomas E. Anderson |
| 2023 | SP | SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. | Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani |
| 2022 | ICSE | Demystifying the Dependency Challenge in Kernel Fuzzing. | Yu Hao, Hang Zhang, Guoren Li, Xingyun Du, Zhiyun Qian, Ardalan Amiri Sani |
| 2022 | MOBICOM | Sifter: protecting security-critical kernel modules in Android through attack surface reduction. | Hsin-Wei Hung, Yingtong Liu, Ardalan Amiri Sani |
| 2022 | Mobisys | Vronicle: verifiable provenance for videos from mobile devices. | Yuxin (Myles) Liu, Yoshimichi Nakatsuka, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik |
| 2022 | Mobisys | Vronicle: verifiable provenance for videos from mobile devices. | Yuxin (Myles) Liu, Yoshimichi Nakatsuka, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik |
| 2022 | Mobisys | Vronicle: verifiable provenance for videos from mobile devices. | Yuxin (Myles) Liu, Yoshimichi Nakatsuka, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik |
| 2021 | HotOS | User-defined cloud. | Yiying Zhang, Ardalan Amiri Sani, Guoqing Harry Xu |
| 2021 | Mobisys | MegaMind: a platform for security & privacy extensions for voice assistants. | Seyed Mohammadjavad Seyed Talebi, Ardalan Amiri Sani, Stefan Saroiu, Alec Wolman |
| 2020 | EuroSys | Mousse: a system for selective symbolic execution of programs with untamed environments. | Yingtong Liu, Hsin-Wei Hung, Ardalan Amiri Sani |
| 2020 | Mobisys | Tabellion: secure legal contracts on mobile devices. | Saeed Mirzamohammadi, Yuxin (Myles) Liu, Tianmei Ann Huang, Ardalan Amiri Sani, Sharad Agarwal, Sung Eun (Summer) Kim |
| 2019 | DATE | The Case for Exploiting Underutilized Resources in Heterogeneous Mobile Architectures. | Chen-Ying Hsieh, Ardalan Amiri Sani, Nikil D. Dutt |
| 2019 | HotOS | The Case for I/O-Device-as-a-Service. | Ardalan Amiri Sani, Thomas E. Anderson |
| 2019 | NCA | IoT Notary: Sensor Data Attestation in Smart Environment. | Nisha Panwar, Shantanu Sharma, Guoxi Wang, Sharad Mehrotra, Nalini Venkatasubramanian, Mamadou H. Diallo, Ardalan Amiri Sani |
| 2019 | SIGMETRICS | What-If Analysis of Page Load Time in Web Browsers Using Causal Profiling. | Behnam Pourghassemi, Ardalan Amiri Sani, Aparna Chandramowlishwaran |
| 2018 | ASPLOS | Sugar: Secure GPU Acceleration in Web Browsers. | Zhihao Yao, Zongheng Ma, Yingtong Liu, Ardalan Amiri Sani, Aparna Chandramowlishwaran |
| 2018 | CCS | Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks. | Zhihao Yao, Saeed Mirzamohammadi, Ardalan Amiri Sani, Mathias Payer |
| 2018 | Mobisys | Empowering Cyber-Physical Systems with FADEX. | Vittorio Cozzolino, Aaron Yi Ding, Ardalan Amiri Sani, Richard Mortier, Dirk Kutscher, Jrg Ott |
| 2018 | PERCOM | Trustworthy Sensing in an Untrusted IoT Environment. | Mamadou H. Diallo, Nisha Panwar, Sharad Mehrotra, Ardalan Amiri Sani |
| 2017 | ASPLOS | Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. | Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani |
| 2017 | Mobisys | SchrodinText: Strong Protection of Sensitive Textual Content of Mobile Applications. | Ardalan Amiri Sani |
| 2017 | SENSYS | Ditio: Trustworthy Auditing of Sensor Activities in Mobile & IoT Devices. | Saeed Mirzamohammadi, Justin A. Chen, Ardalan Amiri Sani, Sharad Mehrotra, Gene Tsudik |
| 2017 | SENSYS | Customizing indoor wireless coverage via 3D-fabricated reflectors. | Xi Xiong, Justin Chan, Ethan Yu, Nisha Kumari, Ardalan Amiri Sani, Changxi Zheng, Xia Zhou |
| 2016 | Mobisys | Viola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems. | Saeed Mirzamohammadi, Ardalan Amiri Sani |
| 2014 | ASPLOS | I/o paravirtualization at the device file boundary. | Ardalan Amiri Sani, Kevin Boos, Shaopu Qin, Lin Zhong |
| 2014 | Mobisys | Rio: a system solution for sharing i/o between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2014 | Mobisys | Demo: Rio: a system solution for sharing I/O between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2014 | Mobisys | Video: Rio: a system solution for sharing i/o between mobile systems. | Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, Lin Zhong |
| 2010 | ISLPED | Power-efficient directional wireless communication on small form-factor mobile devices. | Ardalan Amiri Sani, Hasan Dumanli, Lin Zhong, Ashutosh Sabharwal |
| 2010 | MOBICOM | Directional antenna diversity for mobile devices: characterizations and solutions. | Ardalan Amiri Sani, Lin Zhong, Ashutosh Sabharwal |