A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

28 February 2017

Papers citing "A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations"

3 / 3 papers shown

Title
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 20 34 0 11 Jul 2019
LightDP: Towards Automating Differential Privacy Proofs Danfeng Zhang Daniel Kifer 43 72 0 27 Jul 2016
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 22 101 0 14 Oct 2014