University of Twente Student Theses


Developing a Multi-Party MPC Compiler with Covert Security and Public Verifiability

Dunning, V.A. (2021) Developing a Multi-Party MPC Compiler with Covert Security and Public Verifiability.

[img] PDF
Abstract:This research presents a new solution for compiling multi-party computation (MPC) protocols with passive security into protocols with covert security and public verifiability. This construction is based on a technique called publicly verifiable secret sharing and the assumption of an honest majority of parties. Covert Security provides a flexible trade-off between the security of actively secure MPC and the efficiency of passively secure MPC. Public verifiability further enhances this notion with a mechanism to proof the detection of cheating to other parties, including third parties. The only other works for such a compiler have been presented in 2020 and 2021. Compared to the work from 2020, we reach a much stronger degree of security. Compared to the work from 2021, we reduce the complexity of the compiler by multiple orders of magnitude at the cost of the number of tolerated corruptions. Finally, we present the first (PoC) implementation of such a compiler in an MPC framework called MPyC, which further shows the potential of the notion of covert security.
Item Type:Essay (Master)
TNO, The Hague, Netherlands
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page