Publications

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


• 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