F-incoerc — Incoercible, receipt-free computation

F-incoerc (Incoercible, receipt-free computation) is part of Secret Sharing, Threshold Cryptography, MPC in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Alwen, Ostrovsky, Zhou, and Zikas. Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology – CRYPTO 2015, volume 9216 of LNCS, pages 763–780, 2015.
• Canetti and Gennaro. Incoercible multiparty computation. In 37th IEEE Symposium on Foundations of Computer Science (FOCS), 1996.