Advances in Cryptology – CRYPTO 2010

Volume 6223 of the series Lecture Notes in Computer Science pp 411-428

Universally Composable Incoercibility

  • Dominique UnruhAffiliated withSaarland University
  • , Jörn Müller-QuadeAffiliated withKarlsruhe Institute of Technology (KIT)


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


Incoercibility universal composability voting