Architectural Support for Copy and Tamper Resistant Software. - David Lie; Chandramohan A. Thekkath; Mark Mitchell; Patrick Lincoln; Dan Boneh; John C. Mitchell; Mark Horowitz (ASPLOS, 2000)

A simple method for extracting models for protocol code. - David Lie; Andy Chou; Dawson R. Engler; David L. Dill (ISCA, 2001)

Implementing an untrusted operating system on trusted hardware. - David Lie; Chandramohan A. Thekkath; Mark Horowitz (SOSP, 2003)

Specifying and Verifying Hardware for Tamper-Resistant Software. - David Lie; John C. Mitchell; Chandramohan A. Thekkath; Mark Horowitz (S&P, 2003)

Manitou: a layer-below approach to fighting malware. - Lionel Litty; David Lie (ASID, 2006)

Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. - Richard Ta-Min; Lionel Litty; David Lie (OSDI, 2006)

Using VMM-based sensors to monitor honeypots. - Kurniadi Asrigo; Lionel Litty; David Lie (VEE, 2006)

Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. - Jesse Pool; Ian Sin Kwok Wong; David Lie (HotOS, 2007)

A buffer overflow benchmark for software model checkers. - Kelvin Ku; Thomas E. Hart; Marsha Chechik; David Lie (ASE, 2007)

Quantifying the Strength of Security Systems. - David Lie; Mahadev Satyanarayanan (HotSec, 2007)

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. - Thomas E. Hart; Kelvin Ku; Arie Gurfinkel; Marsha Chechik; David Lie (ASE, 2008)

PtYasm: Software Model Checking with Proof Templates. - Thomas E. Hart; Kelvin Ku; Arie Gurfinkel; Marsha Chechik; David Lie (ASE, 2008)

Security Benchmarking using Partial Verification. - Thomas E. Hart; Marsha Chechik; David Lie (HotSec, 2008)

Hypervisor Support for Identifying Covertly Executing Binaries. - Lionel Litty; H. Andrés Lagar-Cavilla; David Lie (USENIX Security Symposium, 2008)

Computer Meteorology: Monitoring Compute Clouds. - Lionel Litty; H. Andrés Lagar-Cavilla; David Lie (HotOS, 2009)

Using hypervisors to secure commodity operating systems. - David Lie; Lionel Litty (STC@CCS, 2010)

Kivati: fast detection and prevention of atomicity violations. - Lee Chew; David Lie (EuroSys, 2010)

Dude, Where's That IP? Circumventing Measurement-based IP Geolocation. - Phillipa Gill; Yashar Ganjali; Bernard Wong 001; David Lie (USENIX Security Symposium, 2010)

Short paper: a look at smartphone permission models. - Kathy Wain Yee Au; Yi Fan Zhou; Zhen Huang 002; Phillipa Gill; David Lie (SPSM@CCS, 2011)

Unicorn: two-factor attestation for data security. - Mohammad Mannan; Beom Heyn Kim; Afshar Ganjali; David Lie (CCS, 2011)

Mercury: Recovering Forgotten Passwords Using Personal Devices. - Mohammad Mannan; David Barrera 003; Carson D. Brown; David Lie; Paul C. van Oorschot (Financial Cryptography, 2011)

Patch auditing in infrastructure as a service clouds. - Lionel Litty; David Lie (VEE, 2011)

PScout: analyzing the Android permission specification. - Kathy Wain Yee Au; Yi Fan Zhou; Zhen Huang 002; David Lie (CCS, 2012)

Unity: secure and durable personal cloud storage. - Beom Heyn Kim; Wei Huang 027; David Lie (CCSW, 2012)

LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes. - Zheng Wei; David Lie (SPSM@CCS, 2014)

Ocasta: Clustering Configuration Settings for Error Recovery. - Zhen Huang 002; David Lie (DSN, 2014)

SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices. - Glenn Wurster; David Lie (CCS, 2015)

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. - Beom Heyn Kim; David Lie (IEEE Symposium on Security and Privacy, 2015)

The State of Public Infrastructure-as-a-Service Cloud Security. - Wei Huang 027; Afshar Ganjali; Beom Heyn Kim; Sukwon Oh; David Lie (ACM Comput. Surv., 2015)

LMP: light-weighted memory protection with hardware assistance. - Wei Huang 027; Zhen Huang 002; Dhaval Miyani; David Lie (ACSAC, 2016)

IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware. - Michelle Y. Wong; David Lie (NDSS, 2016)

Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. - Zhen Huang 002; Mariana D'Angelo; Dhaval Miyani; David Lie (IEEE Symposium on Security and Privacy, 2016)

Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. - Beom Heyn Kim; Sukwon Oh; David Lie (HotOS, 2017)

Glimmers: Resolving the Privacy/Trust Quagmire. - David Lie; Petros Maniatis (HotOS, 2017)

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 Tinnés; Bernhard Seefeld (SOSP, 2017)

The Case for a Single System Image for Personal Devices. - Beom Heyn Kim; Eyal de Lara; David Lie (CoRR, 2017)

Unity 2.0: Secure and Durable Personal Cloud Storage. - Beom Heyn Kim; Wei Huang 027; Afshar Ganjali; David Lie (CoRR, 2017)

BinPro: A Tool for Binary Source Code Provenance. - Dhaval Miyani; Zhen Huang 002; David Lie (CoRR, 2017)

SAIC: Identifying Configuration Files for System Configuration Management. - Zhen Huang 002; David Lie (CoRR, 2017)

Senx: Sound Patch Generation for Security Vulnerabilities. - Zhen Huang 002; David Lie (CoRR, 2017)

Tackling runtime-based obfuscation in Android with TIRO. - Michelle Y. Wong; David Lie (USENIX Security Symposium, 2018)

Using Inputs and Context to Verify User Intentions in Internet Services. - He Shuang; Wei Huang 027; Pushkar Bettadpur; Lianying Zhao; Ivan Pustogarov; David Lie (APSys, 2019)

MultiK: A Framework for Orchestrating Multiple Specialized Kernels. - Hsuan-Chi Kuo; Akshith Gunasekaran; Yeongjin Jang; Sibin Mohan; Rakesh B. Bobba; David Lie; Jesse Walker (CoRR, 2019)

SoK: Hardware Security Support for Trustworthy Execution. - Lianying Zhao; He Shuang; Shengjie Xu; Wei Huang 027; Rongzhen Cui; Pushkar Bettadpur; David Lie (CoRR, 2019)

Ex-vivo dynamic analysis framework for Android device drivers. - Ivan Pustogarov; Qian Wu; David Lie (SP, 2020)

Using Context and Interactions to Verify User-Intended Network Requests. - He Shuang; Michelle Y. Wong; David Lie (CoRR, 2020)

Deep Active Learning with Crowdsourcing Data for Privacy Policy Classification. - Wenjun Qiu; David Lie (CoRR, 2020)

Is Hardware More Secure Than Software? - Lianying Zhao; David Lie (IEEE Secur. Priv., 2020)

Using Safety Properties to Generate Vulnerability Patches. - Zhen Huang 002; David Lie; Gang Tan; Trent Jaeger (login Usenix Mag., 2020)

In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. - Shengjie Xu; Wei Huang 027; David Lie (ASPLOS, 2021)

Aion Attacks: Manipulating Software Timers in Trusted Execution Environment. - Wei Huang 027; Shengjie Xu; Yueqiang Cheng; David Lie (DIMVA, 2021)

Accelerating Symbolic Analysis for Android Apps. - Mingyue Yang; David Lie; Nicolas Papernot (ASE Workshops, 2021)

Emilia: Catching Iago in Legacy Code. - Rongzhen Cui; Lianying Zhao; David Lie (NDSS, 2021)

Machine Unlearning. - Lucas Bourtoule; Varun Chandrasekaran; Christopher A. Choquette-Choo; Hengrui Jia 001; Adelin Travers; Baiwu Zhang; David Lie; Nicolas Papernot (SP, 2021)

A Large Scale Study of User Behavior, Expectations and Engagement with Android Permissions. - Weicheng Cao; Chunqiu Xia; Sai Teja Peddinti; David Lie; Nina Taft; Lisa M. Austin (USENIX Security Symposium, 2021)

On the Exploitability of Audio Machine Learning Pipelines to Surreptitious Adversarial Examples. - Adelin Travers; Lorna Licollari; Guanghan Wang; Varun Chandrasekaran; Adam Dziedzic; David Lie; Nicolas Papernot (CoRR, 2021)

Driving Execution of Target Paths in Android Applications with (a) CAR. - Michelle Y. Wong; David Lie (AsiaCCS, 2022)

In Differential Privacy, There is Truth: on Vote-Histogram Leakage in Ensemble Private Learning. - Jiaqi Wang; Roei Schuster; Ilia Shumailov; David Lie; Nicolas Papernot (NeurIPS, 2022)

Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. - Beom Heyn Kim; Taesoo Kim; David Lie (USENIX ATC, 2022)

In Differential Privacy, There is Truth: On Vote Leakage in Ensemble Private Learning. - Jiaqi Wang; Roei Schuster; Ilia Shumailov; David Lie; Nicolas Papernot (CoRR, 2022)

vWitness: Certifying Web Page Interactions with Computer Vision. - He Shuang; Lianying Zhao; David Lie (DSN, 2023)

FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. - Eric Liu; Shengjie Xu; David Lie (ASE, 2023)

MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. - Shengjie Xu; Eric Liu; Wei Huang 027; David Lie (RAID, 2023)

Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning. - Wenjun Qiu; David Lie; Lisa M. Austin (USENIX Security Symposium, 2023)

Implementing Active Learning in Cybersecurity: Detecting Anomalies in Redacted Emails. - Mu-Huan Chung; Lu Wang 004; Sharon Li; Yuhong Yang 007; Calvin Giang; Khilan Jerath; Abhay Raman; David Lie; Mark H. Chignell (CoRR, 2023)

Implementing Data Exfiltration Defense in Situ: A Survey of Countermeasures and Human Involvement. - Mu-Huan Chung; Yuhong Yang 007; Lu Wang 004; Greg Cento; Khilan Jerath; Abhay Raman; David Lie; Mark H. Chignell (ACM Comput. Surv., 2023)

Stream Processing with Adaptive Edge-Enhanced Confidential Computing. - Yuqin Yan; Pritish Mishra; Wei Huang 027; Aastha Mehta; Oana Balmau; David Lie (EdgeSys@EuroSys, 2024)

Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction. - Mingyue Yang; David Lie; Nicolas Papernot (SANER, 2024)

Dumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. - He Shuang; Lianying Zhao; David Lie (CoRR, 2024)

Maximizing Information Gain in Privacy-Aware Active Learning of Email Anomalies. - Mu-Huan Chung; Sharon Li; Jaturong Kongmanee; Lu Wang 004; Yuhong Yang 007; Calvin Giang; Khilan Jerath; Abhay Raman; David Lie; Mark H. Chignell (CoRR, 2024)

LDPKiT: Recovering Utility in LDP Schemes by Training with Noise^2. - Kexin Li; Yang Xi; Aastha Mehta; David Lie (CoRR, 2024)

ANVIL: Anomaly-based Vulnerability Identification without Labelled Training Data. - Weizhou Wang; Eric Liu; Xiangyu Guo; David Lie (CoRR, 2024)

Time Will Tell: Timing Side Channels via Output Token Count in Large Language Models. - Tianchen Zhang; Gururaj Saileshwar; David Lie (CoRR, 2024)

A Survey of Hardware Improvements to Secure Program Execution. - Lianying Zhao; He Shuang; Shengjie Xu; Wei Huang 027; Rongzhen Cui; Pushkar Bettadpur; David Lie (ACM Comput. Surv., 2024)

EvoCrawl: Exploring Web Application Code and State using Evolutionary Search. - Xiangyu Guo; Akshay Kawlay; Eric Liu; David Lie (NDSS, 2025)

Duumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. - He Shuang; Lianying Zhao; David Lie (NDSS, 2025)

MARAGE: Transferable Multi-Model Adversarial Attack for Retrieval-Augmented Generation Data Extraction. - Xiao Hu; Eric Liu; Weizhou Wang; Xiangyu Guo; David Lie (CoRR, 2025)