How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.

David Butler, David Aspinall, Adri Gascn

Browse the full ITP paper archive.