The Foundational Cryptography Framework

14 October 2014

Papers citing "The Foundational Cryptography Framework"

12 / 12 papers shown

Title
Computationally Bounded Robust Compilation and Universally Composable Security Robert Künnemann Marco Patrignani Ethan Cecchetti 30 0 0 26 Jan 2024
A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic Roberto Metere Changyu Dong 13 0 0 28 Nov 2023
The Deepfake Detection Dilemma: A Multistakeholder Exploration of Adversarial Dynamics in Synthetic Media Claire Leibowicz Sean McGregor Aviv Ovadya 21 22 0 11 Feb 2021
Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen Bas Spitters LRM 8 19 0 23 Jul 2020
A Formal Proof of PAC Learnability for Decision Stumps Joseph Tassarotti Koundinya Vajjha Anindya Banerjee Jean-Baptiste Tristan 14 2 0 01 Nov 2019
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 26 34 0 11 Jul 2019
Symbolic Abstractions for Quantum Protocol Verification L. Hirschi 18 1 0 08 Apr 2019
Computer-aided proofs for multiparty computation with active security Helene Haagh Aleksandr Karbyshev Sabine Oechsner Bas Spitters Pierre-Yves Strub 14 26 0 19 Jun 2018
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation D. Butler David Aspinall Adria Gascon 29 12 0 31 May 2018
Verified Correctness and Security of mbedTLS HMAC-DRBG Katherine Q. Ye M. Green Naphat Sanguansin Lennart Beringer Adam Petcher A. Appel 19 58 0 28 Aug 2017
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations Niklas Grimm K. Maillard Cédric Fournet Cătălin Hriţcu Matteo Maffei Jonathan Protzenko T. Ramananandro Aseem Rastogi Nikhil Swamy Santiago Zanella Béguelin 29 24 0 28 Feb 2017
Computational Soundness for Dalvik Bytecode Michael Backes Robert Künnemann Esfandiar Mohammadi 17 2 0 15 Aug 2016