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
[ Cryptology ePrint archive ]