How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation
Published in ITP 2017, 2017
Recommended citation: David Butler, David Aspinall, Adria Gascon, . How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation. ITP 2017. https://arxiv.org/pdf/1805.12482.pdf
In this work we provided the first formalisation of MPC in an theorem prover.
Recommended citation: David Butler, David Aspinall, Adria Gascon, . How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation. ITP 2017.