I am an Assistant Professor at UT Austin's Computer Science department. I'm looking for PhD students! Contact me if you're interested in building secure systems, program verification or hardware-based security.
Prospective students: please see the Prospective Students tab