Advertisement

Universally Composable Multi-party Computation Using Tamper-Proof Hardware

  • Jonathan Katz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4515)

Abstract

Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” model, secure computation of general functionalities without an honest majority is impossible. This has prompted researchers to propose various “setup assumptions” with which to augment the bare UC framework in order to bypass this severe negative result. Existing setup assumptions seem to inherently require some trusted party (or parties) to initialize the setup in the real world.

We propose a new setup assumption — more along the lines of a physical assumption regarding the existence of tamper-proof hardware — which also suffices to circumvent the impossibility result mentioned above. We suggest this assumption as potentially leading to an approach that might alleviate the need for trusted parties, and compare our assumption to those proposed previously.

Keywords

Signature Scheme Commitment Scheme Impossibility Result Covert Channel Negligible Probability 
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.
    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)Google Scholar
  2. 2.
    Barak, B., Canetti, R., Nielsen, J.B., Pass, R.: Universally Composable Protocols with Relaxed Set-Up Assumptions. In: FOCS (2004)Google Scholar
  3. 3.
    Bennett, C., Brassard, G.: Quantum Cryptography: Public Key Distribution and Coin Tossing. In: Intl. Conf. on Computers, Systems, and Signal Processing (1984)Google Scholar
  4. 4.
    Blum, M., Feldman, P., Micali, S.: Non-Interactive Zero-Knowledge and its Applications. In: STOC ’88 (1988)Google Scholar
  5. 5.
    Brands, S.: Untraceable off-line cash in wallets with observers. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 302–318. Springer, Heidelberg (1994)Google Scholar
  6. 6.
    Canetti, R.: Universally Composable Security: A New Paradigm for Cryptographic Protocols. In: FOCS (2001), Full version available at http://eprint.iacr.org/2000/067
  7. 7.
    Canetti, R., Dodis, Y., Pass, R., Walfish, S.: Universally Composable Security with Global Setup. In: Vadhan, S.P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 61–85. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Canetti, R., Fischlin, M.: Universally Composable Commitments. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, p. 19. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Canetti, R., Kushilevitz, E., Lindell, Y.: On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions. J. Cryptology 19(2), 135–167 (2006)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Canetti, R., Lindell, Y., Ostrovsky, R., Sahai, A.: Universally Composable Two-Party and Multi-Party Secure Computation. In: STOC (2002), Full version available at http://eprint.iacr.org/2002/140
  11. 11.
    Chaum, D., Pedersen, T.P.: Wallet databases with observers. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol. 740, pp. 89–105. Springer, Heidelberg (1993)Google Scholar
  12. 12.
    Considine, J., Fitzi, M., Franklin, M., Levin, L.A., Maurer, U., Metcalf, D.: Byzantine Agreement Given Partial Broadcast. J. Cryptology 18(3), 191–217 (2005)CrossRefMathSciNetzbMATHGoogle Scholar
  13. 13.
    Cramer, R.J.F., Pedersen, T.P.: Improved privacy in wallets with observers. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol. 765, pp. 329–343. Springer, Heidelberg (1994)Google Scholar
  14. 14.
    Csiszár, I., Körner, J.: Broadcast Channels with Confidential Messages. IEEE Trans. Info. Theory 24(3), 339–348 (1978)CrossRefzbMATHGoogle Scholar
  15. 15.
    Hofheinz, D., Müller-Quade, J., Unruh, D.: Universally Composable Zero-Knowledge Arguments and Commitments from Signature Cards. In: 5th Central European Conference on Cryptology (2005), A version is available at http://homepages.cwi.nl/~hofheinz/card.pdf
  16. 16.
    Maurer, U.: Secret Key Agreement by Public Discussion from Common Information. IEEE Trans. Info. Theory 39(3), 733–742 (1993)CrossRefMathSciNetzbMATHGoogle Scholar
  17. 17.
    Naor, M.: On cryptographic assumptions and challenges. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 96–109. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  18. 18.
    Pease, M., Shostak, R., Lamport, L.: Reaching Agreement in the Presence of Faults. J. ACM 27(2), 228–234 (1980)CrossRefMathSciNetzbMATHGoogle Scholar
  19. 19.
    Pedersen, T.P.: Non-interactive and information-theoretic secure verifiable secret sharing. In: Feigenbaum, J. (ed.) CRYPTO 1991. LNCS, vol. 576, pp. 129–140. Springer, Heidelberg (1992)Google Scholar
  20. 20.
    Pfitzmann, B., Waidner, M.: Composition and Integrity Preservation of Secure Reactive Systems. In: ACM CCCS (2000)Google Scholar
  21. 21.
    Wyner, A.D.: The Wire-Tap Channel. Bell System Technical Journal 54(8), 1355–1387 (1975)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Jonathan Katz
    • 1
  1. 1.Dept. of Computer ScienceUniversity of MarylandUSA

Personalised recommendations