David Lie

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 49

Top Topics

Internet Services

Differential Privacy

Active Learning

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Yuqin Yan, Pritish Mishra, Wei Huang, Aastha Mehta, Oana Balmau, David Lie
Stream Processing with Adaptive Edge-Enhanced Confidential Computing. EdgeSys@EuroSys (2024)
Mu-Huan Chung, Sharon Li, Jaturong Kongmanee, Lu Wang, Yuhong Yang, Calvin Giang, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell
Maximizing Information Gain in Privacy-Aware Active Learning of Email Anomalies. CoRR (2024)
Wenjun Qiu, David Lie, Lisa M. Austin
Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning. CoRR (2024)
He Shuang, Lianying Zhao, David Lie
Dumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. CoRR (2024)
Mingyue Yang, David Lie, Nicolas Papernot
Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction. SANER (2024)
Kexin Li, Yang Xi, Aastha Mehta, David Lie
LDPKiT: Recovering Utility in LDP Schemes by Training with Noise^2. CoRR (2024)
Mu-Huan Chung, Yuhong Yang, Lu Wang, Greg Cento, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell
Implementing Data Exfiltration Defense in Situ: A Survey of Countermeasures and Human Involvement. ACM Comput. Surv. 55 (14s) (2023)
Shengjie Xu, Eric Liu, Wei Huang, David Lie
MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. RAID (2023)
He Shuang, Lianying Zhao, David Lie
vWitness: Certifying Web Page Interactions with Computer Vision. DSN (2023)
Wenjun Qiu, David Lie, Lisa M. Austin
Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning. USENIX Security Symposium (2023)
Eric Liu, Shengjie Xu, David Lie
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. ASE (2023)
Mu-Huan Chung, Lu Wang, Sharon Li, Yuhong Yang, Calvin Giang, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell
Implementing Active Learning in Cybersecurity: Detecting Anomalies in Redacted Emails. CoRR (2023)
Jiaqi Wang, Roei Schuster, Ilia Shumailov, David Lie, Nicolas Papernot
In Differential Privacy, There is Truth: On Vote Leakage in Ensemble Private Learning. CoRR (2022)
Beom Heyn Kim, Taesoo Kim, David Lie
Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. USENIX Annual Technical Conference (2022)
Michelle Y. Wong, David Lie
Driving Execution of Target Paths in Android Applications with (a) CAR. AsiaCCS (2022)
Jiaqi Wang, Roei Schuster, Ilia Shumailov, David Lie, Nicolas Papernot
In Differential Privacy, There is Truth: on Vote-Histogram Leakage in Ensemble Private Learning. NeurIPS (2022)
Wei Huang, Shengjie Xu, Yueqiang Cheng, David Lie
Aion Attacks: Manipulating Software Timers in Trusted Execution Environment. DIMVA (2021)
Adelin Travers, Lorna Licollari, Guanghan Wang, Varun Chandrasekaran, Adam Dziedzic, David Lie, Nicolas Papernot
On the Exploitability of Audio Machine Learning Pipelines to Surreptitious Adversarial Examples. CoRR (2021)
Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo, Hengrui Jia, Adelin Travers, Baiwu Zhang, David Lie, Nicolas Papernot
Machine Unlearning. IEEE Symposium on Security and Privacy (2021)
Weicheng Cao, Chunqiu Xia, Sai Teja Peddinti, David Lie, Nina Taft, Lisa M. Austin
A Large Scale Study of User Behavior, Expectations and Engagement with Android Permissions. USENIX Security Symposium (2021)
Shengjie Xu, Wei Huang, David Lie
In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. ASPLOS (2021)
Mingyue Yang, David Lie, Nicolas Papernot
Accelerating Symbolic Analysis for Android Apps. ASE Workshops (2021)
Rongzhen Cui, Lianying Zhao, David Lie
Emilia: Catching Iago in Legacy Code. NDSS (2021)
Wenjun Qiu, David Lie
Deep Active Learning with Crowdsourcing Data for Privacy Policy Classification. CoRR (2020)
Lianying Zhao, David Lie
Is Hardware More Secure Than Software? IEEE Secur. Priv. 18 (5) (2020)
He Shuang, Michelle Y. Wong, David Lie
Using Context and Interactions to Verify User-Intended Network Requests. CoRR (2020)
Zhen Huang, David Lie, Gang Tan, Trent Jaeger
Using Safety Properties to Generate Vulnerability Patches. login Usenix Mag. 45 (4) (2020)
Ivan Pustogarov, Qian Wu, David Lie
Ex-vivo dynamic analysis framework for Android device drivers. IEEE Symposium on Security and Privacy (2020)
Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo, Hengrui Jia, Adelin Travers, Baiwu Zhang, David Lie, Nicolas Papernot
Machine Unlearning. CoRR (2019)
He Shuang, Wei Huang, Pushkar Bettadpur, Lianying Zhao, Ivan Pustogarov, David Lie
Using Inputs and Context to Verify User Intentions in Internet Services. APSys (2019)
Lianying Zhao, He Shuang, Shengjie Xu, Wei Huang, Rongzhen Cui, Pushkar Bettadpur, David Lie
SoK: Hardware Security Support for Trustworthy Execution. CoRR (2019)
Zhen Huang, David Lie, Gang Tan, Trent Jaeger
Using Safety Properties to Generate Vulnerability Patches. IEEE Symposium on Security and Privacy (2019)
Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang, Sibin Mohan, Rakesh B. Bobba, David Lie, Jesse Walker
MultiK: A Framework for Orchestrating Multiple Specialized Kernels. CoRR (2019)
Michelle Y. Wong, David Lie
Tackling runtime-based obfuscation in Android with TIRO. USENIX Security Symposium (2018)
Beom Heyn Kim, Wei Huang, Afshar Ganjali, David Lie
Unity 2.0: Secure and Durable Personal Cloud Storage. CoRR (2017)
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
Prochlo: Strong Privacy for Analytics in the Crowd. SOSP (2017)
Dhaval Miyani, Zhen Huang, David Lie
BinPro: A Tool for Binary Source Code Provenance. CoRR (2017)
David Lie, Petros Maniatis
Glimmers: Resolving the Privacy/Trust Quagmire. CoRR (2017)
David Lie, Petros Maniatis
Glimmers: Resolving the Privacy/Trust Quagmire. HotOS (2017)
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
Prochlo: Strong Privacy for Analytics in the Crowd. CoRR (2017)
Beom Heyn Kim, Eyal de Lara, David Lie
The Case for a Single System Image for Personal Devices. CoRR (2017)
Zhen Huang, Mariana D'Angelo, Dhaval Miyani, David Lie
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. CoRR (2017)
Beom Heyn Kim, Sukwon Oh, David Lie
Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. HotOS (2017)
Zhen Huang, David Lie
SAIC: Identifying Configuration Files for System Configuration Management. CoRR (2017)
Zhen Huang, David Lie
Ocasta: Clustering Configuration Settings For Error Recovery. CoRR (2017)
Zhen Huang, David Lie
Senx: Sound Patch Generation for Security Vulnerabilities. CoRR (2017)
Michelle Y. Wong, David Lie
IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware. NDSS (2016)
Zhen Huang, Mariana D'Angelo, Dhaval Miyani, David Lie
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. IEEE Symposium on Security and Privacy (2016)
Wei Huang, Zhen Huang, Dhaval Miyani, David Lie
LMP: light-weighted memory protection with hardware assistance. ACSAC (2016)
Glenn Wurster, David Lie
SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices. CCS (2015)
Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie
The State of Public Infrastructure-as-a-Service Cloud Security. ACM Comput. Surv. 47 (4) (2015)
Beom Heyn Kim, David Lie
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. IEEE Symposium on Security and Privacy (2015)
Zhen Huang, David Lie
Ocasta: Clustering Configuration Settings for Error Recovery. DSN (2014)
Zheng Wei, David Lie
LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes. SPSM@CCS (2014)
Beom Heyn Kim, Wei Huang, David Lie
Unity: secure and durable personal cloud storage. CCSW (2012)
Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, David Lie
PScout: analyzing the Android permission specification. CCS (2012)
Lionel Litty, David Lie
Patch auditing in infrastructure as a service clouds. VEE (2011)
Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie
Unicorn: two-factor attestation for data security. CCS (2011)
Mohammad Mannan, David Barrera, Carson D. Brown, David Lie, Paul C. van Oorschot
Mercury: Recovering Forgotten Passwords Using Personal Devices. Financial Cryptography (2011)
Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, Phillipa Gill, David Lie
Short paper: a look at smartphone permission models. SPSM@CCS (2011)
Lee Chew, David Lie
Kivati: fast detection and prevention of atomicity violations. EuroSys (2010)
Phillipa Gill, Yashar Ganjali, Bernard Wong, David Lie
Dude, Where's That IP? Circumventing Measurement-based IP Geolocation. USENIX Security Symposium (2010)
David Lie, Lionel Litty
Using hypervisors to secure commodity operating systems. STC@CCS (2010)
Lionel Litty, H. Andrés Lagar-Cavilla, David Lie
Computer Meteorology: Monitoring Compute Clouds. HotOS (2009)
Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE (2008)
Lionel Litty, H. Andrés Lagar-Cavilla, David Lie
Hypervisor Support for Identifying Covertly Executing Binaries. USENIX Security Symposium (2008)
Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
PtYasm: Software Model Checking with Proof Templates. ASE (2008)
Thomas E. Hart, Marsha Chechik, David Lie
Security Benchmarking using Partial Verification. HotSec (2008)
Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie
A buffer overflow benchmark for software model checkers. ASE (2007)
Jesse Pool, Ian Sin Kwok Wong, David Lie
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. HotOS (2007)
David Lie, Mahadev Satyanarayanan
Quantifying the Strength of Security Systems. HotSec (2007)
Richard Ta-Min, Lionel Litty, David Lie
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. OSDI (2006)
Lionel Litty, David Lie
Manitou: a layer-below approach to fighting malware. ASID (2006)
Kurniadi Asrigo, Lionel Litty, David Lie
Using VMM-based sensors to monitor honeypots. VEE (2006)
David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz
Specifying and Verifying Hardware for Tamper-Resistant Software. IEEE Symposium on Security and Privacy (2003)
David Lie, Chandramohan A. Thekkath, Mark Horowitz
Implementing an untrusted operating system on trusted hardware. SOSP (2003)
David Lie, Andy Chou, Dawson R. Engler, David L. Dill
A simple method for extracting models for protocol code. ISCA (2001)
David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
Architectural Support for Copy and Tamper Resistant Software. ASPLOS (2000)