Search the dblp DataBase

Publications of Author

1. David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
   Architectural Support for Copy and Tamper Resistant Software. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2000, pp:168-177 [Conf]
   
2. Lionel Litty, David Lie
   Manitou: a layer-below approach to fighting malware. [Citation Graph (0, 0)][DBLP]
   ASID, 2006, pp:6-11 [Conf]
   
3. David Lie, Andy Chou, Dawson R. Engler, David L. Dill
   A simple method for extracting models for protocol code. [Citation Graph (0, 0)][DBLP]
   ISCA, 2001, pp:192-203 [Conf]
   
4. Richard Ta-Min, Lionel Litty, David Lie
   Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. [Citation Graph (0, 0)][DBLP]
   OSDI, 2006, pp:279-292 [Conf]
   
5. David Lie, Chandramohan A. Thekkath, Mark Horowitz
   Implementing an untrusted operating system on trusted hardware. [Citation Graph (0, 0)][DBLP]
   SOSP, 2003, pp:178-192 [Conf]
   
6. David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz
   Specifying and Verifying Hardware for Tamper-Resistant Software. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Security and Privacy, 2003, pp:166-0 [Conf]
   
7. Kurniadi Asrigo, Lionel Litty, David Lie
   Using VMM-based sensors to monitor honeypots. [Citation Graph (0, 0)][DBLP]
   VEE, 2006, pp:13-23 [Conf]
   
8. 
   Computer Meteorology: Monitoring Compute Clouds. [Citation Graph (, )][DBLP]
   
   
9. 
   Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. [Citation Graph (, )][DBLP]
   
   
10. 
    A buffer overflow benchmark for software model checkers. [Citation Graph (, )][DBLP]
    
    
11. 
    PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP]
    
    
12. 
    Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP]
    
    
13. 
    Security Benchmarking using Partial Verification. [Citation Graph (, )][DBLP]
    
    
14. 
    Hypervisor Support for Identifying Covertly Executing Binaries. [Citation Graph (, )][DBLP]
    
    
15. 
    Kivati: fast detection and prevention of atomicity violations. [Citation Graph (, )][DBLP]