TY  - RPRT
TI  - A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
AU  - Niklas Grimm
AU  - Kenji Maillard
AU  - Cédric Fournet
AU  - Catalin Hritcu
AU  - Matteo Maffei
AU  - Jonathan Protzenko
AU  - Tahina Ramananandro
AU  - Aseem Rastogi
AU  - Nikhil Swamy
AU  - Santiago Zanella-Béguelin
PY  - 2019
DO  - 10.1145/3167090
UR  - https://arxiv.org/abs/1703.00055
ID  - 1703.00055
ER  -