- Honorable Mention for the 2014 ACM Doctoral Dissertation Award
- Honorable Mention for the 2014 ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award
- 2015 David J. Kuck Outstanding Ph.D. Thesis Award
Research Experience
- Primary research work on Secure Virtual Architecture (SVA), which enforces security policies on commodity operating system kernels.
- Developed Virtual Ghost to protect applications from a compromised operating system kernel.
- Lead developer of the open-source SAFECode memory safety compiler, enforcing memory safety guarantees on application code.
- Contributed to the open-source LLVM Compiler Infrastructure.
- Worked for FireEye and Argus Systems Group (now owned by General Dynamics).
Education
Ph.D., Department of Computer Science, University of Illinois at Urbana-Champaign
Background
His research interests focus on computer security and automatic compiler transformations that can be used to enforce security policies on commodity software. Prior to joining the University of Rochester, John was a research programmer and Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana-Champaign.
Miscellany
Looking for graduate students interested in doing research in computer security, compilers, and/or operating systems. Can also offer independent study to graduate and undergraduate students. Especially interested in work on metrics for measuring security, automatic protections against attacks (using either compiler instrumentation or operating system techniques), and operating system enhancements that reduce a system's attack surface.