John Criswell is a research programmer and Ph.D. student at the University of Illinois at Urbana-Champaign. His research interests focus on computer security and automatic compiler transformations that can be used to enforce security policies on commodity software. John's primary research work is on the Secure Virtual Architecture (SVA). SVA enforces memory safety on commodity operating system kernels, making them resistant to buffer overflow and other related attacks. John is also the lead developer of the open-source SAFECode memory safety compiler (which enforces memory safety guarantees on application code).
Prior to joining the University of Illinois, John worked at Argus Systems Group, Inc. While there, John worked on adding mandatory access controls to the AIX operating system and writing utilities to help customers utilize these additional access controls.