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 Optimizations (Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin), 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,
  chcontrib = {misc},
}
Powered by bibtexbrowser