Formal Verification of Security Properties on RISC-V Processors. - Czea Sie Chuah; Christian Appold; Tim Leinmüller (MEMOCODE, 2023)

Trojan Assets and Attack Vectors in Processors. - Czea Sie Chuah; Alexander Hepp; Christian Appold; Tim Leinmüller (ISQED, 2024)