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
https://www.scopus.com/sourceid/26717
https://www.scopus.com/record/display.uri?eid=2-s2.0-85102872009&origin=inward&txGid=bbbec1675d4df7951ad6c8a70f214a97
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROELECTRON%20RELIAB&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000637756900007
category (general)
Engineering
Tehnika
Physics and astronomy
Füüsika ja astronoomia
Materials science
Materjaliteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Engineering. Electrical and electronic engineering
Tehnika. Elektri- ja elektroonikatehnika
Physics and astronomy. Condensed matter physics
Füüsika ja astronoomia. Kondenseeritud aine füüsika
Materials science. Surfaces, coatings and films
Materjaliteadus. Pinnad, katted ja kiled
Physics and astronomy. Atomic and molecular physics, and optics
Füüsika ja astronoomia. Aatomi- ja molekulaarfüüsika ning optika
Materials science. Electronic, optical and magnetic materials
Materjaliteadus. Elektroonilised, optilised ja magnetilised materjalid
quartile
Q2
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre of dependable computing systems