Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala. IODINE: Verifying Constant-Time Execution of Hardware. In Nadia Heninger, Patrick Traynor, editors, 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. pages 1411-1428, USENIX Association, 2019. [doi]
@inproceedings{GleissenthallKS19,
title = {IODINE: Verifying Constant-Time Execution of Hardware},
author = {Klaus von Gleissenthall and Rami Gökhan Kici and Deian Stefan and Ranjit Jhala},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/von-gleissenthall},
researchr = {https://researchr.org/publication/GleissenthallKS19},
cites = {0},
citedby = {0},
pages = {1411-1428},
booktitle = {28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019},
editor = {Nadia Heninger and Patrick Traynor},
publisher = {USENIX Association},
}