John Criswell
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Radiation Effects in Electronics
Most-Cited Works
- → A Predictable Execution Model for COTS-Based Embedded Systems(2011)247 cited
- → KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels(2014)178 cited
- → Secure virtual architecture(2007)156 cited
- → Nested Kernel(2015)118 cited
- → Virtual ghost(2014)108 cited
- → Using likely invariants for automated software fault localization(2013)98 cited
- Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries(2019)
- → An empirical study of reported bugs in server software with implications for automated bug diagnosis(2010)71 cited
- Memory safety for low-level software/hardware interactions(2009)
- Shielding Software From Privileged Side-Channel Attacks(2018)