• Special session paper: Application of functional verification techniques in hardware trustHeidari Iman, Mohammad Reza; Drechsler, Rolf; Jha, Chandan Kumar; Azarpeyvand, Ali; Ghasempouri, Tara; Imtiaz, Sharjeel; Raik, Jaan; Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano; Di Natale, Giorgio2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)2025 / 8 p. : ill https://ieeexplore.ieee.org/document/11257462 https://doi.org/10.1109/DFT66274.2025.11257462 https://www.scopus.com/sourceid/21101123252 https://www.scopus.com/pages/publications/105029688511?origin=resultslist
• 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