Towards formal verification of cache access-based side-channel attacks
statement of authorship
Behrad Niazmand, Cezar Reinbrecht, Jaan Raik, Gert Jervan and Johanna Sepúlveda
location of publication
[S.l.]
year of publication
pages
2 p. : tab
conference name, date
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2019), 24-26 Feb. 2019
conference location
Prien am Chiemsee, Germany
notes
Bibliogr.: 10 ref
TTÜ department
language
inglise
subject term
Niazmand, B., Reinbrecht, C., Raik, J., Jervan, G., Sepúlveda, J. Towards formal verification of cache access-based side-channel attacks // Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, TUZ 2019. [S.l.], 2019. 2 p. : tab.