| 2026 | SP | GPUBreach: Privilege Escalation Attacks on GPUs Using Rowhammer. | Chris S. Lin, Yuqin Yan, Guozhen Ding, Joyce Qu, Joseph Zhu, David Lie, Gururaj Saileshwar |
| 2026 | SP | Breaking the Illusion: Automated Reasoning of GDPR Consent Violations. | Ying Li, Wenjun Qiu, Faysal Hossain Shezan, Kunlin Cai, Michelangelo van Dam, Lisa M. Austin, David Lie, Yuan Tian |
| 2025 | ACSAC | PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking. | Shengjie Xu, Eric Liu, Wei Huang, Ilya Grishchenko, David Lie |
| 2025 | NDSS | EvoCrawl: Exploring Web Application Code and State using Evolutionary Search. | Xiangyu Guo, Akshay Kawlay, Eric Liu, David Lie |
| 2025 | NDSS | Duumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. | He Shuang, Lianying Zhao, David Lie |
| 2023 | DSN | vWitness: Certifying Web Page Interactions with Computer Vision. | He Shuang, Lianying Zhao, David Lie |
| 2023 | RAID | MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. | Shengjie Xu, Eric Liu, Wei Huang, David Lie |
| 2022 | AsiaCCS | Driving Execution of Target Paths in Android Applications with (a) CAR. | Michelle Y. Wong, David Lie |
| 2022 | USENIX | Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. | Beom Heyn Kim, Taesoo Kim, David Lie |
| 2021 | ASPLOS | In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. | Shengjie Xu, Wei Huang, David Lie |
| 2021 | DIMVA | Aion Attacks: Manipulating Software Timers in Trusted Execution Environment. | Wei Huang, Shengjie Xu, Yueqiang Cheng, David Lie |
| 2021 | NDSS | Emilia: Catching Iago in Legacy Code. | Rongzhen Cui, Lianying Zhao, David Lie |
| 2021 | SP | Machine Unlearning. | Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo, Hengrui Jia, Adelin Travers, Baiwu Zhang, David Lie, Nicolas Papernot |
| 2020 | SP | Ex-vivo dynamic analysis framework for Android device drivers. | Ivan Pustogarov, Qian Wu, David Lie |
| 2019 | SP | Using Safety Properties to Generate Vulnerability Patches. | Zhen Huang, David Lie, Gang Tan, Trent Jaeger |
| 2017 | HotOS | Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. | Beom Heyn Kim, Sukwon Oh, David Lie |
| 2017 | HotOS | Glimmers: Resolving the Privacy/Trust Quagmire. | David Lie, Petros Maniatis |
| 2017 | SOSP | Prochlo: Strong Privacy for Analytics in the Crowd. | Andrea Bittau, lfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinns, Bernhard Seefeld |
| 2016 | ACSAC | LMP: light-weighted memory protection with hardware assistance. | Wei Huang, Zhen Huang, Dhaval Miyani, David Lie |
| 2016 | NDSS | IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware. | Michelle Y. Wong, David Lie |
| 2016 | SP | Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. | Zhen Huang, Mariana D'Angelo, Dhaval Miyani, David Lie |
| 2015 | CCS | SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices. | Glenn Wurster, David Lie |
| 2015 | SP | Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. | Beom Heyn Kim, David Lie |
| 2014 | CCS | LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes. | Zheng Wei, David Lie |
| 2014 | DSN | Ocasta: Clustering Configuration Settings for Error Recovery. | Zhen Huang, David Lie |
| 2012 | CCS | PScout: analyzing the Android permission specification. | Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, David Lie |
| 2012 | CCS | Unity: secure and durable personal cloud storage. | Beom Heyn Kim, Wei Huang, David Lie |
| 2011 | CCS | Short paper: a look at smartphone permission models. | Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, Phillipa Gill, David Lie |
| 2011 | CCS | Unicorn: two-factor attestation for data security. | Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie |
| 2011 | FC | Mercury: Recovering Forgotten Passwords Using Personal Devices. | Mohammad Mannan, David Barrera, Carson D. Brown, David Lie, Paul C. van Oorschot |
| 2011 | VEE | Patch auditing in infrastructure as a service clouds. | Lionel Litty, David Lie |
| 2010 | CCS | Using hypervisors to secure commodity operating systems. | David Lie, Lionel Litty |
| 2010 | EuroSys | Kivati: fast detection and prevention of atomicity violations. | Lee Chew, David Lie |
| 2009 | HotOS | Computer Meteorology: Monitoring Compute Clouds. | Lionel Litty, H. Andrs Lagar-Cavilla, David Lie |
| 2007 | HotOS | Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. | Jesse Pool, Ian Sin Kwok Wong, David Lie |
| 2006 | ASPLOS | Manitou: a layer-below approach to fighting malware. | Lionel Litty, David Lie |
| 2006 | OSDI | Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. | Richard Ta-Min, Lionel Litty, David Lie |
| 2006 | VEE | Using VMM-based sensors to monitor honeypots. | Kurniadi Asrigo, Lionel Litty, David Lie |
| 2003 | SP | Specifying and Verifying Hardware for Tamper-Resistant Software. | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
| 2003 | SOSP | Implementing an untrusted operating system on trusted hardware. | David Lie, Chandramohan A. Thekkath, Mark Horowitz |
| 2001 | ISCA | A simple method for extracting models for protocol code. | David Lie, Andy Chou, Dawson R. Engler, David L. Dill |
| 2000 | ASPLOS | Architectural Support for Copy and Tamper Resistant Software. | David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz |