Advertisement

Collusion-Free Multiparty Computation in the Mediated Model

  • Joël Alwen
  • Jonathan Katz
  • Yehuda Lindell
  • Giuseppe Persiano
  • abhi shelat
  • Ivan Visconti
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5677)

Abstract

Collusion-free protocols prevent subliminal communication (i.e., covert channels) between parties running the protocol. In the standard communication model, if one-way functions exist, then protocols satisfying any reasonable degree of privacy cannot be collusion-free. To circumvent this impossibility, Alwen, shelat and Visconti (CRYPTO 2008) recently suggested the mediated model where all communication passes through a mediator. The goal is to design protocols where collusion-freeness is guaranteed as long as the mediator is honest, while standard security guarantees hold if the mediator is dishonest. In this model, they gave constructions of collusion-free protocols for commitments and zero-knowledge proofs in the two-party setting.

We strengthen the definition of Alwen et al., and resolve the main open questions in this area by showing a collusion-free protocol (in the mediated model) for computing any multi-party functionality.

Keywords

Signature Scheme Mediate Model Covert Channel Auxiliary Input Honest Party 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Alwen, J., Shelat, A., Visconti, I.: Collusion-Free Protocols in the Mediated Model. In: Wagner, D. (ed.) CRYPTO 2008. LNCS, vol. 5157, pp. 497–514. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  2. 2.
    Barak, B., Canetti, R., Lindell, Y., Pass, R., Rabin, T.: Secure Computation without Authentication. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol. 3621, pp. 361–377. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Bohli, J.M., Steinwandt, R.: On Subliminal Channels in Deterministic Signature Schemes. In: Park, C.-s., Chee, S. (eds.) ICISC 2004. LNCS, vol. 3506, pp. 182–194. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Burmester, M., Desmedt, Y., Itoh, T., Sakurai, K., Shizuya, H., Yung, M.: A Progress Report on Subliminal-Free Channels. In: Anderson, R. (ed.) IH 1996. LNCS, vol. 1174, pp. 157–168. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  5. 5.
    Canetti, R.: Security and Composition of Multiparty Cryptographic Protocols. Journal of Cryptology 13(1), 143–202 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Cramption, P., Schwartz, J.: Collusive Bidding: Lessons from the FCC Spectrum Auctions. Journal of Regulatory Economics 17(3), 229–252 (2000)CrossRefGoogle Scholar
  7. 7.
    Desmedt, Y.: Simmons’ Protocol is not Free of Subliminal Channels. In: IEEE Computer Security Foundations Workshop, pp. 170–175 (1996)Google Scholar
  8. 8.
    Goldreich, O.: Foundations of Cryptography. Basic Applications, vol. 2. Cambridge University Press, Cambridge (2004)CrossRefzbMATHGoogle Scholar
  9. 9.
    Hopper, N., Langford, J., von Ahn, L.: Provably Secure Steganography. In: Yung, M. (ed.) CRYPTO 2002. LNCS, vol. 2442, pp. 77–92. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Izmalkov, S., Lepinski, M., Micali, S.: Verifiably Secure Devices. In: Canetti, R. (ed.) TCC 2008. LNCS, vol. 4948, pp. 273–301. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Izmalkov, S., Micali, S., Lepinski, M.: Rational Secure Computation and Ideal Mechanism Design. In: Foundations of Computer Science (FOCS) 2005, pp. 585–595 (2005)Google Scholar
  12. 12.
    Lepinski, M., Micali, S., Shelat, A.: Fair Zero-Knowledge. In: Kilian, J. (ed.) TCC 2005. LNCS, vol. 3378, pp. 245–263. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Lepinski, M., Micali, S., Shelat, A.: Collusion-Free Protocols. In: Symposium on Theory of Computing (STOC) 2005, pp. 543–552. ACM, New York (2005)Google Scholar
  14. 14.
    Lindell, Y.: Protocols for Bounded-Concurrent Secure Two-Party Computation in the Plain Model. Chicago Journal of Theoretical Computer Science (1), 1–50 (2006)Google Scholar
  15. 15.
    Lindell, Y.: Lower Bounds and Impossibility Results for Concurrent Self Composition. Journal of Cryptology 21(2), 200–249 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Pass, R.: Bounded-Concurrent Secure Multi-Party Computation with a Dishonest Majority. In: Symposium on Theory of Computing (STOC) 2004, pp. 232–241 (2004)Google Scholar
  17. 17.
    Simmons, G.: The Prisoners’ Problem and the Subliminal Channel. In: Advances in Cryptology—Crypto 1983, pp. 51–67. Springer, Heidelberg (1983)Google Scholar
  18. 18.
    Simmons, G.: Cryptanalysis and Protocol Failures. Comm. ACM 37(11), 56–65 (1994)CrossRefGoogle Scholar
  19. 19.
    Simmons, G.: The History of Subliminal Channels. In: Information Hiding Workshop, pp. 237–256 (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Joël Alwen
    • 1
  • Jonathan Katz
    • 2
  • Yehuda Lindell
    • 3
  • Giuseppe Persiano
    • 4
  • abhi shelat
    • 5
  • Ivan Visconti
    • 4
  1. 1.New York UniversityUSA
  2. 2.The University of MarylandUSA
  3. 3.Bar-Ilan UniversityIsrael
  4. 4.University of SalernoItaly
  5. 5.University of VirginiaUSA

Personalised recommendations