Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.

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

Browse the full CCS paper archive.