Verifying cache architecture vulnerabilities using a formal security verification flow

vastutusandmed
Tara Ghasempouri, Jaan Raik, Kolin Paul, Cezar Reinbrecht, Said Hamdioui, Mottaqiallah ‪Taouil‬
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 119
ilmumisaasta
leheküljed
art. 114085
võtmesõna
ISSN
0026-2714
märkused
Bibliogr.: 65 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
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