BibTeX record conf/ccs/AndryscoNBJS18

download as .bib file

@inproceedings{DBLP:conf/ccs/AndryscoNBJS18,
  author    = {Marc Andrysco and
               Andres N{\"{o}}tzli and
               Fraser Brown and
               Ranjit Jhala and
               Deian Stefan},
  editor    = {David Lie and
               Mohammad Mannan and
               Michael Backes and
               XiaoFeng Wang},
  title     = {Towards Verified, Constant-time Floating Point Operations},
  booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  pages     = {1369--1382},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3243734.3243766},
  doi       = {10.1145/3243734.3243766},
  timestamp = {Mon, 16 Sep 2019 15:24:37 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/AndryscoNBJS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics