David Lie
Title
Cited by
Cited by
Year
Architectural Support for Copy and Tamper Resistant Software
D Lie, C Thekkath, P Lincoln, M Mitchell, D Boneh, J Mitchell, M Horowitz
ACM SIGOPS Operating Systems Review 34 (5), 168--177, 2000
9722000
Pscout: analyzing the android permission specification
KWY Au, YF Zhou, Z Huang, D Lie
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
8752012
Hypervisor Support for Identifying Covertly Executing Binaries.
L Litty, HA Lagar-Cavilla, D Lie
USENIX Security Symposium 22, 70, 2008
2942008
Implementing an untrusted operating system on trusted hardware
D Lie, CA Thekkath, M Horowitz
Proceedings of the nineteenth ACM symposium on Operating systems principles …, 2003
2912003
Splitting interfaces: Making trust between applications and operating systems configurable
R Ta-Min, L Litty, D Lie
Proceedings of the 7th symposium on Operating systems design and …, 2006
2522006
IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware.
MY Wong, D Lie
NDSS 16, 21-24, 2016
1992016
Prochlo: Strong privacy for analytics in the crowd
A Bittau, Ú Erlingsson, P Maniatis, I Mironov, A Raghunathan, D Lie, ...
Proceedings of the 26th Symposium on Operating Systems Principles, 441-459, 2017
1982017
Specifying and verifying hardware for tamper-resistant software
D Lie, J Mitchell, CA Thekkath, M Horowitz
2003 Symposium on Security and Privacy, 2003., 166-177, 2003
1482003
Short paper: a look at smartphone permission models
KWY Au, YF Zhou, Z Huang, P Gill, D Lie
Proceedings of the 1st ACM workshop on Security and privacy in smartphones …, 2011
1012011
A buffer overflow benchmark for software model checkers
K Ku, TE Hart, M Chechik, D Lie
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
1002007
Manitou: a layer-below approach to fighting malware
L Litty, D Lie
Proceedings of the 1st workshop on Architectural and system support for …, 2006
922006
Dude, where’s that IP? Circumventing measurement-based IP geolocation
P Gill, Y Ganjali, B Wong, D Lie
Proceedings of the 19th USENIX conference on Security, 16-16, 2010
852010
Using VMM-based sensors to monitor honeypots
K Asrigo, L Litty, D Lie
Proceedings of the 2nd international conference on Virtual execution …, 2006
842006
The state of public infrastructure-as-a-service cloud security
W Huang, A Ganjali, BH Kim, S Oh, D Lie
ACM Computing Surveys (CSUR) 47 (4), 1-31, 2015
802015
Susceptibility of commodity systems and software to memory soft errors
A Messer, P Bernadat, G Fu, D Chen, Z Dimitrijevic, D Lie, DD Mannaru, ...
IEEE transactions on Computers 53 (12), 1557-1568, 2004
792004
Kivati: fast detection and prevention of atomicity violations
L Chew, D Lie
Proceedings of the 5th European conference on Computer systems, 307-320, 2010
782010
Openflow timeouts demystified
A Zarek, Y Ganjali, D Lie
Univ. of Toronto, Toronto, Ontario, Canada, 2012
662012
A simple method for extracting models from protocol code
D Lie, A Chou, D Engler, DL Dill
Proceedings 28th Annual International Symposium on Computer Architecture …, 2001
612001
Machine unlearning
L Bourtoule, V Chandrasekaran, CA Choquette-Choo, H Jia, A Travers, ...
2021 IEEE Symposium on Security and Privacy (SP), 141-159, 2021
532021
Tackling runtime-based obfuscation in android with {TIRO}
MY Wong, D Lie
27th {USENIX} Security Symposium ({USENIX} Security 18), 1247-1262, 2018
402018
The system can't perform the operation now. Try again later.
Articles 1–20