John Criswell - RankMe

46 papers A* 12A 4B 3C 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications. CoRR H. Alan Beadle, Michael L. Scott, John Criswell
2024	—	`conf`	DeTRAP: RISC-V Return Address Protection With Debug Triggers. SecDev Isaac Richter, Jie Zhou, John Criswell
2024	J	`jnl`	DeTRAP: RISC-V Return Address Protection With Debug Triggers. CoRR Isaac Richter, Jie Zhou, John Criswell
2023	J	`jnl`	Fat Pointers for Temporal Memory Safety of C. Proc. ACM Program. Lang. Jie Zhou, John Criswell, Michael Hicks
2023	J	`jnl`	InversOS: Efficient Control-Flow Protection for AArch64 Applications with Privilege Inversion. CoRR Zhuojia Shen, John Criswell
2023	A*	`conf`	Jinn: Hijacking Safe Programs with Trojans. USENIX Security Symposium Komail Dharsee, John Criswell
2022	J	`jnl`	Fat Pointers for Temporal Memory Safety of C. CoRR Jie Zhou, John Criswell, Michael Hicks
2022	—	`conf`	Hardening Hypervisors with Ombro. USENIX ATC Ethan Johnson, Colin Pronovost, John Criswell
2022	A*	`conf`	Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage. USENIX Security Symposium Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, John Criswell
2022	A	`conf`	Randezvous: Making Randomization Effective on MCUs. ACSAC Zhuojia Shen, Komail Dharsee, John Criswell
2022	—	`conf`	Tutorial: LLVM for Security Practitioners. SecDev John Criswell, Ethan Johnson, Colin Pronovost
2022	B	`ed.`	VEE '22: 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Virtual Event, Switzerland, 1 March 2022 VEE John Criswell, Dan John Williams, Yubin Xia
2021	A	`conf`	Fast Intra-kernel Isolation and Security with IskiOS. RAID Spyridoula Gravani, Mohammad Hedayati, John Criswell, Michael L. Scott
2021	—	`conf`	Tutorial: LLVM for Security Practitioners. SecDev John Criswell, Ethan Johnson, Colin Pronovost
2021	—	`conf`	Tutorial: Making C Programs Safer with Checked C. SecDev Jie Zhou, Michael Hicks, Yudi Yang, John Criswell
2020	—	`conf`	Fast Execute-Only Memory for Embedded Systems. SecDev Zhuojia Shen, Komail Dharsee, John Criswell
2020	J	`jnl`	Fast Execute-Only Memory for Embedded Systems. CoRR Zhuojia Shen, John Criswell
2020	—	`conf`	Refactoring the FreeBSD Kernel with Checked C. SecDev Junhan Duan, Yudi Yang, Jie Zhou, John Criswell
2020	A*	`conf`	Silhouette: Efficient Protected Shadow Stacks for Embedded Systems. USENIX Security Symposium Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, Robert J. Walls
2020	—	`conf`	Tutorial: LLVM for Security Practitioners. SecDev John Criswell
2019	A*	`conf`	Beating OPT with Statistical Clairvoyance and Variable Size Caching. ASPLOS Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, John Criswell
2019	B	`conf`	Codestitcher: inter-procedural basic block layout optimization. CC Rahman Lavaee, John Criswell, Chen Ding
2019	—	`conf`	Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. USENIX ATC Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, Mike Marty
2019	J	`jnl`	IskiOS: Lightweight Defense Against Kernel-Level Code-Reuse Attacks. CoRR Spyridoula Gravani, Mohammad Hedayati, John Criswell, Michael L. Scott
2019	A	`conf`	PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use. DSN John Criswell, Jie Zhou, Spyridoula Gravani, Xiaoyu Hu
2019	J	`jnl`	Restricting Control Flow During Speculative Execution with Venkman. CoRR Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
2019	B	`conf`	Secure guest virtual machine support in apparition. VEE Ethan Johnson, Komail Dharsee, John Criswell
2019	J	`jnl`	Silhouette: Efficient Intra-Address Space Isolation for Protected Shadow Stacks on Embedded Systems. CoRR Jie Zhou, Yufei Du, Lele Ma, Zhuojia Shen, John Criswell, Robert J. Walls
2018	J	`jnl`	Codestitcher: Inter-Procedural Basic Block Layout Optimization. CoRR Rahman Lavaee, John Criswell, Chen Ding
2018	A*	`conf`	Restricting Control Flow During Speculative Execution. CCS Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
2018	A*	`conf`	Shielding Software From Privileged Side-Channel Attacks. USENIX Security Symposium Xiaowan Dong, Zhuojia Shen, John Criswell, Alan L. Cox, Sandhya Dwarkadas
2018	—	`conf`	Spectres, virtual ghosts, and hardware support. HASP@ISCA Xiaowan Dong, Zhuojia Shen, John Criswell, Alan L. Cox, Sandhya Dwarkadas
2018	—	`conf`	Transforming Code to Drop Dead Privileges. SecDev Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, John Criswell
2017	—	`conf`	A Software Solution for Hardware Vulnerabilities. SecDev Komail Dharsee, Ethan Johnson, John Criswell
2017	C	`conf`	Flexible and efficient memory object metadata. ISMM Zhengyang Liu, John Criswell
2017	—	`ed.`	Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers LCPC Chen Ding, John Criswell, Peng Wu
2015	A*	`conf`	Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. ASPLOS Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve
2014	A*	`conf`	KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels. IEEE Symposium on Security and Privacy John Criswell, Nathan Dautenhahn, Vikram S. Adve
2014	—	`—`	Secure virtual architecture: security for commodity software systems John Criswell
2014	A*	`conf`	Virtual ghost: protecting applications from hostile operating systems. ASPLOS John Criswell, Nathan Dautenhahn, Vikram S. Adve
2013	A*	`conf`	Using likely invariants for automated software fault localization. ASPLOS Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve
2012	—	`conf`	Baggy Bounds with Accurate Checking. ISSRE Workshops Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, John Criswell
2011	A	`conf`	A Predictable Execution Model for COTS-Based Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley
2010	—	`conf`	An empirical study of reported bugs in server software with implications for automated bug diagnosis. ICSE (1) Swarup Kumar Sahoo, John Criswell, Vikram S. Adve
2009	A*	`conf`	Memory Safety for Low-Level Software/Hardware Interactions. USENIX Security Symposium John Criswell, Nicolas Geoffray, Vikram S. Adve
2007	A*	`conf`	Secure virtual architecture: a safe execution environment for commodity operating systems. SOSP John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve