Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. - Gianpiero Cabodi; Paolo Camurati; Fabrizio F. Finocchiaro; Danilo Vendraminetto (C2SI, 2019)