@misc{indiciae89d787d38ce6,
  title = {How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation},
  author = {David Butler and David Aspinall and Adria Gascon},
  year = {2018},
  url = {https://arxiv.org/abs/1805.12482},
  note = {Source identifier: 1805.12482}
}