-
1
-
-
0024867752
-
Designing programs that check their work
-
Blum, K., and Kannan, S., Designing programs that check their work, in "Proc. 21st Annual ACM Symposium on Theory of Computing, 1989," pp. 86-97.
-
Proc. 21st Annual ACM Symposium on Theory of Computing, 1989
, pp. 86-97
-
-
Blum, K.1
Kannan, S.2
-
2
-
-
0025022876
-
Self-testing/correcting with applications to numerical problems
-
Blum, M., Luby, M., and Rubinfeld, R., Self-testing/correcting with applications to numerical problems, in "Proc. 22nd Annual ACM Symposium on Theory of Computing, 1990," pp. 73-83.
-
Proc. 22nd Annual ACM Symposium on Theory of Computing, 1990
, pp. 73-83
-
-
Blum, M.1
Luby, M.2
Rubinfeld, R.3
-
3
-
-
0023995534
-
Arthur-Merlin Games: A randomized proof system and a hierarchy of complexity classes
-
Babai, L., and Moran, S., Arthur-Merlin Games: A randomized proof system and a hierarchy of complexity classes, J. Comput. System Sci. 36 (1988), 254-276.
-
(1988)
J. Comput. System Sci.
, vol.36
, pp. 254-276
-
-
Babai, L.1
Moran, S.2
-
4
-
-
0017018484
-
New directions in cryptography
-
Diffie, W., and Hellman, M. E., New directions in cryptography, IEEE Trans. Inform. Theory IT-22 (1976), 644-654.
-
(1976)
IEEE Trans. Inform. Theory
, vol.IT-22
, pp. 644-654
-
-
Diffie, W.1
Hellman, M.E.2
-
5
-
-
84874800178
-
A public-key cryptosystem and a signature scheme based on discrete logarithm
-
El-Gamal, T., A public-key cryptosystem and a signature scheme based on discrete logarithm, IEEE Trans. Inform. Theory IT-31 (1985), 469-472.
-
(1985)
IEEE Trans. Inform. Theory
, vol.IT-31
, pp. 469-472
-
-
El-Gamal, T.1
-
6
-
-
0003582942
-
On dice and coins: Models of computation for random generation
-
Feldman, D., Impagliazzo, R., Naor, M., Nisan, N., Rudich, S., and Shamir, A., On dice and coins: Models of computation for random generation, Inform. and Comput. 104 (1993), 159-174.
-
(1993)
Inform. and Comput.
, vol.104
, pp. 159-174
-
-
Feldman, D.1
Impagliazzo, R.2
Naor, M.3
Nisan, N.4
Rudich, S.5
Shamir, A.6
-
7
-
-
0024611659
-
The knowledge complexity of interactive proof systems
-
Goldwasser, S., Micali, S., and Rackoff, C., The knowledge complexity of interactive proof systems, SIAM J. Comput. 18 (1989), 186-208.
-
(1989)
SIAM J. Comput.
, vol.18
, pp. 186-208
-
-
Goldwasser, S.1
Micali, S.2
Rackoff, C.3
|