Isabelle Files for Verifying Secure Speculation in Isabelle/HOL

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.

Keywords