David Lie

Most-cited papers

Machine Unlearning
Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo, Hengrui Jia +4 more
2019IEEE Symposium on Security and Privacy1,750 citations
Semantic Scholar
PScout: analyzing the Android permission specification
K. Au, Yi-Fan Zhou, Zhen Huang, David Lie
2012Conference on Computer and Communications Security855 citations
Semantic Scholar
Architectural support for copy and tamper resistant software
David Lie, C. A. Thekkath, Mark Mitchell, P. Lincoln +3 more
2000SIGP697 citations Open access
Semantic Scholar
PROCHLO: Strong Privacy for Analytics in the Crowd
Ú. Erlingsson, Petros Maniatis, Ilya Mironov, David Lie +2 more
2017313 citations
Semantic Scholar
Prochlo: Strong Privacy for Analytics in the Crowd
Andrea Bittau, Ú. Erlingsson, Petros Maniatis, Ilya Mironov +6 more
2017Symposium on Operating Systems Principles303 citations Open access
Semantic Scholar
IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware
Michelle Y. Wong, David Lie
2016Network and Distributed System Security Symposium258 citations Open access
Semantic Scholar
Hypervisor Support for Identifying Covertly Executing Binaries
Lionel Litty, H. A. Lagar-Cavilla, David Lie
2008USENIX Security Symposium234 citations
Semantic Scholar
Implementing an untrusted operating system on trusted hardware
David Lie, C. A. Thekkath, M. Horowitz
2003Symposium on Operating Systems Principles215 citations
Semantic Scholar
Splitting interfaces: making trust between applications and operating systems configurable
Richard Ta-Min, Lionel Litty, David Lie
2006USENIX Symposium on Operating Systems Design and Implementation187 citations
Semantic Scholar
Specifying and verifying hardware for tamper-resistant software
David Lie, J. Mitchell, C. A. Thekkath, M. Horowitz
20032003 Symposium on Security and Privacy, 2003.117 citations
Semantic Scholar
Using Safety Properties to Generate Vulnerability Patches
Zhen Huang, David Lie, Gang Tan, Trent Jaeger
2019IEEE Symposium on Security and Privacy98 citations Open access
Semantic Scholar
Dude, Where's That IP? Circumventing Measurement-based IP Geolocation
Phillipa Gill, Y. Ganjali, B. Wong, David Lie
2010USENIX Security Symposium93 citations
Semantic Scholar
A buffer overflow benchmark for software model checkers
Kelvin Ku, Thomas E. Hart, M. Chechik, David Lie
2007International Conference on Automated Software Engineering92 citations
Semantic Scholar
Short paper: a look at smartphone permission models
K. Au, Yi-Fan Zhou, Zhen Huang, Phillipa Gill +1 more
2011Security and Privacy in Smartphones and Mobile Devices86 citations
Semantic Scholar
The State of Public Infrastructure-as-a-Service Cloud Security
Wei Huang, Afshar Ganjali, Beom Heyn Kim, S. Oh +1 more
2015ACM Computing Surveys74 citations Open access
Semantic Scholar
Kivati: fast detection and prevention of atomicity violations
Lee Chew, David Lie
2010European Conference on Computer Systems69 citations
Semantic Scholar
Manitou: a layer-below approach to fighting malware
Lionel Litty, David Lie
2006International Conference on Anti-counterfeiting, Security, and Identification67 citations
Semantic Scholar
Using VMM-based sensors to monitor honeypots
Kurniadi Asrigo, Lionel Litty, David Lie
2006International Conference on Virtual Execution Environments62 citations
Semantic Scholar
Tackling runtime-based obfuscation in Android with TIRO
Michelle Y. Wong, David Lie
2018USENIX Security Symposium61 citations
Semantic Scholar
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response
Zhen Huang, Mariana D'Angelo, Dhaval Miyani, David Lie
2016IEEE Symposium on Security and Privacy61 citations Open access
Semantic Scholar
A simple method for extracting models from protocol code
David Lie, Andy Chou, D. Engler, D. Dill
2001Proceedings 28th Annual International Symposium on Computer Architecture51 citations Open access
Semantic Scholar
A Large Scale Study of User Behavior, Expectations and Engagement with Android Permissions
Weicheng Cao, Chun-Lei Xia, Sai Teja Peddinti, David Lie +2 more
2021USENIX Security Symposium47 citations
Semantic Scholar
In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection
Shengjie Xu, Wei Huang, David Lie
2021International Conference on Architectural Support for Programming Languages and Operating Systems41 citations Open access
Semantic Scholar
Ex-vivo dynamic analysis framework for Android device drivers
Ivan Pustogarov, Qian Wu, David Lie
2020IEEE Symposium on Security and Privacy35 citations Open access
Semantic Scholar
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices
Beom Heyn Kim, David Lie
2015IEEE Symposium on Security and Privacy33 citations Open access
Semantic Scholar
BinPro: A Tool for Binary Source Code Provenance
Dhaval Miyani, Zhen Huang, David Lie
2017arXiv.org29 citations
Semantic Scholar
Data Trusts and the Governance of Smart Environments: Lessons from the Failure of Sidewalk Labs’ Urban Data Trust
Lisa M. Austin, David Lie
2021Surveillance & Society28 citations Open access
Semantic Scholar
Emilia: Catching Iago in Legacy Code
Rongzhen Cui, Lianying Zhao, David Lie
2021Network and Distributed System Security Symposium27 citations Open access
Semantic Scholar
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Jesse Pool, I. Wong, David Lie
2007USENIX Workshop on Hot Topics in Operating Systems27 citations
Semantic Scholar
Implementing Data Exfiltration Defense in Situ: A Survey of Countermeasures and Human Involvement
Mu-Huan Chung, Yu-Hong Yang, Lu Wang, Greg Cento +4 more
2023ACM Computing Surveys22 citations Open access
Semantic Scholar
Unicorn: two-factor attestation for data security
Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie
2011Conference on Computer and Communications Security22 citations
Semantic Scholar
Computer Meteorology: Monitoring Compute Clouds
Lionel Litty, H. A. Lagar-Cavilla, David Lie
2009USENIX Workshop on Hot Topics in Operating Systems20 citations
Semantic Scholar
Glimmers: Resolving the Privacy/Trust Quagmire
David Lie, Petros Maniatis
2017USENIX Workshop on Hot Topics in Operating Systems17 citations Open access
Semantic Scholar
Unity: secure and durable personal cloud storage
Beom Heyn Kim, Wei Huang, David Lie
2012Cloud Computing Security Workshop17 citations
Semantic Scholar
MultiK: A Framework for Orchestrating Multiple Specialized Kernels
H. Kuo, Akshith Gunasekaran, Yeongjin Jang, Sibin Mohan +3 more
2019arXiv.org16 citations
Semantic Scholar
LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes
Zhenyu Wei, David Lie
2014SPSM@CCS15 citations
Semantic Scholar
Aion Attacks: Manipulating Software Timers in Trusted Execution Environment
Wei Huang, Shengjie Xu, Yue-Qiang Cheng, David Lie
2021International Conference on Detection of intrusions and malware, and vulnerability assessment12 citations
Semantic Scholar
Auditing cloud management using information flow tracking
Afshar Ganjali, David Lie
2012Scalable Trusted Computing12 citations
Semantic Scholar
Safe Sharing Sites
Lisa M. Austin, David Lie
201911 citations
Semantic Scholar
SoK: Hardware Security Support for Trustworthy Execution
Lianying Zhao, He Shuang, Shengjie Xu, Wei Huang +3 more
2019arXiv.org11 citations
Semantic Scholar
LMP: light-weighted memory protection with hardware assistance
Wei Huang, Zhen Huang, Dhaval Miyani, David Lie
2016Asia-Pacific Computer Systems Architecture Conference11 citations Open access
Semantic Scholar
Quantifying the Strength of Security Systems
David Lie, M. Satyanarayanan
2007USENIX conference on Hot topics in security10 citations
Semantic Scholar
Driving Execution of Target Paths in Android Applications with (a) CAR
Michelle Y. Wong, David Lie
2022ACM Asia Conference on Computer and Communications Security9 citations
Semantic Scholar
Test, Trace, and Isolate: COVID-19 and the Canadian Constitution
Lisa M. Austin, Vincent Chiao, B. Coleman, David Lie +3 more
2020Social Science Research Network9 citations Open access
Semantic Scholar
Is Hardware More Secure Than Software?
Lianying Zhao, David Lie
2020IEEE Security and Privacy9 citations
Semantic Scholar
Patch auditing in infrastructure as a service clouds
Lionel Litty, David Lie
2011International Conference on Virtual Execution Environments9 citations
Semantic Scholar
In Differential Privacy, There is Truth: On Vote-Histogram Leakage in Ensemble Private Learning
David Lie, Nicolas Papernot, R. Schuster, Ilia Shumailov +1 more
2022Advances in Neural Information Processing Systems 358 citations
Semantic Scholar
Ocasta: Clustering Configuration Settings for Error Recovery
Zhen Huang, David Lie
20142014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks8 citations Open access
Semantic Scholar
Using hypervisors to secure commodity operating systems
David Lie, Lionel Litty
2010Scalable Trusted Computing8 citations
Semantic Scholar
Mercury: Recovering Forgotten Passwords Using Personal Devices
Mohammad Mannan, David Barrera, Carson D. Brown, David Lie +1 more
2011Financial Cryptography7 citations Open access
Semantic Scholar