A monadic framework for relational verification: applied to information security, program equivalence, and optimizations (bibtex)
by Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
Reference:
A monadic framework for relational verification: applied to information security, program equivalence, and optimizationsNiklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella BéguelinProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 (June Andronick, Amy P. Felty, eds.), pages 130–145, 2018, ACM.
Bibtex Entry:
@inproceedings{DBLP:conf/cpp/GrimmMFHMPRRSB18,
  author    = {Niklas Grimm and
               Kenji Maillard and
               C{\'{e}}dric Fournet and
               Catalin Hritcu and
               Matteo Maffei and
               Jonathan Protzenko and
               Tahina Ramananandro and
               Aseem Rastogi and
               Nikhil Swamy and
               Santiago Zanella B{\'{e}}guelin},
  editor    = {June Andronick and
               Amy P. Felty},
  title     = {A monadic framework for relational verification: applied to information
               security, program equivalence, and optimizations},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  pages     = {130--145},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://arxiv.org/abs/1703.00055},
  doi       = {arXiv:1703.00055},
  timestamp = {Sat, 30 Dec 2017 17:34:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/GrimmMFHMPRRSB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser