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

vastutusandmed
Behrad Niazmand, Cezar Reinbrecht, Jaan Raik, Gert Jervan and Johanna Sepúlveda
ilmumiskoht
[S.l.]
ilmumisaasta
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
märksõna
märkused
Bibliogr.: 10 ref
TTÜ struktuuriüksus
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