A monadic framework for relational verification: applied to information security, program equivalence, and optimizations

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin. A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. In June Andronick, Amy P. Felty, editors, 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, ACM, 2018. [doi]

@inproceedings{GrimmMFHMPRRSB18,
  title = {A monadic framework for relational verification: applied to information security, program equivalence, and optimizations},
  author = {Niklas Grimm and Kenji Maillard and Cédric Fournet and Catalin Hritcu and Matteo Maffei and Jonathan Protzenko and Tahina Ramananandro and Aseem Rastogi and Nikhil Swamy and Santiago Zanella Béguelin},
  year = {2018},
  doi = {10.1145/3167090},
  url = {http://doi.acm.org/10.1145/3167090},
  researchr = {https://researchr.org/publication/GrimmMFHMPRRSB18},
  cites = {0},
  citedby = {0},
  pages = {130-145},
  booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018},
  editor = {June Andronick and Amy P. Felty},
  publisher = {ACM},
  isbn = {978-1-4503-5586-5},
}