A security verification template to assess cache architecture vulnerabilities
autor
Ghasempouri, Tara
Raik, Jaan
Paul, Kolin
Reinbrecht, Cezar
Hamdioui, Said
Taouil, M.
allikas
2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22nd – 24th 2020 Novi Sad, Serbia : Proceedings
ilmumiskoht
Danvers
kirjastus/väljaandja
IEEE
ilmumisaasta
2020
leheküljed
art. 9095707, 6 p
konverentsi nimetus, aeg
23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), April 22nd – 24th 2020
konverentsi toimumispaik
Novi Sad, Serbia
leitav
https://doi.org/10.1109/DDECS50862.2020.9095707
märksõna
süsteemide modelleerimine
verifikatsioon
andmetöötlus
andmekaitse
võtmesõna
cache storage
formal verification
security of data
ISBN
978-1-7281-9938-2
märkused
Bibliogr.: 36 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus