SimSpect: Automated litmus testing for simulated Spectre defenses
Date:
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.