David Lie

David Lie and M. Satyanarayanan. Quantifying the Strength of Security Systems. Proceedings of the 2nd Workshop on Hot Topics in Security (HotSec 2007). August, 2007.

Jesse Pool, Ian Sin Kwok Wong and David Lie. Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS). May, 2007.

Richard Ta-Min, Lionel Litty and David Lie. Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006). November, 2006.

Lionel Litty and David Lie. Manitou: A Layer-Below Approach to Fighting Malware. In Proceedings of the ACM Workshop on Architectural and System Support for Improving Software Dependability (ASID 2006). October, 2006.

Kurniadi Asrigo, Lionel Litty and David Lie. Using VMM-Based Sensors to Monitor Honeypots. In Proceedings of the ACM 2nd International Conference on Virtual Execution Environments (VEE 2006). June, 2006.