John Criswell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
14
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ACSAC | Randezvous: Making Randomization Effective on MCUs. | Zhuojia Shen, Komail Dharsee, John Criswell |
| 2022 | USENIX | Hardening Hypervisors with Ombro. | Ethan Johnson, Colin Pronovost, John Criswell |
| 2021 | RAID | Fast Intra-kernel Isolation and Security with IskiOS. | Spyridoula Gravani, Mohammad Hedayati, John Criswell, Michael L. Scott |
| 2019 | ASPLOS | Beating OPT with Statistical Clairvoyance and Variable Size Caching. | Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, John Criswell |
| 2019 | CC | Codestitcher: inter-procedural basic block layout optimization. | Rahman Lavaee, John Criswell, Chen Ding |
| 2019 | DSN | PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use. | John Criswell, Jie Zhou, Spyridoula Gravani, Xiaoyu Hu |
| 2019 | USENIX | Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. | Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, Mike Marty |
| 2019 | VEE | Secure guest virtual machine support in apparition. | Ethan Johnson, Komail Dharsee, John Criswell |
| 2018 | CCS | Restricting Control Flow During Speculative Execution. | Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell |
| 2018 | ISCA | Spectres, virtual ghosts, and hardware support. | Xiaowan Dong, Zhuojia Shen, John Criswell, Alan L. Cox, Sandhya Dwarkadas |
| 2015 | ASPLOS | Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. | Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve |
| 2014 | ASPLOS | Virtual ghost: protecting applications from hostile operating systems. | John Criswell, Nathan Dautenhahn, Vikram S. Adve |
| 2014 | SP | KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels. | John Criswell, Nathan Dautenhahn, Vikram S. Adve |
| 2013 | ASPLOS | Using likely invariants for automated software fault localization. | Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve |
| 2012 | ISSRE | Baggy Bounds with Accurate Checking. | Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, John Criswell |
| 2011 | RTAS | A Predictable Execution Model for COTS-Based Embedded Systems. | Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley |
| 2010 | ICSE | An empirical study of reported bugs in server software with implications for automated bug diagnosis. | Swarup Kumar Sahoo, John Criswell, Vikram S. Adve |
| 2007 | SOSP | Secure virtual architecture: a safe execution environment for commodity operating systems. | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |