@inproceedings{gleissenthall:2021:xenon,
  author    = {Klaus von Gleissenthall and Rami G\"{o}khan K\i{c}\i and Deian Stefan and Ranjit Jhala},
  title     = {Solver-Aided Constant-Time Hardware Verification},
  booktitle = {Conference on Computer and Communications Security (CCS)},
  month     = {October},
  year      = {2021},
  publisher = {ACM}
}