Alan M. Dunn

Contact information:

I entered UT Austin's computer science PhD program in 2009, which makes me a fourth year student.

I work 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. Recent project subjects include:

I previously 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.

Publications

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
To appear in 22nd USENIX Security Symposium, Washington, DC, August 2013.

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]