Web pages of interest
Penn Computer and Information Science Department
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
School in Economics, Mathematics, and Computer
Science 'Baikal Readings'.
Workshop on Computer Security,
Logic, and Programming Languages
In Honor of John Mitchell's 60th Birthday,
Stanford University, May 19-20, 2016.
Science of Cyber Security: Modeling, Composition, and Measurement
Collaborative policies and assured information sharing
Software Quality and Infrastructure Protection for Diffuse Computing
TIME DC Project:
Trustworthy Infrastructure, Mechanisms, and Experimentation
for Diffuse Computing
Linear Logic home page at SRI International.
Linear Logic Proof Game.
Home page for
John Mitchell at Stanford.
Home page for
Luca Cardelli at
Hypatia Electronic Library at Queen Mary and Westfield College.
Association for Symbolic Logic.
Association for Symbolic Logic 2001 Annual Meeting.
American Mathematical Society.
Mathematical Literature on the Web.
Isaac Newton Institute
for Mathematical Sciences.
Institut de Mathématiques de Luminy
DIMACS -- Center for Discrete Mathematics and Theoretical Computer Science
Front Door to
CS at CMU.
INRIA's home page.
Annual IEEE Symposia on Logic in Computer Science.
of Programming Semantics.
European Educational Forum Foundations Summer School
on Logical Methods, BRICS, Aarhus, Denmark, 2001.
for Cryptologic Research.
IEEE Computer Security
IEEE TC on Security and Privacy.
Workshop on Formal Methods and Security Protocols.
2000 Workshop on Formal Methods and Computer Security.
2004 DIMACS Workshop on Security Analysis of Protocols.
NIST Computer Security Resource Clearinghouse.
Ron Rivest's Cryptography and Security Page.
Researchers in programming language theory, design, and implementation.
Who's Who on the Web in Formal Methods.
How to get started with HTML.
Anonymous ftp directories
Stanford Theory Group
Edinburgh CS Department
Imperial CS Department
Paris VII Equipe de Logique
Pisa CS Department
QA: Mathematics, Computer Science (UTK)
Computer Science Tech Reports Index
WWW Information Servers Map
World Wide Web Consortium
Andre Scedrov's Home Page