- Feature Paper
- Article
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
- Gianpiero Cabodi,
- Paolo Camurati,
- Fabrizio Finocchiaro and
- Danilo Vendraminetto
Spectre and Meltdown attacks in modern microprocessors represent a new class of attacks that have been difficult to deal with. They underline vulnerabilities in hardware design that have been going unnoticed for years. This shows the weakness of the...