Incoercible multiparty computation
- 24 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1996, 504-513
- https://doi.org/10.1109/sfcs.1996.548509
Abstract
Current secure multiparty protocols have the following deficiency. The public transcript of the communication can be used as an involuntary commitment of the parties to their inputs and outputs. Thus parties can be later coerced by some authority to reveal their private data. Previous work that has pointed this interesting problem out contained only partial treatment. The authors present the first general treatment of the coercion problem in secure computation. They first present a general definition of protocols that provide resilience to coercion. Their definition constitutes a natural extension of the general paradigm used for defining secure multiparty protocols. They next show that if trapdoor permutations exist then any function can be incoercibly computed (i.e., computed by a protocol that provides resilience to coercion) in the presence of computationally bounded adversaries and only public communication channels. This holds as long as less than half the parties are coerced (or corrupted). In particular, theirs are the first incoercible protocols without physical security assumptions. Also, the protocols constitute an alternative solution to the recently solved adaptive security problem. Their techniques are quite surprising and include non-standard use of deniable encryptions.Keywords
This publication has 12 references indexed in Scilit:
- Incoercible multiparty computationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Secure ComputationPublished by Springer Nature ,2001
- How to prevent buying of votes in computer electionsPublished by Springer Nature ,1995
- Receipt-free secret-ballot elections (extended abstract)Published by Association for Computing Machinery (ACM) ,1994
- Asynchronous secure computationPublished by Association for Computing Machinery (ACM) ,1993
- A hard-core predicate for all one-way functionsPublished by Association for Computing Machinery (ACM) ,1989
- Completeness theorems for non-cryptographic fault-tolerant distributed computationPublished by Association for Computing Machinery (ACM) ,1988
- How to play ANY mental gamePublished by Association for Computing Machinery (ACM) ,1987
- Proofs that yield nothing but their validity and a methodology of cryptographic protocol designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Probabilistic encryptionJournal of Computer and System Sciences, 1984