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

David Butler David Aspinall Adrià Gascón

Published in: CoRR (2018)

Keyphrases

formal proof
theorem prover
scalar product
privacy preserving
secure multi party computation
inference rules
first order logic
privacy preserving data mining
vertically partitioned data
pairwise