Alan M. Dunn, Ph.D.


Contact information:


I entered UT Austin's computer science PhD program in 2009 and graduated in Summer 2014. I will be joining Google's security team later in 2014. If it is, say, 2015 or later, you may not want this page but instead want a new webpage I will have created and probably linked from here.

I worked in the Operating Systems and Architecture Group, a part of LASR, with Professor Emmett Witchel.

I am interested in improving operating system reliability and security. My projects while at UT Austin are about:

I also did a bit of work in formal methods with the group here at UT (which centers around work with ACL2). I believe that there may be some overlap with my systems work, though the former clearly has a different focus.

Software contributions

If I use software in my research and fix bugs or make improvements, I try and push them back upstream. I have contributed code to the following open source projects:

Publications

Alan M. Dunn
Private Environments for Programs
Doctoral dissertation. [PDF]

Yuanzhong Xu, Alan M. Dunn, Owen S. Hofmann, Michael Z. Lee, Syed Akbar Mehdi, Emmett Witchel
Application-Defined Decentralized Access Control
In USENIX ATC, Philadelphia, PA, June 2014. [PDF]

Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel
Anon-Pass: Practical Anonymous Subscriptions
In IEEE Security and Privacy Magazine, June 2014. (Special issue for selected papers from the 2013 IEEE Symposium on Security & Privacy.) [Link]

Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, and Eyal Ofek
Enabling Fine-Grained Permissions for Augmented Reality Applications With Recognizers
In 22nd USENIX Security Symposium, Washington, DC, August 2013. [PDF]

Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel
Anon-Pass: Practical Anonymous Subscriptions
In 34th IEEE Symposium on Security and Privacy (Oakland), San Francisco, CA, May 2013. [PDF] [Full Version - PDF]

Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, Scott Saponas, Margus Veanes, Helen J. Wang
Operating System Support for Augmented Reality Applications
In 14th Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, May 2013. [PDF]

Owen S. Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, Emmett Witchel
InkTag: Secure Applications on an Untrusted Operating System
In 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, TX, March 2013. [PDF]

Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
In 10th USENIX Symposium on Operating System Design and Implementation (OSDI), Hollywood, California, October 2012. [PDF] Slides: [PPTX] [PDF] Presentation: [Video]
Runner-up for 2013 Privacy Enhancing Technology award: [Link]

Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter
Improving Server Applications with System Transactions
In 7th ACM European Conference on Computer Systems (EuroSys), Bern, Switzerland, April 2012. [PDF]

Alan M. Dunn, Owen S. Hofmann, Brent Waters, Emmett Witchel
Cloaking Malware with the Trusted Platform Module
In 20th USENIX Security Symposium, San Francisco, CA, August 2011. [PDF] Slides: [PPTX] [PDF] Presentation: [Video]

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
Ensuring Operating System Kernel Integrity with OSck
In 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, March 2011. [PDF]