Never Again: Spectre-Proofing Chip Designs with End-to-End Formal Methods

Presentation by Adam Chlipala at MIT on December 5, 2018 at the RISC-V Summit, at the Santa Clara Convention Center. To view the slides from this session, pl...