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

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

Short URL:

[ Cryptology ePrint archive ]