-
1
-
-
84886023553
-
Generating satisfiable problem instances
-
Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, and Bart Selman. Generating satisfiable problem instances. In AAAI/IAAI, pages 256-261, 2000.
-
(2000)
AAAI/IAAI
, pp. 256-261
-
-
Achlioptas, D.1
Gomes, C.P.2
Kautz, H.A.3
Selman, B.4
-
2
-
-
1642602228
-
Computationally private information retrieval with polylogarithmic communication
-
C. Cachin, S. Micali, and M. Stadler. Computationally private information retrieval with polylogarithmic communication. Lecture Notes in Computer Science, 1592:402-414, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1592
, pp. 402-414
-
-
Cachin, C.1
Micali, S.2
Stadler, M.3
-
3
-
-
2442421200
-
Uncheatable grid computing
-
Tokyo, Japan, March 23-26
-
W. Du, J. Jia, M. Mangal, and M. Murugesan. Uncheatable grid computing. In The 24th International Conference on Distributed Computing Systems (ICDCS'04), pages 4-11, Tokyo, Japan, March 23-26 2004.
-
(2004)
The 24th International Conference on Distributed Computing Systems (ICDCS'04)
, pp. 4-11
-
-
Du, W.1
Jia, J.2
Mangal, M.3
Murugesan, M.4
-
5
-
-
84949235873
-
Secure distributed computing in a commercial environment
-
P. Syverson, editor, Proceedings of Financial Crypto 2001, Springer-Verlag
-
P. Golle and S. Stubblebine. Secure distributed computing in a commercial environment. In P. Syverson, editor, Proceedings of Financial Crypto 2001, volume 2339 of Lecture Notes in Computer Science, pages 289-304. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2339
, pp. 289-304
-
-
Golle, P.1
Stubblebine, S.2
-
6
-
-
0242388942
-
-
John Wiley & Sons, New York, NY
-
M. T. Goodrich and R. Tamassia. Algorithm Design: Foundations, Analysis, and Internet Examples. John Wiley & Sons, New York, NY, 2002.
-
(2002)
Algorithm Design: Foundations, Analysis, and Internet Examples
-
-
Goodrich, M.T.1
Tamassia, R.2
-
8
-
-
26444620946
-
Cheaters bow to peer pressure
-
Feb. 15
-
L. Kahney. Cheaters bow to peer pressure. Wired Magazine, Feb. 15, 2001.
-
(2001)
Wired Magazine
-
-
Kahney, L.1
-
9
-
-
84880900032
-
Balance and filtering in structured satisfiable problems
-
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, and Mark E. Stickel. Balance and filtering in structured satisfiable problems. In IJCAI, pages 351-358, 2001.
-
(2001)
IJCAI
, pp. 351-358
-
-
Kautz, H.A.1
Ruan, Y.2
Achlioptas, D.3
Gomes, C.P.4
Selman, B.5
Stickel, M.E.6
-
10
-
-
0034140491
-
Logical cryptanalysis as a SAT problem: The encoding of the Data Encryption Standard
-
F. Massacci and L. Marraro. Logical cryptanalysis as a SAT problem: The encoding of the Data Encryption Standard. Journal of Automated Reasoning, 24(1-2): 165-203, 2000.
-
(2000)
Journal of Automated Reasoning
, vol.24
, Issue.1-2
, pp. 165-203
-
-
Massacci, F.1
Marraro, L.2
-
12
-
-
0003197918
-
Protecting mobile agents against malicious hosts, springer-verlag
-
T. Sander and C. F. Tschudin. Protecting mobile agents against malicious hosts, springer-verlag. Lecture Notes in Computer Science, 1419:44-60, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1419
, pp. 44-60
-
-
Sander, T.1
Tschudin, C.F.2
-
15
-
-
0003254747
-
Mobile agents and security
-
Springer
-
G. Vigna, editor. Mobile Agents and Security, volume 1419 of Lecture Notes in Computer Science. Springer, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1419
-
-
Vigna, G.1
-
16
-
-
84974573487
-
Fast verification of any remote procedure call: Short witness-indistinguishable one-round proofs for np
-
July
-
R. Ostrovsky W. Aiello, S. Bhatt and S. Rajagopalan. Fast verification of any remote procedure call: short witness-indistinguishable one-round proofs for np. In Proceedings of the 27th International Colloquium on Automata, Languages and Programming, pages 463-474, July 2000.
-
(2000)
Proceedings of the 27th International Colloquium on Automata, Languages and Programming
, pp. 463-474
-
-
Ostrovsky, R.1
Aiello, W.2
Bhatt, S.3
Rajagopalan, S.4
-
17
-
-
85015667755
-
Cryptographic support for fault-tolerant distributed computing
-
Connemara, Ireland, September
-
F. Schneider Y. Minsky, R. van Renesse and S. D. Stoller. Cryptographic support for fault-tolerant distributed computing. In Proceedings of Seventh ACM SIGOPS European Workshop, System Support for Worldwide Applications, pages 109-114, Connemara, Ireland, September 1996.
-
(1996)
Proceedings of Seventh ACM SIGOPS European Workshop, System Support for Worldwide Applications
, pp. 109-114
-
-
Schneider, F.1
Minsky, Y.2
Van Renesse, R.3
Stoller, S.D.4
-
18
-
-
84982946701
-
A sanctuary for mobile agents
-
B. S. Yee. A sanctuary for mobile agents. In Secure Internet Programming, pages 261-273, 1999.
-
(1999)
Secure Internet Programming
, pp. 261-273
-
-
Yee, B.S.1
|