Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
Tags
Conference / Medium
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greec