# 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.