PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking.

David Lie University of Toronto, Canada http://www.eecg.toronto.edu/~lie/ https://scholar.google.com/citations?user=Qm_3B70AAAAJ https://orcid.org/0000-0002-2000-6827 https://www.wikidata.org/entity/Q114967828 Shengjie Xu Eric Liu Wei Huang 0027 Ilya Grishchenko David Lie PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking. ACSAC 2025 278-290 conf/acsac/2025 https://doi.org/10.1109/ACSAC67867.2025.00035 db/conf/acsac/acsac2025.html#XuLHGL25 streams/conf/acsac Xiangyu Guo Akshay Kawlay Eric Liu David Lie EvoCrawl: Exploring Web Application Code and State using Evolutionary Search. 2025 NDSS https://www.ndss-symposium.org/ndss-paper/evocrawl-exploring-web-application-code-and-state-using-evolutionary-search/ conf/ndss/2025 db/conf/ndss/ndss2025.html#GuoKLL25 He Shuang Lianying Zhao David Lie Duumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. 2025 NDSS https://www.ndss-symposium.org/ndss-paper/duumviri-detecting-trackers-and-mixed-trackers-with-a-breakage-detector/ conf/ndss/2025 db/conf/ndss/ndss2025.html#ShuangZL25 Yuqin Yan Wei Huang 0027 Ilya Grishchenko Gururaj Saileshwar Aastha Mehta David Lie Relocate-Vote: Using Sparsity Information to Exploit Ciphertext Side-Channels. 5699-5717 2025 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity25/presentation/yan-yuqin conf/uss/2025 db/conf/uss/uss2025.html#Yan0GSML25 Chun-Ying Huang Jyh-Cheng Chen Shiuh-Pyng Shieh David Lie Véronique Cortier Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, CCS 2025, Taipei, Taiwan, October 13-17, 2025 CCS ACM 2025 979-8-4007-1525-9 https://doi.org/10.1145/3719027 db/conf/ccs/ccs2025.html

Xiao Hu Eric Liu Weizhou Wang Xiangyu Guo David Lie MARAGE: Transferable Multi-Model Adversarial Attack for Retrieval-Augmented Generation Data Extraction. 2025 February abs/2502.04360 CoRR https://doi.org/10.48550/arXiv.2502.04360 db/journals/corr/corr2502.html#abs-2502-04360 streams/journals/corr

Kexin Li Xiao Hu Ilya Grishchenko David Lie HarmonicAttack: An Adaptive Cross-Domain Audio Watermark Removal. 2025 November abs/2511.21577 CoRR https://doi.org/10.48550/arXiv.2511.21577 db/journals/corr/corr2511.html#abs-2511-21577 streams/journals/corr

Kexin Li Guozhen Ding Ilya Grishchenko David Lie HMARK: Radioactive Multi-Bit Semantic-Latent Watermarking for Diffusion Models. 2025 December abs/2512.00094 CoRR https://doi.org/10.48550/arXiv.2512.00094 db/journals/corr/corr2512.html#abs-2512-00094 streams/journals/corr

Ying Li 0095 Wenjun Qiu Faysal Hossain Shezan Kunlin Cai Michelangelo van Dam Lisa M. Austin David Lie Yuan Tian 0001 Breaking the illusion: Automated Reasoning of GDPR Consent Violations. 2025 December abs/2512.22789 CoRR https://doi.org/10.48550/arXiv.2512.22789 db/journals/corr/corr2512.html#abs-2512-22789 streams/journals/corr

Lianying Zhao He Shuang Shengjie Xu Wei Huang 0027 Rongzhen Cui Pushkar Bettadpur David Lie A Survey of Hardware Improvements to Secure Program Execution. 311:1-311:37 2024 December 56 ACM Comput. Surv. 12 https://doi.org/10.1145/3672392 https://www.wikidata.org/entity/Q131113453 db/journals/csur/csur56.html#ZhaoSXHCBL24 streams/journals/csur

Yuqin Yan Pritish Mishra Wei Huang 0027 Aastha Mehta Oana Balmau David Lie Stream Processing with Adaptive Edge-Enhanced Confidential Computing. 37-42 2024 EdgeSys@EuroSys https://doi.org/10.1145/3642968.3654819 https://www.wikidata.org/entity/Q131121058 conf/edgesys/2024 db/conf/edgesys/edgesys2024.html#YanM0MBL24 Mingyue Yang David Lie Nicolas Papernot Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction. 659-669 2024 SANER https://doi.org/10.1109/SANER60148.2024.00073 conf/wcre/2024 db/conf/wcre/saner2024.html#YangLP24 Bo Luo Xiaojing Liao Jun Xu 0024 Engin Kirda David Lie 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 ACM 2024 979-8-4007-0636-3 https://doi.org/10.1145/3658644 db/conf/ccs/ccs2024.html

Wenjun Qiu David Lie Lisa M. Austin Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning. 2024 abs/2401.08038 CoRR https://doi.org/10.48550/arXiv.2401.08038 db/journals/corr/corr2401.html#abs-2401-08038

He Shuang Lianying Zhao David Lie Dumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector. 2024 abs/2402.08031 CoRR https://doi.org/10.48550/arXiv.2402.08031 db/journals/corr/corr2402.html#abs-2402-08031

Mu-Huan Chung Sharon Li Jaturong Kongmanee Lu Wang 0004 Yuhong Yang 0007 Calvin Giang Khilan Jerath Abhay Raman David Lie Mark H. Chignell Maximizing Information Gain in Privacy-Aware Active Learning of Email Anomalies. 2024 abs/2405.07440 CoRR https://doi.org/10.48550/arXiv.2405.07440 db/journals/corr/corr2405.html#abs-2405-07440

Kexin Li Yang Xi Aastha Mehta David Lie LDPKiT: Recovering Utility in LDP Schemes by Training with Noise^2. 2024 abs/2405.16361 CoRR https://doi.org/10.48550/arXiv.2405.16361 db/journals/corr/corr2405.html#abs-2405-16361

Weizhou Wang Eric Liu Xiangyu Guo David Lie ANVIL: Anomaly-based Vulnerability Identification without Labelled Training Data. 2024 abs/2408.16028 CoRR https://doi.org/10.48550/arXiv.2408.16028 db/journals/corr/corr2408.html#abs-2408-16028 streams/journals/corr

Tianchen Zhang Gururaj Saileshwar David Lie Time Will Tell: Timing Side Channels via Output Token Count in Large Language Models. 2024 abs/2412.15431 CoRR https://doi.org/10.48550/arXiv.2412.15431 db/journals/corr/corr2412.html#abs-2412-15431 streams/journals/corr

Mu-Huan Chung Yuhong Yang 0007 Lu Wang 0004 Greg Cento Khilan Jerath Abhay Raman David Lie Mark H. Chignell Implementing Data Exfiltration Defense in Situ: A Survey of Countermeasures and Human Involvement. 303:1-303:37 2023 55 ACM Comput. Surv. 14s https://doi.org/10.1145/3582077 https://www.wikidata.org/entity/Q130877306 db/journals/csur/csur55.html#Chung00CJRLC23

He Shuang Lianying Zhao David Lie vWitness: Certifying Web Page Interactions with Computer Vision. 431-444 2023 DSN https://doi.org/10.1109/DSN58367.2023.00048 conf/dsn/2023 db/conf/dsn/dsn2023.html#ShuangZL23 Eric Liu Shengjie Xu David Lie FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. 1061-1072 2023 ASE https://doi.org/10.1109/ASE56229.2023.00100 https://www.wikidata.org/entity/Q130888898 conf/kbse/2023 db/conf/kbse/ase2023.html#LiuXL23 Shengjie Xu Eric Liu Wei Huang 0027 David Lie MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. 609-622 2023 RAID https://doi.org/10.1145/3607199.3607212 https://www.wikidata.org/entity/Q131020082 conf/raid/2023 db/conf/raid/raid2023.html#XuL0L23 Wenjun Qiu David Lie Lisa M. Austin Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning. 2023 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity23/presentation/qiu conf/uss/2023 db/conf/uss/uss2023.html#QiuLA23 1055-1072

Mu-Huan Chung Lu Wang 0004 Sharon Li Yuhong Yang 0007 Calvin Giang Khilan Jerath Abhay Raman David Lie Mark H. Chignell Implementing Active Learning in Cybersecurity: Detecting Anomalies in Redacted Emails. 2023 abs/2303.00870 CoRR https://doi.org/10.48550/arXiv.2303.00870 db/journals/corr/corr2303.html#abs-2303-00870

Michelle Y. Wong David Lie Driving Execution of Target Paths in Android Applications with (a) CAR. 888-902 2022 AsiaCCS https://doi.org/10.1145/3488932.3497765 https://www.wikidata.org/entity/Q131128426 conf/asiaccs/2022 db/conf/asiaccs/asiaccs2022.html#WongL22 Jiaqi Wang Roei Schuster Ilia Shumailov David Lie Nicolas Papernot In Differential Privacy, There is Truth: on Vote-Histogram Leakage in Ensemble Private Learning. 2022 conf/nips/2022 NeurIPS http://papers.nips.cc/paper_files/paper/2022/hash/ba8d1b46292c5e82cbfb3b3dc3b968af-Abstract-Conference.html db/conf/nips/neurips2022.html#WangSSLP22 Beom Heyn Kim Taesoo Kim David Lie Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. 383-398 2022 USENIX ATC https://www.usenix.org/conference/atc22/presentation/kim-beom-heyn conf/usenix/2022 db/conf/usenix/usenix2022.html#KimKL22

Jiaqi Wang Roei Schuster Ilia Shumailov David Lie Nicolas Papernot In Differential Privacy, There is Truth: On Vote Leakage in Ensemble Private Learning. 2022 abs/2209.10732 CoRR https://doi.org/10.48550/arXiv.2209.10732 db/journals/corr/corr2209.html#abs-2209-10732

Shengjie Xu Wei Huang 0027 David Lie In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. 224-240 2021 ASPLOS https://doi.org/10.1145/3445814.3446761 https://www.wikidata.org/entity/Q130983077 conf/asplos/2021 db/conf/asplos/asplos2021.html#Xu0L21 Wei Huang 0027 Shengjie Xu Yueqiang Cheng David Lie Aion Attacks: Manipulating Software Timers in Trusted Execution Environment. 173-193 2021 DIMVA https://doi.org/10.1007/978-3-030-80825-9_9 conf/dimva/2021 db/conf/dimva/dimva2021.html#0027XCL21 Mingyue Yang David Lie Nicolas Papernot Accelerating Symbolic Analysis for Android Apps. 47-52 2021 ASE Workshops https://doi.org/10.1109/ASEW52652.2021.00021 conf/kbse/2021w db/conf/kbse/ase2021w.html#YangLP21 Rongzhen Cui Lianying Zhao David Lie Emilia: Catching Iago in Legacy Code. 2021 NDSS https://www.ndss-symposium.org/ndss-paper/emilia-catching-iago-in-legacy-code/ conf/ndss/2021 db/conf/ndss/ndss2021.html#CuiZL21 Lucas Bourtoule Varun Chandrasekaran Christopher A. Choquette-Choo Hengrui Jia 0001 Adelin Travers Baiwu Zhang David Lie Nicolas Papernot Machine Unlearning. 141-159 2021 SP https://doi.org/10.1109/SP40001.2021.00019 conf/sp/2021 db/conf/sp/sp2021.html#BourtouleCCJTZL21 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. 803-820 2021 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity21/presentation/cao-weicheng conf/uss/2021 db/conf/uss/uss2021.html#CaoXPLTA21

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. 2021 abs/2108.02010 CoRR https://arxiv.org/abs/2108.02010 db/journals/corr/corr2108.html#abs-2108-02010

Lianying Zhao David Lie Is Hardware More Secure Than Software? 8-17 2020 18 IEEE Secur. Priv. 5 https://doi.org/10.1109/MSEC.2020.2994827 https://www.wikidata.org/entity/Q113435866 db/journals/ieeesp/ieeesp18.html#ZhaoL20

Zhen Huang 0002 David Lie Gang Tan Trent Jaeger Using Safety Properties to Generate Vulnerability Patches. 2020 45 login Usenix Mag. 4 https://www.usenix.org/publications/login/winter2020/huang db/journals/usenix-login/usenix-login45.html#HuangLTJ20

Ivan Pustogarov Qian Wu David Lie Ex-vivo dynamic analysis framework for Android device drivers. 1088-1105 2020 SP https://doi.org/10.1109/SP40000.2020.00094 conf/sp/2020 db/conf/sp/sp2020.html#PustogarovWL20

He Shuang Michelle Y. Wong David Lie Using Context and Interactions to Verify User-Intended Network Requests. 2020 abs/2007.15805 CoRR https://arxiv.org/abs/2007.15805 db/journals/corr/corr2007.html#abs-2007-15805

Wenjun Qiu David Lie Deep Active Learning with Crowdsourcing Data for Privacy Policy Classification. 2020 abs/2008.02954 CoRR https://arxiv.org/abs/2008.02954 db/journals/corr/corr2008.html#abs-2008-02954

He Shuang Wei Huang 0027 Pushkar Bettadpur Lianying Zhao Ivan Pustogarov David Lie Using Inputs and Context to Verify User Intentions in Internet Services. 76-83 2019 APSys https://doi.org/10.1145/3343737.3343739 conf/apsys/2019 db/conf/apsys/apsys2019.html#ShuangHBZPL19 Zhen Huang 0002 David Lie Gang Tan Trent Jaeger Using Safety Properties to Generate Vulnerability Patches. 539-554 2019 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2019.00071 conf/sp/2019 db/conf/sp/sp2019.html#0002LTJ19

Hsuan-Chi Kuo Akshith Gunasekaran Yeongjin Jang Sibin Mohan Rakesh B. Bobba David Lie Jesse Walker MultiK: A Framework for Orchestrating Multiple Specialized Kernels. 2019 abs/1903.06889 CoRR http://arxiv.org/abs/1903.06889 db/journals/corr/corr1903.html#abs-1903-06889

Lianying Zhao He Shuang Shengjie Xu Wei Huang 0027 Rongzhen Cui Pushkar Bettadpur David Lie SoK: Hardware Security Support for Trustworthy Execution. 2019 abs/1910.04957 CoRR http://arxiv.org/abs/1910.04957 db/journals/corr/corr1910.html#abs-1910-04957

Lucas Bourtoule Varun Chandrasekaran Christopher A. Choquette-Choo Hengrui Jia 0001 Adelin Travers Baiwu Zhang David Lie Nicolas Papernot Machine Unlearning. 2019 abs/1912.03817 CoRR http://arxiv.org/abs/1912.03817 db/journals/corr/corr1912.html#abs-1912-03817

Michelle Y. Wong David Lie Tackling runtime-based obfuscation in Android with TIRO. 1247-1262 2018 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity18/presentation/wong conf/uss/2018 db/conf/uss/uss2018.html#WongL18 David Lie Mohammad Mannan Michael Backes 0001 XiaoFeng Wang 0001 Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018 ACM CCS 2018 978-1-4503-5693-0 http://dl.acm.org/citation.cfm?id=3243734 db/conf/ccs/ccs2018.html David Lie Mohammad Mannan Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018 ACM CPS-SPC@CCS 2018 978-1-4503-5992-4 http://dl.acm.org/citation.cfm?id=3264888 db/conf/ccs/cpsspc2018.html David Lie Mohammad Mannan Aaron Johnson 0001 Proceedings of the 2018 Workshop on Privacy in the Electronic Society, WPES@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 ACM CCS 2018 978-1-4503-5989-4 http://dl.acm.org/citation.cfm?id=3267323 db/conf/wpes/wpes2018.html Beom Heyn Kim Sukwon Oh David Lie Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. 82-87 2017 HotOS https://doi.org/10.1145/3102980.3102994 conf/hotos/2017 db/conf/hotos/hotos2017.html#KimOL17 David Lie Petros Maniatis Glimmers: Resolving the Privacy/Trust Quagmire. 94-99 2017 HotOS https://doi.org/10.1145/3102980.3102996 conf/hotos/2017 db/conf/hotos/hotos2017.html#LieM17 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. 441-459 2017 SOSP https://doi.org/10.1145/3132747.3132769 conf/sosp/2017 db/conf/sosp/sosp2017.html#BittauEMMRLRKTS17

David Lie Petros Maniatis Glimmers: Resolving the Privacy/Trust Quagmire. 2017 abs/1702.07436 CoRR http://arxiv.org/abs/1702.07436 db/journals/corr/corr1702.html#LieM17

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. 2017 abs/1710.00901 CoRR http://arxiv.org/abs/1710.00901 db/journals/corr/corr1710.html#abs-1710-00901

Beom Heyn Kim Eyal de Lara David Lie The Case for a Single System Image for Personal Devices. 2017 abs/1710.03789 CoRR http://arxiv.org/abs/1710.03789 db/journals/corr/corr1710.html#abs-1710-03789

Beom Heyn Kim Wei Huang 0027 Afshar Ganjali David Lie Unity 2.0: Secure and Durable Personal Cloud Storage. 2017 abs/1710.03861 CoRR http://arxiv.org/abs/1710.03861 db/journals/corr/corr1710.html#abs-1710-03861

Zhen Huang 0002 Mariana D'Angelo Dhaval Miyani David Lie Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. 2017 abs/1711.00795 CoRR http://arxiv.org/abs/1711.00795 db/journals/corr/corr1711.html#abs-1711-00795

Dhaval Miyani Zhen Huang 0002 David Lie BinPro: A Tool for Binary Source Code Provenance. 2017 abs/1711.00830 CoRR http://arxiv.org/abs/1711.00830 db/journals/corr/corr1711.html#abs-1711-00830

Zhen Huang 0002 David Lie SAIC: Identifying Configuration Files for System Configuration Management. 2017 abs/1711.03397 CoRR http://arxiv.org/abs/1711.03397 db/journals/corr/corr1711.html#abs-1711-03397

Zhen Huang 0002 David Lie Ocasta: Clustering Configuration Settings For Error Recovery. 2017 abs/1711.04030 CoRR http://arxiv.org/abs/1711.04030 db/journals/corr/corr1711.html#abs-1711-04030

Zhen Huang 0002 David Lie Senx: Sound Patch Generation for Security Vulnerabilities. 2017 abs/1711.11136 CoRR http://arxiv.org/abs/1711.11136 db/journals/corr/corr1711.html#abs-1711-11136

Wei Huang 0027 Zhen Huang 0002 Dhaval Miyani David Lie LMP: light-weighted memory protection with hardware assistance. 460-470 2016 ACSAC http://dl.acm.org/citation.cfm?id=2991089 conf/acsac/2016 db/conf/acsac/acsac2016.html#HuangHML16 Michelle Y. Wong David Lie IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware. 2016 NDSS http://wp.internetsociety.org/ndss/wp-content/uploads/sites/25/2017/09/intellidroid-targeted-input-generator-dynamic-analysis-android-malware.pdf conf/ndss/2016 db/conf/ndss/ndss2016.html#WongL16 Zhen Huang 0002 Mariana D'Angelo Dhaval Miyani David Lie Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. 618-635 2016 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2016.43 https://doi.ieeecomputersociety.org/10.1109/SP.2016.43 conf/sp/2016 db/conf/sp/sp2016.html#HuangDML16

Wei Huang 0027 Afshar Ganjali Beom Heyn Kim Sukwon Oh David Lie The State of Public Infrastructure-as-a-Service Cloud Security. 68:1-68:31 2015 47 ACM Comput. Surv. 4 https://doi.org/10.1145/2767181 https://www.wikidata.org/entity/Q131133597 db/journals/csur/csur47.html#HuangGKOL15

Glenn Wurster David Lie SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices. 1713-1714 2015 CCS https://doi.org/10.1145/2810103.2812625 conf/ccs/2015 db/conf/ccs/ccs2015.html#WursterL15 Beom Heyn Kim David Lie Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. 880-896 2015 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2015.59 https://doi.ieeecomputersociety.org/10.1109/SP.2015.59 conf/sp/2015 db/conf/sp/sp2015.html#KimL15 David Lie Glenn Wurster 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 ACM 2015 978-1-4503-3819-6 https://doi.org/10.1145/2808117 db/conf/ccs/spsm2015.html Zheng Wei David Lie LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes. 27-38 2014 SPSM@CCS https://doi.org/10.1145/2666620.2666626 https://www.wikidata.org/entity/Q131132348 conf/ccs/2014spsm db/conf/ccs/spsm2014.html#WeiL14 Zhen Huang 0002 David Lie Ocasta: Clustering Configuration Settings for Error Recovery. 479-490 2014 DSN https://doi.org/10.1109/DSN.2014.51 https://doi.ieeecomputersociety.org/10.1109/DSN.2014.51 conf/dsn/2014 db/conf/dsn/dsn2014.html#HuangL14 Beom Heyn Kim Wei Huang 0027 David Lie Unity: secure and durable personal cloud storage. 31-36 2012 CCSW https://doi.org/10.1145/2381913.2381920 conf/ccs/2012ccsw db/conf/ccs/ccsw2012.html#KimHL12 Kathy Wain Yee Au Yi Fan Zhou Zhen Huang 0002 David Lie PScout: analyzing the Android permission specification. 217-228 2012 CCS https://doi.org/10.1145/2382196.2382222 conf/ccs/2012 db/conf/ccs/ccs2012.html#AuZHL12 Mohammad Mannan Beom Heyn Kim Afshar Ganjali David Lie Unicorn: two-factor attestation for data security. 17-28 2011 CCS https://doi.org/10.1145/2046707.2046712 conf/ccs/2011 db/conf/ccs/ccs2011.html#MannanKGL11 Kathy Wain Yee Au Yi Fan Zhou Zhen Huang 0002 Phillipa Gill David Lie Short paper: a look at smartphone permission models. 63-68 2011 SPSM@CCS https://doi.org/10.1145/2046614.2046626 https://www.wikidata.org/entity/Q131123445 conf/ccs/2011spsm db/conf/ccs/spsm2011.html#AuZHGL11 Mohammad Mannan David Barrera 0003 Carson D. Brown David Lie Paul C. van Oorschot Mercury: Recovering Forgotten Passwords Using Personal Devices. 315-330 2011 Financial Cryptography https://doi.org/10.1007/978-3-642-27576-0_26 conf/fc/2011 db/conf/fc/fc2011.html#MannanBBLO11 Lionel Litty David Lie Patch auditing in infrastructure as a service clouds. 145-156 2011 VEE https://doi.org/10.1145/1952682.1952702 https://doi.org/10.1145/2007477.1952702 https://www.wikidata.org/entity/Q131128747 conf/vee/2011 db/conf/vee/vee2011.html#LittyL11 David Lie Lionel Litty Using hypervisors to secure commodity operating systems. 11-20 2010 STC@CCS http://dl.acm.org/citation.cfm?id=1867639 conf/ccs/2010stc db/conf/ccs/stc2010.html#LieL10 Lee Chew David Lie Kivati: fast detection and prevention of atomicity violations. 307-320 2010 EuroSys https://doi.org/10.1145/1755913.1755945 conf/eurosys/2010 db/conf/eurosys/eurosys2010.html#ChewL10 Phillipa Gill Yashar Ganjali Bernard Wong 0001 David Lie Dude, Where's That IP? Circumventing Measurement-based IP Geolocation. 241-256 2010 USENIX Security Symposium http://www.usenix.org/events/sec10/tech/full_papers/Gill.pdf conf/uss/2010 db/conf/uss/uss2010.html#GillGWL10 Lionel Litty H. Andrés Lagar-Cavilla David Lie Computer Meteorology: Monitoring Compute Clouds. 2009 HotOS http://www.usenix.org/events/hotos09/tech/full_papers/litty/litty.pdf conf/hotos/2009 db/conf/hotos/hotos2009.html#LittyLL09 Thomas E. Hart Kelvin Ku Arie Gurfinkel Marsha Chechik David Lie Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. 387-390 2008 ASE https://doi.org/10.1109/ASE.2008.55 https://doi.ieeecomputersociety.org/10.1109/ASE.2008.55 conf/kbse/2008 db/conf/kbse/ase2008.html#HartKGCL08 Thomas E. Hart Kelvin Ku Arie Gurfinkel Marsha Chechik David Lie PtYasm: Software Model Checking with Proof Templates. 479-480 2008 ASE https://doi.org/10.1109/ASE.2008.80 https://doi.ieeecomputersociety.org/10.1109/ASE.2008.80 conf/kbse/2008 db/conf/kbse/ase2008.html#HartKGCL08a Thomas E. Hart Marsha Chechik David Lie Security Benchmarking using Partial Verification. 2008 HotSec http://www.usenix.org/events/hotsec08/tech/full_papers/hart/hart.pdf conf/uss/2008hotsec db/conf/uss/hotsec2008.html#HartCL08 Lionel Litty H. Andrés Lagar-Cavilla David Lie Hypervisor Support for Identifying Covertly Executing Binaries. 243-258 2008 USENIX Security Symposium http://www.usenix.org/events/sec08/tech/full_papers/litty/litty.pdf conf/uss/2008 db/conf/uss/uss2008.html#LittyLL08 Jesse Pool Ian Sin Kwok Wong David Lie Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. 2007 HotOS http://www.usenix.org/events/hotos07/tech/full_papers/pool/pool.pdf conf/hotos/2007 db/conf/hotos/hotos2007.html#PoolWL07 Kelvin Ku Thomas E. Hart Marsha Chechik David Lie A buffer overflow benchmark for software model checkers. 389-392 2007 conf/kbse/2007 ASE https://doi.org/10.1145/1321631.1321691 https://www.wikidata.org/entity/Q131113291 db/conf/kbse/ase2007.html#KuHCL07 David Lie Mahadev Satyanarayanan Quantifying the Strength of Security Systems. 2007 conf/uss/2007hotsec HotSec https://www.usenix.org/conference/hotsec-07/quantifying-strength-security-systems db/conf/uss/hotsec2007.html#LieS07 Lionel Litty David Lie Manitou: a layer-below approach to fighting malware. 6-11 2006 conf/asplos/2006asid ASID https://doi.org/10.1145/1181309.1181311 db/conf/asplos/asid2006.html#LittyL06 Richard Ta-Min Lionel Litty David Lie Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. 279-292 2006 conf/osdi/2006 OSDI http://www.usenix.org/events/osdi06/tech/ta-min.html db/conf/osdi/osdi2006.html#Ta-MinLL06 Kurniadi Asrigo Lionel Litty David Lie Using VMM-based sensors to monitor honeypots. 13-23 2006 conf/vee/2006 VEE https://doi.org/10.1145/1134760.1134765 db/conf/vee/vee2006.html#AsrigoLL06 David Lie Chandramohan A. Thekkath Mark Horowitz Implementing an untrusted operating system on trusted hardware. 178-192 2003 conf/sosp/2003 SOSP https://doi.org/10.1145/945445.945463 db/conf/sosp/sosp2003.html#LieTH03 David Lie John C. Mitchell Chandramohan A. Thekkath Mark Horowitz Specifying and Verifying Hardware for Tamper-Resistant Software. 166- 2003 conf/sp/2003 S&P https://doi.org/10.1109/SECPRI.2003.1199335 https://doi.ieeecomputersociety.org/10.1109/SECPRI.2003.1199335 db/conf/sp/sp2003.html#LieMTH03 David Lie Andy Chou Dawson R. Engler David L. Dill A simple method for extracting models for protocol code. 192-203 2001 conf/isca/2001 ISCA https://doi.org/10.1145/379240.379263 https://doi.org/10.1109/ISCA.2001.937448 https://doi.ieeecomputersociety.org/10.1109/ISCA.2001.937448 db/conf/isca/isca2001.html#LieCED01 David Lie Chandramohan A. Thekkath Mark Mitchell Patrick Lincoln Dan Boneh John C. Mitchell Mark Horowitz Architectural Support for Copy and Tamper Resistant Software. 168-177 2000 conf/asplos/2000 ASPLOS https://doi.org/10.1145/378993.379237 https://doi.org/10.1145/384264.379237 https://doi.org/10.1145/378995.379237 https://doi.org/10.1145/356989.357005 db/conf/asplos/asplos2000.html#LieTMLBMH00 Kurniadi Asrigo Kathy Wain Yee Au Lisa M. Austin Michael Backes 0001 Oana Balmau David Barrera 0003 Pushkar Bettadpur Andrea Bittau Rakesh BobbaRakesh B. Bobba Dan Boneh Lucas Bourtoule Carson D. Brown Kunlin Cai Weicheng Cao Greg Cento Varun Chandrasekaran Marsha Chechik Jyh-Cheng Chen Yueqiang Cheng Lee Chew Mark H. Chignell Christopher A. Choquette-Choo Andy Chou Mu-Huan Chung Véronique Cortier Rongzhen Cui Michelangelo van Dam Mariana D'Angelo David L. Dill Guozhen Ding Adam Dziedzic Dawson R. Engler Úlfar Erlingsson Afshar Ganjali Yashar Ganjali Calvin Giang Phillipa Gill Ilya Grishchenko Akshith Gunasekaran Xiangyu Guo Arie Gurfinkel Thomas E. Hart Mark Horowitz Xiao Hu Chun-Ying Huang Wei Huang 0027 Zhen Huang 0002 Trent Jaeger Yeongjin Jang Khilan Jerath Hengrui Jia 0001 Aaron Johnson 0001 Akshay Kawlay Beom Heyn Kim Taesoo Kim Engin Kirda Ushasree Kode Jaturong Kongmanee Kelvin Ku Hsuan-Chi Kuo H. Andrés Lagar-Cavilla Eyal de Lara Kexin Li Sharon Li Ying Li 0095 Xiaojing Liao Lorna Licollari Patrick Lincoln Lionel Litty Eric Liu Bo Luo Petros Maniatis Mohammad Mannan Aastha Mehta Ilya Mironov Pritish Mishra John C. Mitchell Mark Mitchell Dhaval Miyani Sibin Mohan Sukwon Oh Paul C. van Oorschot Nicolas Papernot Sai Teja Peddinti Jesse Pool Ivan Pustogarov Wenjun Qiu Ananth Raghunathan Abhay Raman Mitch Rudominer Gururaj Saileshwar Mahadev Satyanarayanan Roei Schuster Bernhard Seefeld Faysal Hossain Shezan Shiuh-Pyng Shieh He Shuang Ilia Shumailov Richard Ta-Min Nina Taft Gang Tan Chandramohan A. Thekkath Yuan Tian 0001 Julien Tinnés Adelin Travers Jesse Walker Guanghan Wang Jiaqi Wang Lu Wang 0004 Weizhou Wang XiaoFeng Wang 0001 Zheng Wei Bernard Wong 0001 Ian Sin Kwok Wong Michelle Y. Wong Qian Wu Glenn Wurster Yang Xi Chunqiu Xia Jun Xu 0024 Shengjie Xu Yuqin Yan Mingyue Yang Yuhong Yang 0007 Baiwu Zhang Tianchen Zhang Lianying Zhao Yi Fan Zhou