Gianpiero Cabodi, Paolo Camurati, Fabrizio F. Finocchiaro, Danilo Vendraminetto. Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. In Claude Carlet, Sylvain Guilley, Abderrahmane Nitaj, El Mamoun Souidi, editors, Codes, Cryptology and Information Security - Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - In Honor of Said El Hajji. Volume 11445 of Lecture Notes in Computer Science, pages 462-479, Springer, 2019. [doi]
Abstract is missing.