%0 Conference Paper %1 conf/c2si/CabodiCFV19 %A Cabodi, Gianpiero %A Camurati, Paolo %A Finocchiaro, Fabrizio F. %A Vendraminetto, Danilo %B C2SI %D 2019 %E Carlet, Claude %E Guilley, Sylvain %E Nitaj, Abderrahmane %E Souidi, El Mamoun %I Springer %K dblp %P 462-479 %T Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. %U http://dblp.uni-trier.de/db/conf/c2si/c2si2019.html#CabodiCFV19 %V 11445 %@ 978-3-030-16458-4

@inproceedings{conf/c2si/CabodiCFV19, added-at = {2019-12-27T00:00:00.000+0100}, author = {Cabodi, Gianpiero and Camurati, Paolo and Finocchiaro, Fabrizio F. and Vendraminetto, Danilo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/217620f72fd94f65d4eb08a6424feef7c/dblp}, booktitle = {C2SI}, crossref = {conf/c2si/2019}, editor = {Carlet, Claude and Guilley, Sylvain and Nitaj, Abderrahmane and Souidi, El Mamoun}, ee = {https://doi.org/10.1007/978-3-030-16458-4_27}, interhash = {5a252e5ec66b186590914c7e19090c22}, intrahash = {17620f72fd94f65d4eb08a6424feef7c}, isbn = {978-3-030-16458-4}, keywords = {dblp}, pages = {462-479}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:14:24.000+0100}, title = {Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification.}, url = {http://dblp.uni-trier.de/db/conf/c2si/c2si2019.html#CabodiCFV19}, volume = 11445, year = 2019 }