Verifying cache architecture vulnerabilities using a formal security verification flow
autor
Ghasempouri, Tara
Raik, Jaan
Paul, Kolin
Reinbrecht, Cezar
Hamdioui, Said
Taouil, Mottaqiallah
vastutusandmed
Tara Ghasempouri, Jaan Raik, Kolin Paul, Cezar Reinbrecht, Said Hamdioui, Mottaqiallah Taouil
allikas
Microelectronics reliability
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 119
ilmumisaasta
2021
leheküljed
art. 114085
leitav
https://doi.org/10.1016/j.microrel.2021.114085
märksõna
turvaelemendid
rünnakud
informaatika
võtmesõna
side-channel attacks
security verification
cache attacks
cache security
formal verification
ISSN
0026-2714
märkused
Bibliogr.: 65 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Engineering
Tehnika
Physics and astronomy
Füüsika ja astronoomia
Materials science
Materjaliteadus
kategooria (alam)
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
kvartiil
Q2
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus