TY  - RPRT
TI  - Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
AU  - Zilong Wang
AU  - Gideon Mohr
AU  - Klaus von Gleissenthall
AU  - Jan Reineke
AU  - Marco Guarnieri
PY  - 2023
UR  - https://arxiv.org/abs/2305.06979
ID  - 2305.06979
ER  -