Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts | Publicación