Universally Composable Synchronous Computation

  • Jonathan Katz
  • Ueli Maurer
  • Björn Tackmann
  • Vassilis Zikas
Conference paper

DOI: 10.1007/978-3-642-36594-2_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7785)
Cite this paper as:
Katz J., Maurer U., Tackmann B., Zikas V. (2013) Universally Composable Synchronous Computation. In: Sahai A. (eds) Theory of Cryptography. Lecture Notes in Computer Science, vol 7785. Springer, Berlin, Heidelberg

Abstract

In synchronous networks, protocols can achieve security guarantees that are not possible in an asynchronous world: they can simultaneously achieve input completeness (all honest parties’ inputs are included in the computation) and guaranteed termination (honest parties do not “hang” indefinitely). In practice truly synchronous networks rarely exist, but synchrony can be emulated if channels have (known) bounded latency and parties have loosely synchronized clocks.

The widely-used framework of universal composability (UC) is inherently asynchronous, but several approaches for adding synchrony to the framework have been proposed. However, we show that the existing proposals do not provide the expected guarantees. Given this, we propose a novel approach to defining synchrony in the UC framework by introducing functionalities exactly meant to model, respectively, bounded-delay networks and loosely synchronized clocks. We show that the expected guarantees of synchronous computation can be achieved given these functionalities, and that previous similar models can all be expressed within our new framework.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© International Association for Cryptologic Research 2013

Authors and Affiliations

  • Jonathan Katz
    • 1
  • Ueli Maurer
    • 2
  • Björn Tackmann
    • 2
  • Vassilis Zikas
    • 3
  1. 1.Dept. of Computer ScienceUniversity of MarylandUSA
  2. 2.Dept.of Computer ScienceETH ZürichSwitzerland
  3. 3.Dept. of Computer ScienceUCLAUSA

Personalised recommendations