Foundations of Programmable Secure 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...

Full description

Saved in:

Bibliographic Details
Published in:	Cryptography 2021-09, Vol.5 (3), p.22
Main Authors:	Laur, Sven, Pullonen-Raudvere, Pille
Format:	Article
Language:	eng
Subjects:	Algorithms Computation provable security reactive simulatability secret sharing secure multiparty computation Security security proofs universal composability
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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.
ISSN:	2410-387X 2410-387X