Multi-Party Computation

Published in Archive of Formal Proofs, 2019

Recommended citation: David Butler and David Aspinall, (2019). " Multi-Party Computation ." Archive of Formal Proofs.. https://www.isa-afp.org/entries/Multi_Party_Computation.html

Formalisation of MPC in Isabelle using CryptHOL

Download paper here

Recommended citation: David Butler and David Aspinall, (2019). “Multi-Party Computation.” Archive of Formal Proofs. .