Design and verification of secure cache wrapper against access-driven side-channel attacks
author
Niazmand, Behrad
Azad, Siavoosh Payandeh
Jervan, Gert
Sepulveda, Johanna
statement of authorship
Behrad Niazmand, Siavoosh Payandeh Azad, Gert Jervan, Johanna Sepúlveda
source
Euromicro Conference on Digital System Design : DSD 2019 : 28 - 30 August 2019 Kallithea, Chalkidiki, Greece : proceedings
location of publication
Danvers
publisher
IEEE
year of publication
2019
pages
p. 672-676 : ill
conference name, date
28 - 30 August 2019 Kallithea, Chalkidiki, Greece
url
https://doi.org/10.1109/DSD.2019.00108
subject term
küberturve
vahemälu
keyword
cache
side-channel attack
formal verification
security
secure wrapper
ISBN
978-1-7281-2862-7
978-1-7281-2861-0
notes
Bibliogr.: 26 ref
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre of dependable computing systems