prindi

Towards formal verification of cache access-based side-channel attacks

autor
Niazmand, Behrad
Reinbrecht, Cezar
Raik, Jaan
Jervan, Gert
Sepulveda, Johanna
vastutusandmed
Behrad Niazmand, Cezar Reinbrecht, Jaan Raik, Gert Jervan and Johanna Sepúlveda
allikas
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, TUZ 2019
ilmumiskoht
[S.l.]
ilmumisaasta
2019
leheküljed
2 p. : tab
konverentsi nimetus, aeg
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2019), 24-26 Feb. 2019
konverentsi toimumispaik
Prien am Chiemsee, Germany
leitav
http://www.informatik.uni-bremen.de/tuz/2019
märksõna
vahemälu
küberturve
märkused
Bibliogr.: 10 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
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