Publication Overview

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

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

Published in: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018
Year: 2018
Pages: 130-145