print

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
TTÜ department
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre of dependable computing systems
Niazmand, B., Azad, S. P., Jervan, G., Sepúlveda, J. Design and verification of secure cache wrapper against access-driven side-channel attacks // Euromicro Conference on Digital System Design : DSD 2019 : 28 - 30 August 2019 Kallithea, Chalkidiki, Greece : proceedings. Danvers : IEEE, 2019. p. 672-676 : ill. https://doi.org/10.1109/DSD.2019.00108