@inproceedings{andrysco:2018:towards,
  author    = {Marc Andrysco and Andres N\"oetzli and Fraser Brown and Ranjit Jhala and Deian Stefan},
  title     = {Towards Verified, Constant-time Floating Point Operations},
  booktitle = {Conference on Computer and Communications Security (CCS)},
  publisher = {ACM},
  month     = {October},
  year      = {2018},
}