Design and verification of secure cache wrapper against access-driven side-channel attacks
autor
Niazmand, Behrad
Azad, Siavoosh Payandeh
Jervan, Gert
Sepulveda, Johanna
vastutusandmed
Behrad Niazmand, Siavoosh Payandeh Azad, Gert Jervan, Johanna Sepúlveda
allikas
Euromicro Conference on Digital System Design : DSD 2019 : 28 - 30 August 2019 Kallithea, Chalkidiki, Greece : proceedings
ilmumiskoht
Danvers
kirjastus/väljaandja
IEEE
ilmumisaasta
2019
leheküljed
p. 672-676 : ill
konverentsi nimetus, aeg
28 - 30 August 2019 Kallithea, Chalkidiki, Greece
leitav
https://doi.org/10.1109/DSD.2019.00108
märksõna
küberturve
vahemälu
võtmesõna
cache
side-channel attack
formal verification
security
secure wrapper
ISBN
978-1-7281-2862-7
978-1-7281-2861-0
märkused
Bibliogr.: 26 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus