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"

9 / 9 papers shown

Title
A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic Roberto Metere Changyu Dong 75 0 0 28 Nov 2023
Verification of a Merkle Patricia Tree Library Using F* Sota Sato Ryotaro Banno J. Furuse Kohei Suenaga Atsushi Igarashi 64 5 0 09 Jun 2021
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 217 44 0 11 Jul 2019
Type-based Declassification for Free Minh Ngo D. Naumann Tamara Rezk 129 6 0 02 May 2019
Recalling a Witness: Foundations and Applications of Monotonic State Danel Ahman Cédric Fournet Cătălin Hriţcu K. Maillard Aseem Rastogi Nikhil Swamy OffRL LRM 112 25 0 08 Jul 2017
Hypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf D. Naumann Julien Signoles Eric Totel F. Tronel 188 41 0 04 Aug 2016
LightDP: Towards Automating Differential Privacy Proofs Qiang Yan Daniel Kifer 209 78 0 27 Jul 2016
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 135 102 0 14 Oct 2014
Quantitative Information Flow as Safety and Liveness HyperpropertiesTheoretical Computer Science (TCS), 2012 Hirotoshi Yasuoka Tachio Terauchi 117 32 0 04 Jul 2012