David Lie - RankMe

96 papers A* 32A 12B 3Journal 32Unranked 14

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