TY  - RPRT
TI  - Iodine: Verifying Constant-Time Execution of Hardware
AU  - Klaus v. Gleissenthall
AU  - Rami Gökhan Kıcı
AU  - Deian Stefan
AU  - Ranjit Jhala
PY  - 2019
UR  - https://arxiv.org/abs/1910.03111
ID  - 1910.03111
ER  -