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 and Nikhil Swamy

View PDF

Reference:

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 and Nikhil Swamy), In The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018.

Bibtex Entry:

@inproceedings{relational,
  author = {Niklas Grimm and
            Kenji Maillard and
            C\'edric Fournet and
            Catalin Hritcu and
            Matteo Maffei and
            Jonathan Protzenko and
            Tahina Ramananandro and
            Aseem Rastogi and
            Nikhil Swamy and
            Santiago {Zanella-B\'eguelin}},
  title = {A Monadic Framework for Relational Verification: Applied to
           Information Security, Program Equivalence, and Optimizations},
  booktitle = {The 7th ACM SIGPLAN International Conference on
               Certified Programs and Proofs},
  shortbooktitle = {CPP},
  url = {https://arxiv.org/abs/1703.00055},
  year = {2018},
  month = jan,
}