Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels

Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018) Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
POST 2018.

[img] Text
pub1.bib - Published Version
Download (975B)
Item Type: Article
Depositing User: Hamed Nemati
Date Deposited: 28 Sep 2018 12:18
Last Modified: 28 Sep 2018 12:18
URI: https://publications.cispa.saarland/id/eprint/2661

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.