Universally Composable Incoercibility

Universally Composable IncoercibilityD. Unruh and J. Müller-Quade (Crypto 2010).  [publisher's version | eprint]

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).