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