### Synchronous Constructive Cryptography

Chen-Da Liu-Zhang and Ueli Maurer

##### Abstract

This paper proposes a simple synchronous composable security framework as an instantiation of the Constructive Cryptography framework, aiming to capture minimally, without unnecessary artefacts, exactly what is needed to state synchronous security guarantees. The objects of study are specifications (i.e., sets) of systems, and traditional security properties like consistency and validity can naturally be understood as specifications, thus unifying composable and property-based definitions. The framework's simplicity is in contrast to current composable frameworks for synchronous computation which are built on top of an asynchronous framework (e.g. the UC framework), thus not only inheriting artefacts and complex features used to handle asynchronous communication, but adding additional overhead to capture synchronous communication. As a second, independent contribution we demonstrate how secure (synchronous) multi-party computation protocols can be understood as constructing a computer that allows a set of parties to perform an arbitrary, on-going computation. An interesting aspect is that the instructions of the computation need not be fixed before the protocol starts but can also be determined during an on-going computation, possibly depending on previous outputs.

Available format(s)
Category
Foundations
Publication info
Contact author(s)
lichen @ inf ethz ch
History
Short URL
https://ia.cr/2020/1226

CC BY

BibTeX

@misc{cryptoeprint:2020/1226,
author = {Chen-Da Liu-Zhang and Ueli Maurer},
title = {Synchronous Constructive Cryptography},
howpublished = {Cryptology ePrint Archive, Paper 2020/1226},
year = {2020},
note = {\url{https://eprint.iacr.org/2020/1226}},
url = {https://eprint.iacr.org/2020/1226}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.