Publications
- , D. Lie, G. Tan and T. Jaeger. Using Safety Properties to Generate Vulnerability Patches. To appear in the proceedings of the 40th IEEE Symposium on Security and Privacy (S&P). May 2019.
- and G. Tan. Rapidly Mitigating Vulnerabilities with Security Workarounds. To appear in the proceedings of the 2nd NDSS Workshop on Binary Analysis Research (BAR). February 2019.
- W. Huang, V. Rudchenko, H. Shuang, and D. Lie. Pearl-TEE: Supporting Untrusted Applications in TrustZone. In the proceedings of the 3rd ACM CCS Workshop on System Software for Trusted Execution (SysTEX). October 2018. [PDF][Bib]
- and D. Lie. Senx: Semantically Correct Patch Generation for Security Vulnerabilities. arXiv:1711.11136. 2017. [PDF][Bib]
- D. Miyani, and D. Lie. BinPro: A Tool for Binary Source Code Provenance. arXiv:1711.00830. 2017. [PDF][Bib]
- , M. D'Angelo, D. Miyani and D. Lie. Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. In Proceedings of the 37th IEEE Symposium on Security and Privacy (S&P). May 2016. (Acceptance Rate: 13.3%, 55 out of 413) [PDF][Bib]
- W. Huang, , D. Miyani and D. Lie. LMP: Light-Weighted Memory Protection with Hardware Assistance. In Proceedings of the 2016 Annual Computer Security Application Conference (ACSAC). December 2016. (Acceptance Rate: 22.8%, 48 out of 210) [PDF][Bib]
- and D. Lie. Ocasta: Clustering Configuration Settings For Error Recovery. In Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Pages 479-490. June 2014. (Acceptance Rate: 30.3%, 56 out of 185) [PDF][Bib]
- K. Au, Y. Zhou, and D. Lie. PScout: Analyzing the Android Permission Specification. In Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS). Pages 217-228. October 2012. (Acceptance Rate: 18.9%, 80 out of 423) [PDF][Bib]
- K. Au, Y. Zhou, , P. Gill and D. Lie A Look at SmartPhone Permission Models. In Proceedings of the 1st ACM Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM). Pages 63-67. October 2011. [PDF][Bib]