Foundations of Computer Science at The Weizmann Institute of Science

Topics: Cryptography and Security   Linear Programming
        Electronic Commerce and Auctions   Non-standard models of computation

Bibliographies

Joel Seiferas' TCS Papers Database

The Hypertext Bibliography Project (MIT) STOC, FOCS etc.

Glimpse Bibliography Search

The Electronic Colloquium on Computational Complexity

A compendium of NP optimization problems (P. Crescenzi and V. Kann)

Aviezri Fraenkel's bibliography on combinatorial games (local!)

Computer Science Bibliographies

Ron Rivest's Cryptography Bibliography

Doug Stinson's bibliography on secret sharing schemes

Yahoo - Computer Science:Technical Reports

C.S. Tech Reports (indiana)

Conferences

Call for Papers page (U. of Louvain)

Journals

Chicago Journal of Theoretical Computer Science

The Electronic Journal of Combinatorics (Our own mirror site!)

The Journal of Universal Computer Science

Societies

ACM SIGACT

ACM SIGACT's list of useful theory pages

European Association for Theoretical Computer Science

International Association for Cryptologic Research

SIAM WWW Server

Class notes and pages

General

• Concrete Mathematics Andrei Broder, Stanford University.
• How to Think Like A Computer Scientist Steven Rudich, CMU.
• Probability and Graph Theory Manuel Blum, UC Berkeley

Algorithms

• Algorithms for Molecular Biology Dalit Naor & Ron Shamir, Tel-Aviv University.
• Advanced Algorithms (Algebraic and Number Theoretic) Johan Hastad.
• Approximation Algorithms Yuval Rabani, Technion.
• Advanced Algorithms Michel Goemans, MIT.
• Minicourse on approximation algorithms David P. Williamson, IBM T. J. Watson.
• Advanced Algorithms and Online Algorithms and Competitive Analysis Rajeev Motwani, Stanford.
• Randomized Algorithms Avrim Blum, CMU
• Applied Extremal Combinatorics Dan Spielman, MIT
• Algorithms in the "Real World" Guy Blelloch, Gary Miller, and Danny Sleator, CMU

Computational Complexity

• Boolean Circuit Complexity Uri Zwick, Tel-Aviv University

Computational Learning Theory and Machine Learning

• Learning Yishai Mansour, Tel-Aviv University
• Machine Learning Theory Avrim Blum, CMU.
• Introduction to Information Processsing and Learning Naftali Tishbi, Hebrew University.

Cryptography

• Foundations of Cryptography, Oded Goldreich (local!):
• An Essay (1997).
• Fragments of a Book (1995),
• Zero-Knowledge and Secure Function Computation (revised 1998)
• Lecture Notes (1989), and
• Modern Cryptography, Probabilistic Proofs and Pseudorandomness, book page
• Cryptography Shafi Goldwasser.
• Network and Computer Security Ron Rivest, MIT.
• Design and Analysis of Cryptographic Protocols Avi Rubin and Matt Franklin, NYU.
• Cryptology Eli Biham, Technion.
• Modern Cryptography Phil Rogaway, UC Davis.

Distributed and Parallel Computing

• Parallel Algorithms and Programming Guy Blelloch, CMU.
• Applications of Parallel Computers Jim Demmel, Berkeley.
• Algorithmic issues in high-performance networks Yuval Rabani, Technion.
• Multiprocess Synchronization Nir Shavit
• Computer Networking Kevin Fall and Mike Luby, UC Berkeley.

Information Theory and Coding Theory

• Introduction to Coding Theory Ronny Roth, Technion.
• Information Theory John Lafferty, CMU.

Cryptography and Security

Oded Goldreich's Foundations of Cryptography page

CIPHER: Newsletter of the IEEE Computer Society's TC on Security and Privacy.

Ron Rivest's Cryptography and Security page.

NetBill Project Home Page

The NetCheque(SM) network payment system

Commercial Services on the Net

Security research at IBM Zurich

Network Payment Mechanisms and Digital Cash

The SSL protocol

A page containing information on Netscape's security problems including the recent problem with the pseduo-random generator.

Yahoo's security links

Crypto Law Survey

The NIS&T meeting on key escrow export

Security/Cryptography Standards, Books, and Papers

Internet RFCs site

Theory of Cryptography Library Mirror Site at the Hebrew University.

Linear Programming

Imperial College, Management School

OR-LIBRARY

lp_solve ftp site

Linear Programming FAQ

Michael Trick's Operations Research Page

Semidefinite Programming

Farid Alizadeh's Semidefinite Programming

TSPLIB

Electronic Commerce and Auctions

AuctionBot (University of Michigan)

Hal Varian's page (UC Berkeley)

Non-standard models of computation

Laboratory for Molecular Science at USC (Len Adleman)

Erik Winfree's Molecular Computation page

John Reif's Bookmarks Lot's of pointers to molecular and quantum computing.

Smolin's Quantum Computing Page

Quantum Information/Computation/Cryptography page at Stanford

Quantum Information/Computation/Cryptography page at Oxford

Laboratory for Theoretical & Quantum Computing at the University of Montreal.

General