Automatic generation of two-party computations

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2003, Pages 210-219

  MacKenzie, Philip ^a   Oprea, Alina ^b   Reiter, Michael K ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b Carnegie Mellon University   (United States)

^c CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Automatic generation of protocols; Secure two party computation; Threshold cryptography

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER SIMULATION; CRYPTOGRAPHY; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; FUNCTIONS; NETWORK PROTOCOLS;

AUTOMATIC GENERATION OF PROTOCOLS; SECURE TWO-PARTY COMPUTATIONS; THRESHOLD CRYPTOGRAPHY; TRANSFER PROTOCOLS;

COMPUTATIONAL METHODS;

EID: 18744411531     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/948138.948139     Document Type: Conference Paper

References (37)

1. B. Barak, A. Herzberg, D. Naor, and E. Shai. The proactive security toolkit and applications. In Proc. 6th ACM Conf. Computer and Communications Security, pp. 18-27, Nov. 1999.
2. M. Bellare, S. Micali. Non-interactive oblivious transfer and applications. In Proc. CRYPTO '89, 1989.
3. M. Bellare, R. Sandhu. The security of practical two-party RSA signature schemes. 2001.
4. st ACM Conf. Computer and Communications Security, pp. 62-73, Nov. 1993.
5. J. Benaloh. Dense probabilistic encryption. In Workshop on Selected Areas of Cryptography, pp. 120-128, 1994.
6. M. Blum, A. DeSantis, S. Micali, and G. Persiano. Noninteractive zero-knowledge. SIAM Journal of Computing 20(6): 1084-1118, 1991.
7. M. Bellare, A. Desai, D. Pointcheval, and P. Rogaway. Relations among notions of security for public-key encryption systems. In Proc. CRYPTO '98 (LNCS 1462), 1998.
8. D. Boneh, X. Ding, G. Tsudik, and M. Wong. A method for fast revocation of public key certificates and security capabilities. In Proc. 10th USENIX Security Symposium, Aug. 2001.
9. C. Boyd. Digital multisignatures. In H. J. Beker and F. C. Piper, editors, Cryptography and Coding, pp. 241-246. Clarendon Press, 1986.
10. R. Cramer and V. Shoup. A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack. In CRYPTO '98, 1998.
11. R. Cramer and V. Shoup. Signature schemes based on the strong RSA assumption. ACM Transactions on Information and System Security 3(3): 161-185, 2000.
12. A. De Santis, G. Di Crescenzo, R. Ostrovsky, G. Persiano, and A. Sahai. Robust non-interactive zero knowledge. In Proc. CRYPTO 2001 (LNCS 2139), pp. 566-598, 2001.
13. Y. Desmedt. Society and group oriented cryptography: a new concept. In Proc. CRYPTO '87 (LNCS 293), pp. 120-127, 1987.
14. Y. Desmedt and Y. Frankel. Threshold cryptosystems. In Proc. CRYPTO '89 (LNCS 435), pp. 307-315, 1989.
15. W. Ford, B. Kaliski. Server-assisted generation of a strong secret from a password. In Proc. 5th International Workshop on Enterprise Security, 2000.
16. R. Ganesan. Yaksha: Augmenting Kerberos with public key cryptography. In Proc. 1995 ISOC Network and Distributed System Security Symposium, Feb. 1995.
17. R. Gennaro, S. Jarecki, H. Krawczyk, and T. Rabin. Robust threshold DSS signatures. In Proc. EUROCRYPT '96 (LNCS 1070), pp. 354-371, 1996.
18. S. Goldwasser and S. Micali. Probabilistic encryption. Journal of Computer and System Sciences 28:270-299, 1984.
19. S. Goldwasser, S. Micali and R. L. Rivest. A digital signature scheme secure against adaptive chosen-message attacks. SIAM Journal of Computing 17(2):281-308, Apr. 1988.
20. P. Horster, H. Petersen, and M. Michels. Meta-ElGamal signature schemes. In Proc. 2nd ACM Conf. Computer and Communications Security, pp. 96-107, Nov. 1994.
21. P. MacKenzie and M. K. Reiter. Networked cryptographic devices resilient to capture. DIMACS Technical Report 2001-19, May 2001.
22. Extended abstract in 2001 IEEE Symposium on Security and Privacy, May 2001.
23. P. MacKenzie and M. K. Reiter. Two-party generation of DSA Signatures. In Proc. CRYPTO 2001 (LNCS 2139), Aug. 2001.
24. A. Menezes, P. van Oorschot, S. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
25. D. Naccache and J. Stern. A new public-key cryptosystem. In Proc. EUROCRYPT '97 (LNCS 1233), pp. 27-36, 1997.
26. A. Nicolosi, M. Krohn, Y. Dodis, D. Mazieres. Proactive two-party signatures for user authentication. In Proc. 10th ISOC Network and Distributed System Security Symposium, Feb. 2003.
27. M. Naor, B. Pinkas. Distributed oblivious transfer. In Proc. ASIACRYPT 2000, Dec. 2000.
28. M. Naor, B. Pinkas. Efficient oblivious transfer protocols. In Proc. SODA 2001, Jan. 2001.
29. T. Okamoto and S. Uchiyama. A new public-key cryptosystem, as secure as factoring. In Proc. EUROCRYPT '98 (LNCS 1403), pp. 308-318, 1998.
30. P. Paillier. Public-key cryptosystems based on composite degree residuosity classes. In Proc. EUROCRYPT '99 (LNCS 1592), pp. 223-238, 1999.
31. M. Reiter, M. Franklin, J. Lacy, R. Wright. The Q key management service. Journal of Computer Security 4(4):267-297, 1996.
32. R. L. Rivest, A. Shamir, and L. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM 21(2):120-126, Feb. 1978.
33. A. Shamir. How to share a secret. Communications of the ACM 22, 1979.
34. D. Song, A. Perrig and D. Phan. AGVI - Automatic generation, verification, and implementation of security protocols. In Proc. 13th Conference on Computer Aided Verification, July 2001.
35. T. Wu, M. Malkin, D. Boneh. Building intrusion tolerant applications. In Proc. 8th USENIX Security Symposium, pp. 79-91, Aug. 1999.
36. A. Yao. Protocols for secure computation. In Proc. 23 IEEE Symposium on Foundations of Computer Science, pp. 160-164, 1982.
37. L. Zhou, F. Schneider, R. van Renesse. COCA: A secure distributed on-line certification authority. In ACM Transactions on Computer Systems 20(4), Nov. 2002.