A security verification template to assess cache architecture vulnerabilities
author
Ghasempouri, Tara
Raik, Jaan
Paul, Kolin
Reinbrecht, Cezar
Hamdioui, Said
Taouil, M.
source
2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22nd – 24th 2020 Novi Sad, Serbia : Proceedings
location of publication
Danvers
publisher
IEEE
year of publication
2020
pages
art. 9095707, 6 p
conference name, date
23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), April 22nd – 24th 2020
conference location
Novi Sad, Serbia
url
https://doi.org/10.1109/DDECS50862.2020.9095707
subject term
süsteemide modelleerimine
verifikatsioon
andmetöötlus
andmekaitse
keyword
cache storage
formal verification
security of data
ISBN
978-1-7281-9938-2
notes
Bibliogr.: 36 ref
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre of dependable computing systems