A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation.

Karim Eldefrawy Vitor Pereira

Published in: CCS (2019)

Keyphrases

high assurance
secure multiparty computation
privacy preserving
operating system
software systems
fault tolerant
access control
distributed systems
data mining
database systems
computer systems
databases
social networks
information systems