Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. - Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CCS, 2023)

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. - Gideon Mohr; Marco Guarnieri; Jan Reineke 001 (DATE, 2024)