Formal verification of integrity-preserving countermeasures against cache storage side-channels

DOI10.1007/978-3-319-89722-6_5zbMath1427.68171OpenAlexW2799255120MaRDI QIDQ2324198

Roberto Guanciale, Mads Dam, Christoph Baumann, Hamed Nemati

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89722-6_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Uses Software

• HOL
• seL4
• ARMor
• CertiKOS
• CacheAudit

This page was built for publication: Formal verification of integrity-preserving countermeasures against cache storage side-channels