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

David Butler David Aspinall Adrià Gascón

Published in: ITP (2017)

Keyphrases

formal proof
theorem prover
scalar product
privacy preserving
secure multi party computation
inference rules
first order logic
privacy preserving data mining
knowledge base
dot product
pairwise
high dimensional
relational databases
similarity search
modal logic