Processor vulnerability detection with the aid of assertions : RISC-V case study
autor
Heidari Iman, Mohammad Reza
Ahmadi-Pour, Sallar
Drechsler, Rolf
Ghasempouri, Tara
vastutusandmed
Mohammad Reza Heidari Iman, Sallar Ahmadi-Pour, Rolf Drechsler, Tara Ghasempouri
allikas
2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings
ilmumiskoht
Piscataway, NJ
kirjastus/väljaandja
IEEE
ilmumisaasta
2024
leheküljed
7 p.
konverentsi nimetus, aeg
2024 IEEE Nordic Circuits and Systems Conference (NORCAS), 29-30 October, 2024
konverentsi toimumispaik
Lund, Sweden
leitav
https:/doi.org/10.1109/NorCAS64408.2024.10752460
märksõna
andmekaeve
verifikatsioon
protsessorid
riistvara
Scopus
https://www.scopus.com/pages/publications/85211947713?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001444043400023
võtmesõna
Automatic Security Verification
data mining
RISC-V processors
RISC-V security verification
security assertion mining
ISBN
979-833151766-3
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise