Processor vulnerability detection with the aid of assertions : RISC-V case study

vastutusandmed
Mohammad Reza Heidari Iman, Sallar Ahmadi-Pour, Rolf Drechsler, Tara Ghasempouri
allikas
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-8 : ill
vormimärksõna
võtmesõna
Automatic Security Verification
RISC-V Security Verification
Security Assertion Mining
märkused
Bibliogr.: 36 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
keel
inglise
Heidari Iman, M.R., Ahmadi-Pour, S., Drechsler, R., Ghasempouri, T. Processor vulnerability detection with the aid of assertions : RISC-V case study // techrxiv.org (2024), p. 1-8 : ill. https://doi.org/10.36227/techrxiv.172101134.45466090/v1