Anna Eaton

Anna Eaton

PhD Student in Electrical Engineering at Stanford University

Talks and presentations

SimSpect: Automated litmus testing for simulated Spectre defenses

October 08, 2025

Lightning talk and poster, FMCAD, Menlo Park, CA, USA

Presented in the student forum at FMCAD, Formal Methods in Computer-Aided Design, a conference on theory and applications of formal methods in hardware and system verification. I presented SimSpect, my work on formalizing Spectre defense specifications and generating and executing comprehensive litmus test suite from these specifications.

SimSpect: Automated litmus testing for simulated Spectre defenses

September 23, 2025

Lightning talk and poster, Stanford Centaur annual meeting, Stanford, CA, USA

Presented a lightning talk and poster at the Stanford Centaur 2025 conference. Stanford Centaur, or the Center for Automated Reasoning, is a research group focused on automated reasoning theory and algorithms and tools. I presented SimSpect, my work on formalizing Spectre defense specifications and generating and executing comprehensive litmus test suite from these specifications.