SRI International Computer Science Laboratory

Drew Dean

- Position: Senior Computer Scientist
-
- Address:
-
Computer Science Laboratory, EL247
SRI International
333 Ravenswood Ave
Menlo Park California 94025, USA
- Email: ddean@csl.sri.com
Warning: On the morning of April 24, 2003, I received over 50 pieces of spam. Accordingly, I've now put SpamAssassin in automatic mode. If I don't reply to email there's a chance that I didn't see it. Please try another means of contacting me.
Computer Security
Programming Languages
CHATS
Dynamic Coalitions
Chander, A., D. Dean, J. Mitchell, "A Distributed High Assurance Reference Monitor," Proceedings of the 7th Information Security Conference, LNCS 3225, pp. 231-244, Palo Alto, CA, September 2004.
Dean, D., and A. Hu, "Fixing Races for Fun and Profit: How to use access(2)," Proceedings of the Thirteenth USENIX Security Symposium, San Diego, CA, August 2004.
Chen, H., D. Wagner, D. Dean, "Model Checking One Million Lines of C Code," Proceedings of the Network and Distributed Security Symposium, San Diego, CA, February 2004.
Chander, A., D. Dean, J. Mitchell, "Reconstructing Trust Management," Journal of Computer Security, 12(1), January 2004, pp. 131-164. A close, but not quite final version of the paper is here.
Chen, H., D. Wagner, D. Dean, "Setuid Demystified," Proceedings of the Eleventh USENIX Security Symposium, San Francisco, CA, August 2002.
Staddon, J., S. Miner, M. Franklin, D. Balfanz, M. Malkin, D. Dean, "Self-Healing Key Distribution with Revocation," Proceedings of the 2002 IEEE Symposium on Security and Privacy, Oakland, CA, May 2002.
Craver, S., M. Wu, B. Liu, A. Stubblefield, B. Swartzlander, D. Wallach, D. Dean, E. Felten, "Reading Between the Lines: Lessons from the SDMI Challenge," Proceedings of the Tenth USENIX Security Symposium, Washington DC, August 2001.
Stubblefield, A.., and D. Dean, "Using Client Puzzles to Protect TLS," Proceedings of the Tenth USENIX Security Symposium, Washington, DC, August 2001.
Chander, A., D. Dean, and J. Mitchell, "A State-Transition Model of Trust Management and Access Control," Proceedings of the Fourteenth IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, June 2001.
Wagner, D., and D. Dean, "Intrusion Detection via Static Analysis," Proceedings of the 2001 IEEE Symposium on Security and Privacy, Oakland, CA, May 2001.
Berson, T., D. Dean, M. Franklin, D. Smetters, and M. Spreitzer, "Cryptography as a Network Service," Proceedings of the 2001 Network and Distributed System Security Symposium, San Diego, CA, February 2001.
Dean, D., M. Franklin, and A. Stubblefield, "An Algebraic Approach to IP Traceback," Proceedings of the 2001 Network and Distributed System Security Symposium,San Diego, CA, February 2001. Best Paper Award. A later version of this paper appears in ACM Transactions on Information System Security, May 2002.
Balfanz, D., D. Dean, and M. Spreitzer, "A Security Infrastructure for Distributed Java Applications," Proceedings of the 2000 IEEE Symposium on Security and Privacy, Oakland, CA, May 2000.
Wallach, D., D. Balfanz, D. Dean, and E. Felten, "Extensible Security Architectures for Java," Proceedings of the Sixteenth Symposium on Operating System Principles, Saint Malo, October, 1997. Outstanding Paper Award
Felten, E., D. Balfanz, D. Dean, and D. Wallach, "Web Spoofing: An Internet Con Game," Proceedings of the Twentieth National Information Systems Security Conference, Baltimore, October 1997.
Dean, D., "The Security of Static Typing with Dynamic Linking," Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, April 1997. Best Student Paper Award
Dean, D., E. Felten, and D. Wallach, "Java Security: From HotJava to Netscape and Beyond," Proceedings of the 1996 IEEE Symposium on Security and Privacy, Oakland, CA, May 1996.
Dean, D., "A File System in Standard ML," Proceedings of the Fourth Workshop on ML and its Applications, ACM SIGPLAN, San Francisco, CA, June 1992.
Dean, D., E. Felten, D. Wallach, and D. Balfanz, "Java Security: Web Browsers and Beyond," in Internet Besieged: Countering the Cyberspace Scofflaw, Dorothy and Peter Denning, editors, ACM Press, 1997.
Drew Dean: ddean@csl.sri.com