Benutzer: Gast  Login
Titel:

Towards Formal Verification of Cache Access-based Side-Channel Attacks

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Niazmand, Behrad and Reinbrecht, Cezar and Raik, Jaan and Jervan, Gert and Sepulveda, Johanna
Abstract:
Cache access-based side-channel attacks utilize the timing difference between cache hits and misses as a leakage source to jeopardize system security. Although previous works address such threat, finding secure and efficient solutions to verify the security is still a challenge. In this paper, we propose a method that allows the formal verification of the security properties of cache. In the experiments, we show our technique to formally verify the security of four cache configurations, by cha...     »
Dewey-Dezimalklassifikation:
620 Ingenieurwissenschaften
Kongress- / Buchtitel:
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, TUZ 2019
Kongress / Zusatzinformationen:
Chiemsee, Germany
Jahr:
2019
Quartal:
1. Quartal
Jahr / Monat:
2019-02
Monat:
Feb
WWW:
http://www.informatik.uni-bremen.de/tuz/2019
 BibTeX