Verifying cache architecture vulnerabilities using a formal security verification flow
autor
vastutusandmed
Tara Ghasempouri, Jaan Raik, Kolin Paul, Cezar Reinbrecht, Said Hamdioui, Mottaqiallah Taouil
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 119
ilmumisaasta
leheküljed
art. 114085
ISSN
0026-2714
märkused
Bibliogr.: 65 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Uurimisrühm
Ghasempouri, T., Raik, J., Paul, K., Reinbrecht, C., Hamdioui, S., Taouil, M. Verifying cache architecture vulnerabilities using a formal security verification flow // Microelectronics reliability (2021) vol. 119, art. 114085.