Conference

Poster

  • Jasmine Vang and Matthew Revelle. Formalizing Cognitive Biases for Cybersecurity Defenses, ACM Conference on Computer and Communications Security (CCS), October 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.