@inbook {IOPORT.05985189,
    author       = {Cr\'epeau, Claude and Salvail, Louis and Simard, Jean-Raymond and Tapp, Alain},
    title        = {Two provers in isolation.},
    year         = {2011},
    booktitle    = {Advances in cryptology -- ASIACRYPT 2011. 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4--8, 2011. Proceedings},
    isbn         = {978-3-642-25384-3},
    pages        = {407-430},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-25385-0_22},
    abstract     = {Summary: We revisit the Two-Prover Bit Commitment Scheme of {\it M. BenOr}, {\it S. Goldwasser}, {\it J. Kilian} and {\it A. Wigderson} [``Multi-prover interactive proofs: How to remove intractability'', in: Proc. of the 20th ACM symposium on the theory of computing, STOC 1988, 113--131 (1988)]. First, we introduce Two-Prover Bit Commitment Schemes similar to theirs and demonstrate that although they are classically secure using their proof technique, we also show that if the provers are allowed to share quantum entanglement, they are able to successfully break the binding condition. Secondly, we translate this result in a purely classical setting and investigate the possibility of using this Bit Commitment scheme in applications. We observe that the security claim of [loc. cit.] based on the assumption that the provers cannot communicate is not a sufficient criteria to obtain soundness. We develop a set of conditions, called isolation, that must be satisfied by any third party interacting with the provers to guarantee the binding property of the Bit Commitment.},
    identifier   = {05985189},
}