David Lie

According to our database, David Lie authored at least 74 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Survey of Hardware Improvements to Secure Program Execution.

Lianying Zhao, He Shuang, Shengjie Xu, Wei Huang, Rongzhen Cui, Pushkar Bettadpur, David Lie

ACM Comput. Surv., December, 2024

Time Will Tell: Timing Side Channels via Output Token Count in Large Language Models.

Tianchen Zhang, Gururaj Saileshwar, David Lie

CoRR, 2024

ANVIL: Anomaly-based Vulnerability Identification without Labelled Training Data.

Weizhou Wang, Eric Liu, Xiangyu Guo, David Lie

CoRR, 2024

LDPKiT: Recovering Utility in LDP Schemes by Training with Noise^2.

Kexin Li, Yang Xi, Aastha Mehta, David Lie

CoRR, 2024

Maximizing Information Gain in Privacy-Aware Active Learning of Email Anomalies.

Mu-Huan Chung, Sharon Li, Jaturong Kongmanee, Lu Wang, Yuhong Yang, Calvin Giang, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell

CoRR, 2024

Dumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector.

He Shuang, Lianying Zhao, David Lie

CoRR, 2024

Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction.

Mingyue Yang, David Lie, Nicolas Papernot

Proceedings of the IEEE International Conference on Software Analysis, 2024

Stream Processing with Adaptive Edge-Enhanced Confidential Computing.

Yuqin Yan, Pritish Mishra, Wei Huang, Aastha Mehta, Oana Balmau, David Lie

Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, 2024

2023

Implementing Data Exfiltration Defense in Situ: A Survey of Countermeasures and Human Involvement.

Mu-Huan Chung, Yuhong Yang, Lu Wang, Greg Cento, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell

ACM Comput. Surv., 2023

Implementing Active Learning in Cybersecurity: Detecting Anomalies in Redacted Emails.

Mu-Huan Chung, Lu Wang, Sharon Li, Yuhong Yang, Calvin Giang, Khilan Jerath, Abhay Raman, David Lie, Mark H. Chignell

CoRR, 2023

Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning.

Wenjun Qiu, David Lie, Lisa M. Austin

Proceedings of the 32nd USENIX Security Symposium, 2023

MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking.

Shengjie Xu, Eric Liu, Wei Huang, David Lie

Proceedings of the 26th International Symposium on Research in Attacks, 2023

FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers.

Eric Liu, Shengjie Xu, David Lie

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

vWitness: Certifying Web Page Interactions with Computer Vision.

He Shuang, Lianying Zhao, David Lie

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

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

Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models.

Beom Heyn Kim, Taesoo Kim, David Lie

Proceedings of the 2022 USENIX Annual Technical Conference, 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

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Driving Execution of Target Paths in Android Applications with (a) CAR.

Michelle Y. Wong, David Lie

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

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

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

Proceedings of the 30th USENIX Security Symposium, 2021

Machine Unlearning.

Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo, Hengrui Jia, Adelin Travers, Baiwu Zhang, David Lie, Nicolas Papernot

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Emilia: Catching Iago in Legacy Code.

Rongzhen Cui, Lianying Zhao, David Lie

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Accelerating Symbolic Analysis for Android Apps.

Mingyue Yang, David Lie, Nicolas Papernot

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Aion Attacks: Manipulating Software Timers in Trusted Execution Environment.

Wei Huang, Shengjie Xu, Yueqiang Cheng, David Lie

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2021

In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection.

Shengjie Xu, Wei Huang, David Lie

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Using Safety Properties to Generate Vulnerability Patches.

Zhen Huang, David Lie, Gang Tan, Trent Jaeger

login Usenix Mag., 2020

Is Hardware More Secure Than Software?

Lianying Zhao, David Lie

IEEE Secur. Priv., 2020

Deep Active Learning with Crowdsourcing Data for Privacy Policy Classification.

Wenjun Qiu, David Lie

CoRR, 2020

Using Context and Interactions to Verify User-Intended Network Requests.

He Shuang, Michelle Y. Wong, David Lie

CoRR, 2020

Ex-vivo dynamic analysis framework for Android device drivers.

Ivan Pustogarov, Qian Wu, David Lie

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

SoK: Hardware Security Support for Trustworthy Execution.

Lianying Zhao, He Shuang, Shengjie Xu, Wei Huang, Rongzhen Cui, Pushkar Bettadpur, David Lie

CoRR, 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

Using Inputs and Context to Verify User Intentions in Internet Services.

He Shuang, Wei Huang, Pushkar Bettadpur, Lianying Zhao, Ivan Pustogarov, David Lie

Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, 2019

2018

Tackling runtime-based obfuscation in Android with TIRO.

Michelle Y. Wong, David Lie

Proceedings of the 27th USENIX Security Symposium, 2018

2017

Senx: Sound Patch Generation for Security Vulnerabilities.

Zhen Huang, David Lie

CoRR, 2017

SAIC: Identifying Configuration Files for System Configuration Management.

Zhen Huang, David Lie

CoRR, 2017

BinPro: A Tool for Binary Source Code Provenance.

Dhaval Miyani, Zhen Huang, David Lie

CoRR, 2017

Unity 2.0: Secure and Durable Personal Cloud Storage.

Beom Heyn Kim, Wei Huang, Afshar Ganjali, David Lie

CoRR, 2017

The Case for a Single System Image for Personal Devices.

Beom Heyn Kim, Eyal de Lara, David Lie

CoRR, 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

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Glimmers: Resolving the Privacy/Trust Quagmire.

David Lie, Petros Maniatis

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.

Beom Heyn Kim, Sukwon Oh, David Lie

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response.

Zhen Huang, Mariana D'Angelo, Dhaval Miyani, David Lie

Proceedings of the IEEE Symposium on Security and Privacy, 2016

IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware.

Michelle Y. Wong, David Lie

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

LMP: light-weighted memory protection with hardware assistance.

Wei Huang, Zhen Huang, Dhaval Miyani, David Lie

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

The State of Public Infrastructure-as-a-Service Cloud Security.

Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie

ACM Comput. Surv., 2015

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.

Beom Heyn Kim, David Lie

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices.

Glenn Wurster, David Lie

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Ocasta: Clustering Configuration Settings for Error Recovery.

Zhen Huang, David Lie

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes.

Zheng Wei, David Lie

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014

2012

Unity: secure and durable personal cloud storage.

Beom Heyn Kim, Wei Huang, David Lie

Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

PScout: analyzing the Android permission specification.

Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, David Lie

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Patch auditing in infrastructure as a service clouds.

Lionel Litty, David Lie

Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Mercury: Recovering Forgotten Passwords Using Personal Devices.

Mohammad Mannan, David Barrera, Carson D. Brown, David Lie, Paul C. van Oorschot

Proceedings of the Financial Cryptography and Data Security, 2011

Unicorn: two-factor attestation for data security.

Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Short paper: a look at smartphone permission models.

Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, Phillipa Gill, David Lie

Proceedings of the SPSM'11, 2011

2010

Dude, Where's That IP? Circumventing Measurement-based IP Geolocation.

Phillipa Gill, Yashar Ganjali, Bernard Wong, David Lie

Proceedings of the 19th USENIX Security Symposium, 2010

Kivati: fast detection and prevention of atomicity violations.

Lee Chew, David Lie

Proceedings of the European Conference on Computer Systems, 2010

Using hypervisors to secure commodity operating systems.

David Lie, Lionel Litty

Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

2009

Computer Meteorology: Monitoring Compute Clouds.

Lionel Litty, H. Andrés Lagar-Cavilla, David Lie

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

2008

Hypervisor Support for Identifying Covertly Executing Binaries.

Lionel Litty, H. Andrés Lagar-Cavilla, David Lie

Proceedings of the 17th USENIX Security Symposium, 2008

Security Benchmarking using Partial Verification.

Thomas E. Hart, Marsha Chechik, David Lie

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

PtYasm: Software Model Checking with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Quantifying the Strength of Security Systems.

David Lie, Mahadev Satyanarayanan

Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

A buffer overflow benchmark for software model checkers.

Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical.

Jesse Pool, Ian Sin Kwok Wong, David Lie

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

2006

Using VMM-based sensors to monitor honeypots.

Kurniadi Asrigo, Lionel Litty, David Lie

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable.

Richard Ta-Min, Lionel Litty, David Lie

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Manitou: a layer-below approach to fighting malware.

Lionel Litty, David Lie

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

2003

Specifying and Verifying Hardware for Tamper-Resistant Software.

David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Implementing an untrusted operating system on trusted hardware.

David Lie, Chandramohan A. Thekkath, Mark Horowitz

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

2001

A simple method for extracting models for protocol code.

David Lie, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000

Architectural Support for Copy and Tamper Resistant Software.

David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000