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
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.