Verifying cache architecture vulnerabilities using a formal security verification flow
author
Ghasempouri, Tara
Raik, Jaan
Paul, Kolin
Reinbrecht, Cezar
Hamdioui, Said
Taouil, Mottaqiallah
statement of authorship
Tara Ghasempouri, Jaan Raik, Kolin Paul, Cezar Reinbrecht, Said Hamdioui, Mottaqiallah Taouil
source
Microelectronics reliability
publisher
Elsevier
journal volume number month
vol. 119
year of publication
2021
pages
art. 114085
url
https://doi.org/10.1016/j.microrel.2021.114085
subject term
turvaelemendid
rünnakud
informaatika
keyword
side-channel attacks
security verification
cache attacks
cache security
formal verification
ISSN
0026-2714
notes
Bibliogr.: 65 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Engineering
en
Tehnika
et
Physics and astronomy
en
Füüsika ja astronoomia
et
Materials science
en
Materjaliteadus
et
category (sub)
Engineering. Safety, risk, reliability and quality
en
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
et
Engineering. Electrical and electronic engineering
en
Tehnika. Elektri- ja elektroonikatehnika
et
Physics and astronomy. Condensed matter physics
en
Füüsika ja astronoomia. Kondenseeritud aine füüsika
et
Materials science. Surfaces, coatings and films
en
Materjaliteadus. Pinnad, kattted ja kiled
et
Physics and astronomy. Atomic and molecular physics, and optics
en
Füüsika ja astronoomia. Aatomi- ja molekulaarfüüsika ning optika
et
Materials science. Electronic, optical and magnetic materials
en
Materjaliteadus. Elektroonilised, optilised ja magnetilised materjalid
et
kvartiil
Q2
TTÜ department
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre of dependable computing systems