SynAssert: automated synthesis of CSCA leakage patterns into cost-effective security assertionsAzarpeyvand, Ali Azarpeyvand; Eslami, Mohammad; Jervan, Gert; Raik, Jaan; Ghasempouri, TaraProceedings of 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)2025 / 6 p. : ill https://doi.org/10.1109/ISVLSI65124.2025.11130310 Conference proceedings at Scopus Article at Scopus Article at WOS

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