TY  - RPRT
TI  - Validation of Abstract Side-Channel Models for Computer Architectures
AU  - Hamed Nemati
AU  - Pablo Buiras
AU  - Andreas Lindner
AU  - Roberto Guanciale
AU  - Swen Jacobs
PY  - 2020
UR  - https://arxiv.org/abs/2005.05254
ID  - 2005.05254
ER  -