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
subject term
notes
Bibliogr.: 10 ref
TTÜ department
language
inglise
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. http://www.informatik.uni-bremen.de/tuz/2019