Michael Z. Lee - Computer Science PhD @University of Texas: Austin

url(pics/me.png) no-repeat bottom right

I am a third year, PhD pre-candidate in Computer Science at The University of Texas at Austin. My adviser is Professor Emmett Witchel and I am working as part of the Operating systems and Architecture group and the Laboratory for Advanced Systems Research. I did my undergraduate work at the University of Michigan: Ann Arbor in Computer Science and Mathematics with a minor in Economics.

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.

Anon-Pass: Practical Anonymous Subscriptions

Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel. In the Proceedings of the 34th IEEE Symposium on Security and Privacy (S&P), San Francisco, CA, May 2013.

[conf] [pdf] [full version] [project webpage]
InkTag: Secure Applications on an Untrusted Operating System

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Michael Z. Lee, Emmett Witchel. In the Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, TX, March 2013.

[conf]

FIREAXE: The DHS Secure Design Competition Pilot

Yevgeniy Vorobeychik, Michael Z. Lee, Adam Anderson, Robert Mitchell Adair, William Dee Atkins, Alan Berryhill, Daming Dominic Chen, Ben Cook, Jeremy Erickson, Steve Hurd, Ron Olsberg, Lyndon Pierson, Owen Redwood. In the Proceedings of the 8th Cyber Security and Information Intelligence Research Workshop (CSIIRW8), Oak Ridge, Tennessee, January 2013.

[conf] [pdf] [slides]
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels

Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel. In the Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012), Hollywood, California, October 2012.

[conf] [pdf]
Improving Server Applications with System Transactions

Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter. In the Proceedings of the 7th ACM European Conference on Computer Systems (EuroSys 2012), Bern, Switzerland, April 2012.

[conf] [pdf]

On Nonsingular Regular Magic Squares of Odd Order

Michael Z. Lee, Elizabeth Love, Sivaram K. Narayan, Elizabeth Wascher, Jordan D. Webster. Appeared in Linear Algebra and its Applications. Volume 437, Issue 6, 15 September 2012, Pages 1346-1355.

[link]

2012:

8th Annual Cyber Security and Information Intelligence Research Workshop [link]

CS 391D: The Impact of Privacy-Preservation on Clustering Techniques for Genetic Algorithms

mzlee @ cs . utexas . edu

name:

Anon-Pass: Practical Anonymous Subscriptions

Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel. To appear in the 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

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Michael Z. Lee, Emmett Witchel. To appear in the Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, TX, March 2013.

FIREAXE: The DHS Secure Design Competition Pilot

Yevgeniy Vorobeychik, Michael Z. Lee, Adam Anderson, Robert Mitchell Adair, William Dee Atkins, Alan Berryhill, Daming Dominic Chen, Ben Cook, Jeremy Erickson, Steve Hurd, Ron Olsberg, Lyndon Pierson, Owen Redwood. In the Proceedings of the 8th Cyber Security and Information Intelligence Research Workshop (CSIIRW8), Oak Ridge, Tennessee, January 2013.
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels

Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel. In the Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012), Hollywood, California, October 2012.
On Nonsingular Regular Magic Squares of Odd Order

Michael Z. Lee, Elizabeth Love, Sivaram K. Narayan, Elizabeth Wascher, Jordan D. Webster. Appeared in Linear Algebra and its Applications. Volume 437, Issue 6, 15 September 2012, Pages 1346-1355.
Improving Server Applications with System Transactions

Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter. In the Proceedings of the 7th ACM European Conference on Computer Systems (EuroSys 2012), Bern, Switzerland, April 2012.

TA for CS 315
Algorithms and Data Structures
Professor: Gordan Novak
UT: Austin
August 2010 - December 2010
IA for EECS 281
Data Structures and Algorithms
Professors: David Chesney and Zeeshan Syed
UM: Ann Arbor
January 2010 - April 2010
IA for EECS 281
Data Structures and Algorithms
Professors: H.V. Jagadish and Igor Markov
UM: Ann Arbor
September 2009 - December 2009
IA for EECS 281
Data Structures and Algorithms
Professors: David Chesney and Don Winsor
UM: Ann Arbor
January 2009 - April 2009
Grader for EECS 281
Data Structures and Algorithms
Professor: H.V. Jagadish
UM: Ann Arbor
January 2008 - April 2008

Sandia Corporation
Graduate CCD Intern
Team: 5624
Primary Language: c, c++, Python
May 2012 - August 2012
Qualcomm QCT
Software Engineering Intern
Team: SecureMSM in Core BSP
Primary Language: c
May 2010 - August 2010
Microsoft Windows Live
Software Developer in Test Intern
Team: Windows Live Experience
Primary Language: C#
May 2009 - August 2009
Zattoo Inc.
Software Engineering Intern
Team: Software Services
Primary Language: Python
April 2008 - December 2008