Isabelle Files for Verifying Secure Speculation in Isabelle/HOL
Download all (5.24 MB) This item is shared privately
software
modified on 2021-10-25, 01:02 Isabelle files for FM 2021 paper "Verifying Secure Speculation in Isabelle/HOL" by Matt Griffin and Brijesh Dongol.
