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
Recommended citation: David Butler and David Aspinall, (2019). “Multi-Party Computation.” Archive of Formal Proofs. .