Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. - Tobias Jauch; Alex Wezel; Mohammad Rahmani Fadiheh; Philipp Schmitz; Sayak Ray; Jason M. Fung; Christopher W. Fletcher; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2023)

Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses. - Philipp Schmitz; Tobias Jauch; Alex Wezel; Mohammad Rahmani Fadiheh; Thore Tiemann; Jonah Heller; Thomas Eisenbarth 001; Dominik Stoffel; Wolfgang Kunz (CoRR, 2023)

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. - Mohammad Rahmani Fadiheh; Alex Wezel; Johannes Müller 006; Jörg Bormann; Sayak Ray; Jason M. Fung; Subhasish Mitra; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Computers, 2023)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. - Anna Lena Duque Antón; Johannes Müller 006; Philipp Schmitz; Tobias Jauch; Alex Wezel; Lucas Deutschmann; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2024)