David Lie [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Using Safety Properties to Generate Vulnerability Patches IEEESymposium-2019 - San Francisco, US
IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware NDSS-2016 - california,usa
Unity: Secure and Durable Personal Cloud Storage CCSW-2012 - Raleigh,USA
Unicorn: Two-Factor Attestation for Data Security Confrence-on-computer-communications-security-2011 - Chicago, USA
Dissecting Bugs 19th USENIX Security Symposium-2010 - Washington DC, USA Security
Dude, Wheres That Ip? Circumventing Measurement-Based Ip Geolocation 19th USENIX Security Symposium-2010 - Washington DC, USA Security
Hypervisor Support For Identifying Covertly Executing Binaries 17th USENIX Security Symposium-2008 - San Jose, USA Security
Software Security 17th USENIX Security Symposium-2008 - San Jose, USA Security
Security Benchmarking Using Partial Verification 3rd USENIX Workshop on Hot Topics in Security-2008 - San Jose, USA Security
Securing Commodity Systems Using Virtual Machines SecTor-2007 - Canada Security
Quantifying The Strength Of Security Systems 2nd USENIX Workshop on Hot Topics in Security-2007 - Boston, USA Security