Towards formal verification of cache access-based side-channel attacks
author
Niazmand, Behrad
Reinbrecht, Cezar
Raik, Jaan
Jervan, Gert
Sepulveda, Johanna
statement of authorship
Behrad Niazmand, Cezar Reinbrecht, Jaan Raik, Gert Jervan and Johanna Sepúlveda
source
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, TUZ 2019
location of publication
[S.l.]
year of publication
2019
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
url
http://www.informatik.uni-bremen.de/tuz/2019
subject term
vahemälu
küberturve
notes
Bibliogr.: 10 ref
TalTech department
arvutisüsteemide instituut
language
inglise