Publications

• DeTRAP: RISC-V Return Address Protection With Debug Triggers (arXiv)
  Isaac Richter, Jie Zhou, and John Criswell
  Proceedings of the IEEE Secure Development Conference (SecDev 2024), Pittsburgh, PA, October 2024.
  


• Fat Pointers for Temporal Memory Safety of C
  Jie Zhou, John Criswell, and Michael Hicks
  Proceedings of the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications (OOPSLA 2023), Cascais, Spain, October 2023.


• Jinn: Hijacking Safe Programs with Trojans
  Komail Dharsee and John Criswell
  Proceedings of the Thirty-second Usenix Security Symposium (Usenix Security 2023), Anaheim, CA, August 2023.


• Randezvous: Making Randomization Effective on MCUs
  Zhuojia Shen, Komail Dharsee, and John Criswell
  Proceedings of the Annual Computer Security Applications Conference (ACSAC 2022), Austin, TX, December 2022.


• Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage
  Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, and John Criswell
  Proceedings of the Thirty-first Usenix Security Symposium (Usenix Security 2022), Boston, MA, August 2022.


• Hardening Hypervisors with Ombro
  Ethan Johnson, Colin Pronovost, and John Criswell
  USENIX Annual Technical Conference (Usenix ATC 2022), Carlsbad, CA, July 2022.


• Fast Intra-kernel Isolation and Security with IskiOS (arXiv)
  Spyridoula Gravani, Mohammad Hedayati, John Criswell and Michael L. Scott
  Proceedings of the 24th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2021), Donostia / San Sebastian, Spain, October 2021.


• Refactoring the FreeBSD Kernel with Checked C
  Junhan Duan, Yudi Yang, Jie Zhou, and John Criswell
  Proceedings of the IEEE Secure Development Conference, Atlanta, GA, September 2020.


• Fast Execute-Only Memory for Embedded Systems
  Zhuojia Shen, Komail Dharsee, and John Criswell
  Proceedings of the IEEE Secure Development Conference, Atlanta, GA, September 2020.


• Silhouette: Efficient Protected Shadow Stacks for Embedded Systems
  Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, and Robert J. Walls
  Usenix Security Symposium, Boston, MA, August 2020.


• Fast Execute-Only Memory for Embedded Systems
  Zhuojia Shen and John Criswell
  arXiv, May 2020.


• Silhouette: Efficient Intra-Address Space Isolation for Protected Shadow Stacks on Embedded Systems
  Jie Zhou, Yufei Du, Lele Ma, Zhuojia Shen, John Criswell, and Robert J. Walls
  arXiv, October 2019.


• Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries
  Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, and Mike Marty
  USENIX Annual Technical Conference (Usenix ATC 2019), July 2019.


• PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use
  John Criswell, Jie Zhou, Spyridoula Gravani, and Xiaoyu Hu
  The Forty-Ninth IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019), June 2019.


• Restricting Control Flow During Speculative Execution with Venkman
  Zhuojia Shen, Jie Zhou, Divya Ojha, and John Criswell
  arXiv, March 2019.


• IskiOS: Lightweight Defense Against Kernel-Level Code-Reuse Attacks
  Spyridoula Gravani, Mohammad Hedayati, John Criswell, and Michael L. Scott
  arXiv, March 2019.


• Beating OPT with Statistical Clairvoyance and Variable Size Caching
  Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, and John Criswell
  Proceedings of the Twenty Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Providence, RI, April 2019.


• Secure Guest Virtual Machine Support in Apparition
  Ethan Johnson, Komail Dharsee, and John Criswell
  Proceedings of the Fifteenth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Providence, RI, April 2019.


• Codestitcher: Inter-Procedural Basic Block Layout Optimization
  Rahman Lavaee, John Criswell, and Chen Ding
  Proceedings of Twenty-Eighth International Conference on Compiler Construction (CC 19), Washington D.C., February 2019.


• Janus: Intra-Process Isolation for High-Throughput Data Plane Libraries
  Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, and Mike Marty
  Technical Report UR CSD/TR 1004, October 2018.


• Transforming Code to Drop Dead Privileges
  Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, and John Criswell
  Proceedings of the IEEE Secure Development Conference, Boston, MA, September 2018.


• Shielding Software from Privileged Side-Channel Attacks
  Xiaowan Dong, Zhuojia Shen, John Criswell, Alan L. Cox, and Sandhya Dwarkadas
  Usenix Security Symposium, Baltimore, MD, August 2018.


• Spectres, Virtual Ghosts, and Hardware Support
  Xiaowan Dong, Zhuojia Shen, John Criswell, Alan Cox, and Sandhya Dwarkadas
  Hardware and Architectural Support for Security and Privacy (HASP), Los Angeles, CA, June 2018.


• A Software Solution for Hardware Vulnerabilities
  Komail Dharsee, Ethan Johnson, and John Criswell
  Proceedings of the IEEE Secure Development Conference, Boston, MA, September 2017.


• Hardware Vulnerability and Mitigation Survey
  Komail Dharsee, Ethan Johnson, and John Criswell
  Technical Report UR CSD/TR 1000, August 2017.


• Flexible and Efficient Memory Object Metadata
  Zhengyang Liu and John Criswell
  Proceedings of the International Symposium on Memory Management, Barcelona, Spain, June 2017.


• Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
  Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, and Vikram Adve
  Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, March 2015.


• Secure Virtual Architecture: Security for Commodity Software Systems
  John Criswell
  Ph.D. Dissertation, September 2014.


• KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
  John Criswell, Nathan Dautenhahn, and Vikram Adve
  Proceedings of the Thirty-Fifth IEEE Symposium on Security and Privacy (Oakland 2014), San Jose, CA, May 2014.


• Virtual Ghost: Protecting Applications from Hostile Operating Systems
  John Criswell, Nathan Dautenhahn, and Vikram Adve
  Proceedings of the Nineteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, March 2014.


• Using Likely Invariants for Automated Software Fault Localization
  Swarup Kumar Sahoo, John Criswell, Chase Geigle, and Vikram Adve
  Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Houston, TX, March 2013.


• Baggy Bounds with Accurate Checking
  Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, and John Criswell
  Third IEEE International Workshop on Program Debugging , Dallas, TX, November 2012.


• A Predictable Execution Model for COTS-Based Embedded Systems
  Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, and Russell Kegley
  Proceedings of the Seventeenth IEEE Real-Time and Embedded Technology and Applications Symposium, Chicago, IL, April 2011.


• An Empirical Study of Reported Bugs in Server Software with Implications for Automated Bug Diagnosis
  Swarup Kumar Sahoo, John Criswell, and Vikram Adve
  Proceedings of the Thirty-Second ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, May 2010.


• Memory Safety for Low-Level Software/Hardware Interactions
  John Criswell, Nicolas Geoffray, and Vikram Adve
  Proceedings of the Eighteenth USENIX Security Symposium, Montreal, Canada, August 2009.


• Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems
  John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve
  Proceedings of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, WA, October 2007.
  Received an SOSP 2007 Audience Choice Award.


• A Virtual Instruction Set Interface for Operating System Kernels
  John Criswell, Brent Monroe, and Vikram Adve.
  Workshop on the Interaction between Operating Systems and Computer Architecture (WIOSCA '06), Boston, Massachusetts, 2006.
  

Menu