How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation

31 May 2018

Papers citing "How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation"

2 / 2 papers shown

Title
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
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 30 101 0 14 Oct 2014