Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri

Browse the full CCS paper archive.