@inproceedings{gleissenthall:2019:iodine,
  author    = {Klaus von Gleissenthall and Rami G\"{o}khan K\i{c}\i and Deian Stefan and Ranjit Jhala},
  title     = {{IODINE}: Verifying Constant-Time Execution of Hardware},
  booktitle = {USENIX Security Symposium},
  month     = {August},
  year      = {2019},
  publisher = {USENIX}
}