SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin

Browse the full FM paper archive.