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