Verifying Secure Speculation in Isabelle/HOL.

Matt Griffin, Brijesh Dongol

Browse the full FM paper archive.