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}
}