Next Article in Journal
A Novel Ultra-Compact FPGA PUF: The DD-PUF
Previous Article in Journal / Special Issue
Implementing Privacy-Preserving Genotype Analysis with Consideration for Population Stratification
 
 
Article

Foundations of Programmable Secure Computation

by 1,† and 2,*,†
1
Institute of Computer Science, University of Tartu, Narva mnt 18, 51009 Tartu, Estonia
2
Cybernetica AS, Mäealuse 2/1, 12618 Tallinn, Estonia
*
Author to whom correspondence should be addressed.
Both authors contributed equally to this work.
Academic Editor: Josef Pieprzyk
Cryptography 2021, 5(3), 22; https://doi.org/10.3390/cryptography5030022
Received: 30 April 2021 / Revised: 11 August 2021 / Accepted: 18 August 2021 / Published: 21 August 2021
(This article belongs to the Special Issue Secure Multiparty Computation)
This paper formalises the security of programmable secure computation focusing on simplifying security proofs of new algorithms for existing computation frameworks. Security of the frameworks is usually well established but the security proofs of the algorithms are often more intuitive than rigorous. This work specifies a transformation from the usual hybrid execution model to an abstract model that is closer to the intuition. We establish various preconditions that are satisfied by natural secure computation frameworks and protocols, thus showing that mostly the intuitive proofs suffice. More elaborate protocols might still need additional proof details. View Full-Text
Keywords: secure multiparty computation; security proofs; universal composability; reactive simulatability; secret sharing; provable security secure multiparty computation; security proofs; universal composability; reactive simulatability; secret sharing; provable security
Show Figures

Figure 1

MDPI and ACS Style

Laur, S.; Pullonen-Raudvere, P. Foundations of Programmable Secure Computation. Cryptography 2021, 5, 22. https://doi.org/10.3390/cryptography5030022

AMA Style

Laur S, Pullonen-Raudvere P. Foundations of Programmable Secure Computation. Cryptography. 2021; 5(3):22. https://doi.org/10.3390/cryptography5030022

Chicago/Turabian Style

Laur, Sven, and Pille Pullonen-Raudvere. 2021. "Foundations of Programmable Secure Computation" Cryptography 5, no. 3: 22. https://doi.org/10.3390/cryptography5030022

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop