Paper 2020/1226

Synchronous Constructive Cryptography

Chen-Da Liu-Zhang and Ueli Maurer


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)
Publication info
Published by the IACR in TCC 2020
Contact author(s)
lichen @ inf ethz ch
2020-10-06: received
Short URL
Creative Commons Attribution


      author = {Chen-Da Liu-Zhang and Ueli Maurer},
      title = {Synchronous Constructive Cryptography},
      howpublished = {Cryptology ePrint Archive, Paper 2020/1226},
      year = {2020},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.