معرفی
John Criswell is an Associate Professor of Computer Science at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Illinois at Urbana-Champaign (UIUC), which he completed prior to joining the faculty in 2014. His primary research focuses on computer security, with a particular emphasis on compiler-based security mechanisms, memory safety, and control-flow integrity. He also explores secure virtual architectures and embedded systems security.
Dr. Criswell’s work integrates compiler transformations, hardware-software co-design, and runtime enforcement to secure commodity software systems. His contributions include innovations in RISC-V architecture security, control-flow protection for embedded systems, and compiler extensions for safer C programming (e.g., Checked C). He has also developed frameworks like InversOS and IskiOS to enhance kernel and hypervisor security.
His research trends reflect a strong focus on mitigating modern threats such as code-reuse attacks, memory corruption vulnerabilities, and side-channel exploits. He frequently collaborates on open-source projects, including FreeBSD kernel refactoring and LLVM-based security tools.
Dr. Criswell’s expertise spans academia and industry, with a commitment to advancing both theoretical and applied security solutions. His work has been published in top-tier conferences and journals, and he regularly contributes to educational resources for security practitioners.
