My main research focus is in operating systems and security
with a concentration in how virtualization can help enable
novel security properties.
I am also interested in cryptography and implementing new
cryptographic tools in a practical setting.
See more details about past
projects I've worked on.
Computer Science Publications
Anon-Pass: Practical Anonymous Subscriptions
Proceedings of the 34th IEEE Symposium on Security and Privacy (S&P), San Francisco, CA, May 2013.
InkTag: Secure Applications on an Untrusted Operating System
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, TX, March 2013.
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012), Hollywood, California, October 2012.
Improving Server Applications with System Transactions
Proceedings of the 7th ACM European Conference on Computer Systems (EuroSys 2012), Bern, Switzerland, April 2012.
FIREAXE: The DHS Secure Design Competition Pilot
Proceedings of the 8th Cyber Security and Information Intelligence Research Workshop (CSIIRW8), Oak Ridge, Tennessee, January 2013.
On Nonsingular Regular Magic Squares of Odd Order
Linear Algebra and its Applications.
Volume 437, Issue 6, 15 September 2012, Pages 1346-1355.
8th Annual Cyber Security and Information Intelligence Research Workshop