Verifying cache architecture vulnerabilities using a formal security verification flow

statement of authorship
Tara Ghasempouri, Jaan Raik, Kolin Paul, Cezar Reinbrecht, Said Hamdioui, Mottaqiallah ‪Taouil‬
publisher
journal volume number month
vol. 119
year of publication
pages
art. 114085
keyword
ISSN
0026-2714
notes
Bibliogr.: 65 ref
scientific publication
teaduspublikatsioon
classifier
1.1
kvartiil
Q2
TTÜ department
language
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