Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study

@inproceedings{pub15364,
    author = {

Iman, Mohammad Reza Heidari
 and 

Ahmadi-Pour, Sallar
 and 

Drechsler, Rolf
 and 

Ghasempouri, Tara
},
    title = {Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study},
    booktitle = {IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2024), October 29-30, Lund, Sweden},
    year = {2024}
}