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.
If the inline PDF is not rendering correctly, you can download the PDF file here.
 Aumann Y. and Lindell Y. Security against covert adversaries: Efficient protocols for realistic adversaries. J. Cryptology 23 2 (2010) 281–343.
 Baum C. Damgård I. and Orlandi C. Publicly auditable secure multi-party computation. In Security and Cryptography for Networks - 9th International Conference SCN 2014. Proceedings (2014) M. Abdalla and R. D. Prisco Eds. vol. 8642 of LNCS Springer pp. 175–196.
 Baum C. Damgård I. Toft T. and Zakarias R. Better preprocessing for secure multiparty computation. In Applied Cryptography and Network Security: 14th International Conference ACNS 2016. Proceedings (2016) M. Manulis A.-R. Sadeghi and S. Schneider Eds. Springer International Publishing pp. 327–345.
 Baum C. Orsini E. and Scholl P. Efficient secure multiparty computation with identifiable abort. In Theory of Cryptography - 14th International Conference TCC 2016-B 2016 Proceedings Part I (2016) M. Hirt and A. D. Smith Eds. vol. 9985 of LNCS pp. 461–490.
 Beaver D. Efficient multiparty protocols using circuit randomization. In CRYPTO (1991) J. Feigenbaum Ed. vol. 576 of LNCS Springer pp. 420–432.
 Bogdanov D. Jõemets M. Siim S. and Vaht M. How the estonian tax and customs board evaluated a tax fraud detection system based on secure multi-party computation. In Financial Cryptography FC 2015 Revised Selected Papers (2015) R. Böhme and T. Okamoto Eds. vol. 8975 of LNCS Springer pp. 227–234.
 Bogdanov D. Kamm L. Kubo B. Rebane R. Sokk V. and Talviste R. Students and taxes: a privacy-preserving study using secure computation. PoPETs 2016 3 (2016) 117–135.
 Bogdanov D. Laur S. and Willemson J. Sharemind: A framework for fast privacy-preserving computations. In ESORICS (2008) S. Jajodia and J. López Eds. vol. 5283 of LNCS Springer pp. 192–206.
 Bogdanov D. Niitsoo M. Toft T. and Willemson J. High-performance secure multi-party computation for data mining applications. Int. J. Inf. Sec. 11 6 (2012) 403–418.
 Bogdanov D. Talviste R. and Willemson J. Deploying secure multi-party computation for financial data analysis (short paper). In Financial Cryptography (2012) A. D. Keromytis Ed. vol. 7397 of LNCS Springer pp. 57–64.
 Brakerski Z. Gentry C. and Vaikuntanathan V. (leveled) fully homomorphic encryption without bootstrapping. In Innovations in Theoretical Computer Science 2012 (2012) S. Goldwasser Ed. ACM pp. 309–325.
 Brickell J. and Shmatikov V. Privacy-preserving graph algorithms in the semi-honest model. In ASIACRYPT (2005) B. K. Roy Ed. vol. 3788 of LNCS Springer pp. 236–252.
 Burkhart M. Strasser M. Many D. and Dimitropoulos X. SEPIA: Privacy-preserving aggregation of multi-domain network events and statistics. In USENIX Security Symposium (2010) pp. 223–239.
 Canetti R. Universally composable security: A new paradigm for cryptographic protocols. In FOCS (2001) IEEE Computer Society pp. 136–145.
 Catrina O. and de Hoogh S. Secure multiparty linear programming using fixed-point arithmetic. In ESORICS (2010) D. Gritzalis B. Preneel and M. Theoharidou Eds. vol. 6345 of LNCS Springer pp. 134–150.
 Cramer R. Damgård I. and Ishai Y. Share conversion pseudorandom secret-sharing and applications to secure computation. In Theory of Cryptography Second Theory of Cryptography Conference TCC 2005 Proceedings (2005) J. Kilian Ed. vol. 3378 of LNCS Springer pp. 342–362.
 Cunningham R. Fuller B. and Yakoubov S. Catching MPC cheaters: Identification and openability. Cryptology ePrint Archive Report 2016/611 2016. http://eprint.iacr.org/2016/611.
 Damgård I. Fitzi M. Kiltz E. Nielsen J. B. and Toft T. Unconditionally secure constant-rounds multiparty computation for equality comparison bits and exponentiation. In TCC (2006) S. Halevi and T. Rabin Eds. vol. 3876 of LNCS Springer pp. 285–304.
 Damgård I. Geisler M. Krøigaard M. and Nielsen J. B. Asynchronous Multiparty Computation: Theory and Implementation. In Public Key Cryptography (2009) S. Jarecki and G. Tsudik Eds. vol. 5443 of LNCS Springer pp. 160–179.
 Damgård I. Geisler M. and Nielsen J. B. From passive to covert security at low cost. In TCC (2010) D. Micciancio Ed. vol. 5978 of LNCS Springer pp. 128–145.
 Damgård I. Keller M. Larraia E. Miles C. and Smart N. P. Implementing AES via an actively/covertly secure dishonest-majority MPC protocol. In Security and Cryptography for Networks - 8th International Conference SCN 2012. Proceedings (2012) I. Visconti and R. D. Prisco Eds. vol. 7485 of LNCS Springer pp. 241–263.
 Damgård I. Keller M. Larraia E. Pastro V. Scholl P. and Smart N. P. Practical Covertly Secure MPC for Dishonest Majority - Or: Breaking the SPDZ Limits. In ESORICS (2013) J. Crampton S. Jajodia and K. Mayes Eds. vol. 8134 of LNCS Springer pp. 1–18.
 Damgård I. Nielsen J. B. Nielsen M. and Ranellucci S. Gate-scrambling revisited - or: The tinytable protocol for 2-party secure computation. Cryptology ePrint Archive Report 2016/695 2016. http://eprint.iacr.org/2016/695.
 Damgård I. Pastro V. Smart N. P. and Zakarias S. Multiparty computation from somewhat homomorphic encryption. In Safavi-Naini and Canetti  pp. 643–662.
 Damgård I. Toft T. and Zakarias R. W. Fast multiparty multiplications from shared bits. Cryptology ePrint Archive Report 2016/109 2016. http://eprint.iacr.org/.
 Damgård I. and Zakarias S. Constant-overhead secure computation of boolean circuits using preprocessing. In TCC (2013) pp. 621–641.
 Damiani E. Bellandi V. Cimato S. Gianini G. Spindler G. Grenzer M. Heitmüller N. and Schmechel P. PRACTICE Deliverable D31.2: risk-aware deployment and intermediate report on status of legislative developments in data protection October 2015. Available from http://www.practice-project.eu.
 Demmler D. Dessouky G. Koushanfar F. Sadeghi A. Schneider T. and Zeitouni S. Automated synthesis of optimized circuits for secure computation. In Ray et al.  pp. 1504–1517.
 Demmler D. Schneider T. and Zohner M. ABY - A framework for efficient mixed-protocol secure two-party computation. In 22nd Annual Network and Distributed System Security Symposium NDSS 2015 (2015) The Internet Society.
 Franklin M. K. Gondree M. and Mohassel P. Communication-efficient private protocols for longest common subsequence. In CT-RSA (2009) M. Fischlin Ed. vol. 5473 of LNCS Springer pp. 265–278.
 Frederiksen T. K. Keller M. Orsini E. and Scholl P. A Unified Approach to MPC with Preprocessing Using OT. In Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security 2015 Proceedings Part I (2015) T. Iwata and J. H. Cheon Eds. vol. 9452 of LNCS Springer pp. 711–735.
 Furukawa J. Lindell Y. Nof A. and Weinstein O. High-throughput secure three-party computation for malicious adversaries and an honest majority. In Advances in Cryptology - EUROCRYPT 2017 Proceedings Part II (2017) J. Coron and J. B. Nielsen Eds. vol. 10211 of LNCS pp. 225–255.
 Goldreich O. Micali S. and Wigderson A. How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority. In STOC (1987) ACM pp. 218–229.
 Kamm L. and Willemson J. Secure floating point arithmetic and private satellite collision analysis. International Journal of Information Security (2014) 1–18.
 Katz J. Ranellucci S. and Wang X. Authenticated garbling and efficient maliciously secure multi-party computation. Cryptology ePrint Archive Report 2017/189 2017. http://eprint.iacr.org/2017/189.
 Keller M. Orsini E. and Scholl P. MASCOT: faster malicious arithmetic secure computation with oblivious transfer. In Proceedings of the 2016 ACM CCS 2016 (2016) E. R. Weippl S. Katzenbeisser C. Kruegel A. C. Myers and S. Halevi Eds. ACM pp. 830–842.
 Kerik L. Laud P. and Randmets J. Optimizing MPC for robust and scalable integer and floating-point arithmetic. In Proceedings of WAHC’16 - 4th Workshop on Encrypted Computing and Applied Homomorphic Cryptography (2016) M. Brenner and K. Rohloff Eds.
 Kreuter B. Shelat A. and Shen C. Billion-gate secure computation with malicious adversaries. In Proceedings of the 21th USENIX Security Symposium 2012 (2012) T. Kohno Ed. USENIX Association pp. 285–300.
 Krips T. and Willemson J. Hybrid model of fixed and floating point numbers in secure multiparty computations. In Information Security - 17th International Conference ISC 2014. Proceedings (2014) S. S. M. Chow J. Camenisch L. C. K. Hui and S. Yiu Eds. vol. 8783 of LNCS Springer pp. 179–197.
 Lamport L. Shostak R. and Pease M. The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4 3 (July 1982) 382–401.
 Laud P. and Pankova A. Verifiable Computation in Multiparty Protocols with Honest Majority. In Provable Security - 8th International Conference ProvSec 2014. Proceedings (2014) S. S. M. Chow J. K. Liu L. C. K. Hui and S. Yiu Eds. vol. 8782 of LNCS Springer pp. 146–161.
 Laud P. and Pettai M. Secure multiparty sorting protocols with covert privacy. In Proceedings of Nordsec 2016 (2016).
 Laud P. and Randmets J. A domain-specific language for low-level secure multiparty computation protocols. In Proceedings of the 22nd ACM SIGSAC CCS 2015 (2015) ACM pp. 1492–1503.
 Laur S. Willemson J. and Zhang B. Round-Efficient Oblivious Database Manipulation. In Proceedings of the 14th International Conference on Information Security. ISC’11 (2011) pp. 262–277.
 Lindell Y. and Riva B. Blazing Fast 2PC in the Offline/Online Setting with Security for Malicious Adversaries. In Ray et al.  pp. 579–590.
 Mohassel P. Orobets O. and Riva B. Efficient Server-Aided 2PC for Mobile Phones. Proceedings of Privacy Enhancing Technologies 2016 2 (2016) 82–99.
 Nielsen J. B. Nordholt P. S. Orlandi C. and Burra S. S. A new approach to practical active-secure two-party computation. In Safavi-Naini and Canetti  pp. 681–700.
 Paillier P. Public-key cryptosystems based on composite degree residuosity classes. In EUROCRYPT (1999) pp. 223–238.
 Pettai M. and Laud P. Automatic proofs of privacy of secure multi-party computation protocols against active adversaries. In IEEE 28th Computer Security Foundations Symposium CSF 2015 (2015) C. Fournet M. W. Hicks and L. Viganò Eds. IEEE pp. 75–89.
 Pullonen P. Actively secure two-party computation: Efficient Beaver triple generation. Master’s thesis University of Tartu Aalto University 2013.
 Ray I. Li N. and Kruegel C. Eds. Proceedings of the 22nd ACM CCS Denver CO USA October 12-6 2015 (2015) ACM.
 Safavi-Naini R. and Canetti R. Eds. Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference Santa Barbara CA USA August 19-23 2012. Proceedings (2012) vol. 7417 of LNCS Springer.
 Shamir A. How to share a secret. Commun. ACM 22 11 (1979) 612–613.
 Spini G. and Fehr S. Cheater detection in SPDZ multiparty computation. In Information Theoretic Security - 9th International Conference ICITS 2016 Revised Selected Papers (2016) A. C. A. Nascimento and P. Barreto Eds. vol. 10015 of LNCS pp. 151–176.
 Vaht M. The Analysis and Design of a Privacy-Preserving Survey System. Master’s thesis Institute of Computer Science University of Tartu 2015.
 Wang X. Ranellucci S. and Katz J. Authenticated garbling and efficient maliciously secure two-party computation. Cryptology ePrint Archive Report 2017/030 2017. http://eprint.iacr.org/2017/030.