Cryptology ePrint Archive: Report 2009/520

Universally Composable Incoercibility

Dominique Unruh and Jörn Müller-Quade

Abstract: We present the UC/c framework, a general definition for secure and incoercible multi-party protocols. Our framework allows to model arbitrary reactive protocol tasks (by specifying an ideal functionality) and comes with a universal composition theorem. We show that given natural setup assumptions, we can construct incoercible two-party protocols realising arbitrary functionalities (with respect to static adversaries).

Category / Keywords: foundations / Incoercibility, universal composability, voting

Date: received 27 Oct 2009

Contact author: unruh at mmci uni-saarland de

Available format(s): PDF | BibTeX Citation

Note: Errata will be published at http://crypto.m2ci.org/unruh/publications/errata/ucc-errata.pdf.

Version: 20091027:163832 (All versions of this report)

Short URL: ia.cr/2009/520

Discussion forum: Show discussion | Start new discussion