Translating Common Security Assertions Across Processor Designs : A RISC-V Case StudyImtiaz, Sharjeel; Reinsalu, Uljana; Ghasempouri, Tara2025 IEEE International Symposium on Circuits and Systems (ISCAS)2025 / 5 p https://doi.org/10.1109/ISCAS56072.2025.11043977