Preprocessing Based Verification of Multiparty Protocols with Honest Majority
| Autor: | Peeter Laud, Alisa Pankova, Roman Jagomägis |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Ethics
021110 strategic defence & security studies Theoretical computer science Computer science business.industry 0211 other engineering and technologies Information technology 02 engineering and technology secure multiparty computation QA75.5-76.95 BJ1-1725 covert security Electronic computers. Computer science 0202 electrical engineering electronic engineering information engineering Secure multi-party computation General Earth and Planetary Sciences Preprocessor 020201 artificial intelligence & image processing business General Environmental Science |
| Zdroj: | Proceedings on Privacy Enhancing Technologies, Vol 2017, Iss 4, Pp 23-76 (2017) |
| ISSN: | 2299-0984 |
| Popis: | This paper presents a generic “GMW-style” method for turning passively secure protocols into protocols secure against covert attacks, adding relatively cheap offline preprocessing and post-execution verification phases. Our construction performs best with a small number of parties, and its main benefit is the total cost of the online and the offline phases. In the preprocessing phase, each party generates and shares a sufficient amount of verified multiplication triples that will be later used to assist that party’s proof. The execution phase, after which the computed result is already available to the parties, has only negligible overhead that comes from signatures on sent messages. In the postprocessing phase, the verifiers repeat the computation of the prover in secret-shared manner, checking that they obtain the same messages that the prover sent out during execution. The verification preserves the privacy guarantees of the original protocol. It is applicable to protocols doing computations over finite rings, even if the same protocol performs its computation over several distinct rings. We apply our verification method to the Sharemind platform for secure multiparty computations (SMC), evaluate its performance and compare it to other existing SMC platforms offering security against stronger than passive attackers. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|