Conference

Poster

  • Jordan Moore, Emilie Taylor, Ramesh Balaji, Matt Revelle, Kevin Orr. “Investigating the Benefits of Composable Emulation: Styx Emulator as a Case Study”, USENIX Security, August 2025.

  • Jasmine Vang and Matthew Revelle. “Formalizing Cognitive Biases for Cybersecurity Defenses”, ACM Conference on Computer and Communications Security (CCS), December 2024.

Workshop

  • Ramesh Balaji, Meera Sridhar, Matthew Revelle. “Formalizing Discovery of Weird States and Weird Machine Primitives Using Program Semantics”, Workshop on Programming Languages and Analysis for Security (PLAS), October 2024.