Alan M. Dunn

---

Contact information:

• Office: ACES 6th floor, CS 6SEi4C (cubicle near 6.248)
• Email: (username - next to the tilde or "users/" in the URL) at cs dot utexas dot edu

---

I entered UT Austin's computer science PhD program in 2009, which makes me a third 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:

• Virtualization-based security
• Trusted Computing technology, in particular, the TPM

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

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]

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