• Processor vulnerability detection with the aid of assertions : RISC-V case studyHeidari Iman, Mohammad Reza; Ahmadi-Pour, Sallar; Drechsler, Rolf; Ghasempouri, Tara2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings2024 / 7 p. https:/doi.org/10.1109/NorCAS64408.2024.10752460 https://www.scopus.com/pages/publications/85211947713?origin=resultslist https://www.webofscience.com/wos/woscc/full-record/WOS:001444043400023