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
märksõna
võtmesõna
ISSN
0026-2714
märkused
Bibliogr.: 65 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
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. https://doi.org/10.1016/j.microrel.2021.114085