Robert L. Karash

Compiler Development	Security & Cryptography	AI
Quantum Computing	High Performance Computing	Computability
Complexity	History of Computing	Miscellaneous

• Groups
  • The National Compiler Infrastructure Project
  • The Stanford SUIF Compiler Group
  • The Massively Scalar Compiler Group - Rice University
• History
  • Computer Languages History
  • Milestones in Compiler Development
  • An Interactive Historical Roster of Computer Languages
  • The FORTRAN Automatic Coding System - 1957 paper by Backus, et al.
• Books Online
  • Compilers and Compiler Generators - P.D. Terry
    
  • Compiler Construction by Niklaus Wirth (2005)
• Compiler Design and Implementation
  • Intel Labs IA-64 Compiler Technology
  • Whetstone ALGOL Revisited by Brian Randell (1964)
• General
  • Catalog of Compiler Construction tools
  • Correctness of a Compiler for Arithmetic Expressions
  • Researchers in Programming Languages and Compilers
  • Programming Languages List
  • Comp.Compilers Newsgroup

• Shortcuts to major topics in this section:

  Introductions	Link Collections	Homepages
  Groups	Steganography	Biometrics
  Courses	Quantum Cryptography	AES/Rijndael
  Books Online	Arithmetica Key Exchange	Braid Groups/Crypto
  Companies	Historical	Journals
  Organizations	Papers/Reports/Surveys	Prime Numbers
  Random Number Generation	Electronic Voting	Upcoming Conferences
  General

• Introductions
  • Basic Introduction to Cryptography
  • Crypto Glossary and Dictionary
  • Cryptography A-Z
  • Cryptography Notes - Lawrie Brown (ADFA)
  • Cryptography Tutorial - Peter Gutmann, University of Auckland
  • McCurley's Whirlwind Tour of Cryptology
  • Grabbe's Crypto Number Theory
  • Sci.crypt FAQ
  • Shortcut to Cryptography
  • Crypto Questions and Answers - RSA Laboratories
  • Timeline of Cryptography
  • Some Facets of Complexity Theory and Cryptography - Jorg Rothe
  • Computer System and Network Security
  • Network Security Library
  • Codes, Ciphers, & Codebreaking
  • A Cryptographic Compendium - John Savard
  • An Overview of Cryptography - Gary C. Kessler
• Link Collections
  • Security Related Links (SIRENE Researchers)
  • Ron Rivest's Links to Cryptography
  • Crypto and Security Link Farm - Peter Gutmann, University of Auckland
  • Crypto links - Bellare, UCSD
  • Cryptographic Resources - Cryptography Research Inc.
  • Cryptology - Helger Lipmaa
• Home Pages
  • Ron Rivest's Home Page at MIT
  • Dorothy Denning's Home page - Georgetown University
  • Jim Reeds' Home Page
  • Andrew Odlyzko's Home Page - University of Minnesota
  • Richard Pinch's Home Page
  • Richard Pinch's Research Page
  • Paul Garrett's Cryptography Page
  • Neal Wagner's Page - University of Texas, San Antonio
  • Strategic Security - Fred Cohen
  • Research in Cryptography - Bellare, UCSD
  • Patrick Dehornoy's Home Page
  • Simon Singh's Home Page
  • Susan Landau's Home Page
  • Ross Anderson's Home Page
  • David Kahn's Home Page
  • David Salomon's Home Page
  • David Wagner's Home Page
  • Kristin Lauter's Home Page
  • Larry Washington's Home Page
  • John Savard's Home Page
  • Lawrie Brown's Home Page
  • Steve Bellovin's Home Page
  • Helger Lipmaa's Home Page
  • Matt Blaze's Cryptography Resource
  • Peter Gutmann's Home Page
• Groups
  • Microsoft Research - Cryptography Group
  • Computer Security Group - University of Cambridge
  • McCurley's List of Cryptography Researchers
  • Secure Internet Programming Laboratory - Princeton University
  • COAST Project - Purdue University
  • Information Systems Integrity Group - London School of Economics
  • IBM Zurich Security Research Group
  • The ISAAC Security and Encryption Group at UC Berkeley
  • GSM Cloning - ISAAC Security Group, UC Berkeley
  • Computer Security Group at UC Davis
  • IBM Research Network Security Group - Projects
  • CITI - University of Michigan
  • UCL/DICE Crypto Group
  • SEMPER Home Page
  • MIT Cryptography and Information Security Group
  • Cryptography and Information Security Research Group - ETH
  • Cryptography and Information Security Group - University of Bristol
  • COSIC - K.U. Leuven
  • Centre for Applied Cryptographic Research - University of Waterloo
  • Center for Secure Information Systems - George Mason University
  • Computer Security Resource Center - NIST
  • SAIT Laboratory - Florida State University
  • IETF Security Group
  • The Johns Hopkins University Information Security Institute (ISI)
  • CERIAS Group - Purdue University
  • Center for Applied Cybersecurity Research - Indiana University
  • Information Systems and Internet Security Lab (ISIS) - Polytechnic University
  • Algebraic Cryptography Center - Stevens Institute of Technology
• Steganography
  • On The Limits of Steganography
  • The Information Hiding Homepage
  • Neil Johnson's Steganography Page
  • Neil Johnson's Steganalysis page
  • Steganography Info and Archive
  • Digital Watermarking
  • Steganography and Cryptography
• Biometrics
  • The Biometric Consortium
  • Biometrics - tutorial links
  • Iris Recognition
  • Iris Scanning
  • Biometric Identification - National Biometric Test Center, SJSU
  • Combining Cryptography with Biometrics Effectively - Ross Anderson
• Courses
  • CCNY Computer Security course, Spring 1999
• Quantum Cryptography
  • Introduction to Quantum Cryptoanalysis
  • A Bibliography of Quantum Cryptography
  • id Quantique - Quantum Cryptography
  • Quantum Cryptography - Nicolas Gisin, et al. - University of Geneva
  • Quantum Cryptography in Practice
  • A Quick Glance at Quantum Cryptography - S. Lomonaco
  • Background on Quantum Key Distribution - NIST
  • Quantum Information Group - Toshiba
  • Why Quantum Cryptography? - Fred Piper, et al.
  • From non-Abelian Anyons to Quantum Computation to Coin-flipping by Telephone
• AES/Rijndael
  • AES - NIST
  • AES/Rijndael Analysis - N. Courtois
  • Communications Security for the 21st Century: AES - Susan Landau
  • Polynomials in the Nation's Service - Susan Landau
  • Rijndael for Algebraists by H. Lenstra
• Books Online
  • Modern Cryptography book - Oded Goldreich
  • Handbook of Applied Cryptography
  • Lecture Notes on Cryptography (by S. Goldwasser and M. Bellare)
  • Coding Theory and Cryptography - David Joyner
  • Basic Cryptanalysis
• Arithmetica Key Exchange
  • Constructing Public Key Cryptosystems via Combinatorial Group Theory - M. Anshel
  • Arithmetica Key Exchange - Fall 2000 MSRI talk by M. Anshel
  • New Key Agreement Protocols in Braid Group Cryptography - M. Anshel
  • An Algebraic Method for Public-Key Cryptography - M. Anshel
  • A Linear Time Matrix Key Agreement Protocol - D. Goldfeld
• Braid Groups/Braid Group Cryptography
  • Cryptography and Braid Groups - Helger Lipmaa
  • Braid-based cryptography by Patrick Dehornoy
  • Braid Group Cryptography and Quantum Cryptanalysis - M. Anshel
  • Braids and Permutations - Vladimir Lin
  • Braids: A Survey - Joan Birman
  • Braid Group Cryptography Tutorial - Andrew Fish
  • Braid Group Cryptography - KAIST
  • Braid Group Cryptography - David Garber
• Companies
  • RSA Labs Home Page
  • Counterpane Systems - Bruce Schneier
  • Ciphers by Ritter
  • Microsoft Security and Privacy Page
  • Security Focus
• Historical
  • A Mathematical Theory of Communication - Shannon
  • Biography of Claude Shannon
  • Alan Turing Home Page
  • Bletchley Park Academic Website (Codes & Ciphers)
  • The Bletchley Park Trust
  • Frode's Cryptology Page
  • Turing's Treatise on ENIGMA
  • The Turing Digital Archive
  • The Turing Project - University of Canterbury
  • Code-Breaker: The life and death of Alan Turing
• Journals
  • Journal of Cryptology
  • Cipher - Newsletter of the IEEE TC on Security and Privacy
  • IACR Cryptography Preprint Archive
  • Cryptologia
  • IEEE Security & Privacy Journal
• Organizations
  • International Association for Cryptological Research
  • Smart Card Alliance
  • IEEE P1363 - Standard Specifications For Public-Key Cryptography
  • Electronic Privacy Information Center
  • International Financial Cryptography Association
  • Electronic Frontier Foundation
  • ECRYPT
• Papers/Reports/Surveys
  • Ron Rivest's Chaffing and Winnowing Paper
  • Report on the Risks of Key Recovery
  • Cryptography's Role in Securing the Information Society - NRC/CSTB
  • Crypto Law Survey
  • HMG Secure E-mail
  • Security in Clinical Information Systems
  • Review of Simon Singh's The Code Book by Jim Reeds
  • Susan Landau's Review and Overview of Cryptography
  • A Survey of Public Key Cryptosystems - Koblitz & Menezes
  • Hash Functions - Susan Landau
• Prime Numbers
  • Prime Numbers - University of Tennessee
• Random Number Generation
  • Theory and Practice of Random Number Generation
  • Randomness - David Wagner
  • Random Number Generation and Testing - NIST
  • Random Number Generation - The Mandala Centre
• Electronic Voting
  • Analysis of an Electronic Voting System by Rubin, et al.
  • Security Analysis of SERVE by Rubin, Wagner, et al.
  • Black Box Voting by Bev Harris
  • Ron Rivest's Page on Electronic Voting
• Upcoming Conferences/Call for Papers
  • Upcoming Security Conferences (via Cambridge University)
  • Crypto Call for Papers, Conferences, links (via UCL, Belgium)
• General
  • Cryptome
  • Information Warfare - IASIW
  • "Takedown" - Story of Shimomura and Mitnick
  • Real Knots in Rope
  • KnotPlot
  • Kryptos sculpture
  • Algebraic Cryptography - Joint Meeting at Mainz, June 2005

• Introductions
  • What is AI? by John McCarthy
  • Introductory Information about AI
• Groups
  • Centre for Intelligent Systems and their Applications - Edinburgh University
  • MIT AI Lab
  • SRI Artificial Intelligence Center
  • AI Lab, University of Zurich
  • Knowledge Systems Laboratory, Stanford University
  • Rensselaer Artificial Intelligence and Reasoning Laboratory
  • Automated Reasoning Group - University of Cambridge
• Automated Reasoning
  • Association for Automated Reasoning
  • A Formally Verified Proof of the Prime Number Theorem
  • Isabelle Theorem Proving Environment - Cambridge University
• Home Pages
  • John McCarthy's Home Page at Stanford University
  • Marvin Minsky's Home Page at MIT
  • Edward Feigenbaum's Home Page at Stanford University
• Associations
  • American Association for Artificial Intelligence
• The Turing Test
  • Computing Machinery and Intelligence by Alan M. Turing, 1950
  • Machine intelligence and the Turing Test
  • The Turing Test: 50 Years Later
  • The Turing Test Page
  • The Loebner Prize
  • The Turing Test - Mark Humphrys
  • The Chatterbox Challenge
• General
  • Minds and Machines - Ned Block, NYU
  • Cognitive Science AI papers
  • The N+k Queens Problem Page

• Introductions
  • Samuel Braunstein's Introduction to Quantum Computation
  • Introduction to Quantum Computation (Oxford University)
  • Searching a Quantum Phone Book
  • Searching with Quantum Computers - Grover
  • Quantum Information Science - NSF
  • Quantum Computation References - Lomonaco
  • Quantum Information Science and Technology Roadmapping Project
  • Introduction to Quantum Computing - Zdzislaw Meglicki
  • The Physics of Information
  • An Introduction to Quantum Computing for Non-Physicists - Rieffel, Polak
  • Beyond Bits: The Future of Quantum Information Processing
  • Linear Optical Quantum Computing
• Groups
  • Quantum Computing Laboratory, University of Montreal
  • Teleportation at IBM Research
  • Quantum Computation at ISI/USC
  • Theoretical Quantum Optical Group, University of Innsbruck
  • Centre for Quantum Computation - Oxford University
  • Quantum Information Science Group - Stanford University
  • Institute for Quantum Information - Caltech
  • Group of Applied Physics (GAP) - University of Geneva
  • Quantum Computing Research Centers
• Journals
  • Virtual Journal of Quantum Information
  • Quantum Information and Computation
• Home Pages
  • John Preskill's home page at Cal Tech
• General
  • SIAM Journal on Computing - Quantum Computation papers
  • Quantum Computation Archive
  • Research in Quantum Computing worldwide

• Groups
  • Maui High Performance Computing Center
  • Intel's ASCI Red Supercomputer - Sandia National Labs
  • ASC - Sandia National Labs
  • ASC - Lawrence Livermore Labs
  • MIT Supercomputing Technologies Group
  • The National Center for Supercomputing Applications (NCSA)
  • NPACI - National Partnership for Advanced Computational Infrastructure
• General
  • Parallel Computing Sites/Links - University of Western Australia
  • Top 500 Supercomputer Sites
  • IEEE Computer Society's ParaScope

• Introductions
  • Computability Theory - Notre Dame University
  • Fundamentals of Computing - Leonid Levin
  • Introduction to Computability Theory - Zucker/Pretorius
  • Theory of Computation
• Home Pages
  • MIT - Michael Sipser's Home Page
  • Gregory Chaitin's Homepage
  • S. Barry Cooper's Homepage
• Groups
  • MIT - LCS Theory of Computation Group
• Courses
  • Formal Computation Course - University of Nottingham
  • Theory of Computation Course - Villanova
  • CCNY Computability course, Summer 1998
  • Theory of Computation Course - University of Pennsylvania
• Papers/Reports/Surveys
  • On Computable Numbers - A.M. Turing, 1936
  • Computing over the Reals - Lenore Blum
  • Church-Turing Thesis
• Books Online
  • An Introduction to the Theory of Computation
• General
  • Sipser's book - Introduction to the Theory of Computation
  • Average-Case Complexity Forum
  • Hypercomputation Research Network

• Introductions
  • Computational Complexity for Physicists - Stephan Mertens
  • Some Facets of Complexity Theory and Cryptography - Jorg Rothe
  • PRIMES Is in P: Breakthrough for "Everyman" by Folkmar Bornemann
  • The History and Status of the P versus NP Question - M. Sipser
  • Computational Complexity Theory
• Home Pages
  • Lance Fortnow's Home Page
• Courses
  • CCNY Computational Complexity course, Fall 1998
• Books Online
  • Algorithms and Complexity - Wilf
• Papers/Reports/Surveys
  • Complexity Zoo
  • Complexity Talks - Lance Fortnow
  • Primes in P - Agrawal, et al.
• General
  • Millenium Prize Problems - Clay Mathematics Institute
  • Minesweeper and P vs NP
  • Lance Fortnow's Complexity Weblog

• Museums and Centers
  • The Charles Babbage Institute
  • Computer History Museum
  • The Software History Center
  • Computer Museum of America
  • Smithsonian Chip Collection
  • IEEE History Center
  • University of Virginia's Computer Museum
• Resources
  • J.A.N. Lee's History of Computing
  • IEEE Computing History Resources
  • Thoughts on the Past and Future - Bob Bemer
  • The History of Computing Project
  • Portraits of Open Source Pioneers
  • Columbia University Computing History
  • Key Events in the History of Computing
  • Computer Pioneers - Wikipedia
  • Fire in the Valley
  • Virtual Museum of Computing
  • Inventors in Computing & Telecommunications
• Documents
  • Historic Documents in Computer Science
  • Historic Computer Manuals

• Shortcuts to major topics in this section:

  Search Engines	Groups	Homepages
  Mathematics	Computer Science	PrePrint Archives
  Electronic Archives	Dictionaries	Encyclopedias
  Online Books	Reference Materials	WWW Information
  Internet Tools	Courses/Materials Online	Journals
  Patent Information	Language/Website Translators	Nanotechnology
  General

• Search Engines
  • Yahoo! - Google - Altavista - Lycos - HotBot - Metacrawler - Teoma
• Groups
  • IBM Research Labs Worldwide
  • MIT Laboratory for Computer Science
  • Bell Labs
  • Computer Science Laboratory - SRI
  • MIT Media Lab
  • Xerox Palo Alto Research Center
  • Microsoft Research
  • The Santa Fe Institute
  • Computer Science Department - Stanford University
  • Sun Microsystems Labs
  • The Newton Institute for Mathematical Sciences
  • CSLI - Center for the Study of Language and Information
  • Hewlett-Packard Labs
  • Mathematical Sciences Research Institute (Berkeley)
  • Institute for Advanced Study
  • Clay Mathematics Institute
  • Digital Technology Center - University of Minnesota
  • Telecommunications Software and Multimedia Laboratory - Helsinki
  • Centre for Experimental and Constructive Mathematics
  • Pacific Institute of Mathematical Sciences
  • The Edge Foundation
  • University College London Interaction Centre
  • Laboratoire J.-V.Poncelet - French-Russian Mathematics Laboratory
  • FX Palo Alto Laboratory
  • Dalhousie Distributed Research Institute and Virtual Environment
• Home Pages
  • Don Knuth's Home Page
  • Samuel Lomonaco's Home Page
  • Brian Hayes' Home Page
  • Oded Goldreich's Home Page
  • Niklaus Wirth's Home Page
  • Jonathan Borwein's Home - Page - Dalhousie University
  • Jonathan Borwein's Home - Page - Simon Fraser University
  • Peter Borwein's Home Page
  • Harold Thimbleby's Home Page
  • Bill McKeeman's Home Page
  • Frank Ruskey's Home Page
  • Matthew Watkins Home Page
  • Jack Copeland's Home Page
  • Lynn & Anne Wheeler's Home Page
  • Gordon Bell's Home Page
  • David H. Bailey's Home Page
  • Dan McCracken's Home Page
• Mathematics
  • History of Mathematics - University of St. Andrews in Scotland
  • SIAM - Society for Industrial and Applied Mathematics
  • SIAM - Journals On-line
  • Hilbert's 23 Problems
  • Number Theory Web
  • Number Theorists Home Pages
  • Things of Interest to Number Theorists
  • Mathpages
  • Mathematics Sites Around the World
  • The European Mathematical Information Service
  • The International Mathematical Union
  • Mathematics Genealogy Project
  • Louis Kauffman's Homepage - Knot Theory
  • American Mathematical Society
  • Mathematical Association of America
  • The PI Pages
  • Organic Mathematics Page
  • James Milne's Mathematics Page
  • Digital Mathematics Archive - UBC
  • American Institute of Mathematics
  • Combinatorial Object Server
  • Ron Knott's Mathematics Page
  • Mathenomicon
  • List of Mathematical Theorems
  • Atlas of Finite Group Representations
  • AMS Math on the Web
  • SOS Math Tutorials
  • Algebraic Number Theory by William Stein
  • Brief History of Finite Groups
  • Development of Group Theory
  • Pacific Journal of Mathematics
  • New York Journal of Mathematics
  • Federated World Directory of Mathematicians
  • Experimental Math
  • Millenium Mathematics Project - Cambridge University
  • Electronic Library of Mathematics
• Computer Science
  • Collection of Computer Science Bibliographies
  • WWW Computer Architecture Home page
  • Yahoo's Programming Languages
  • The Philosophical Computer
  • The Manuscripts of Edsger W. Dijkstra
  • Programming Language Tutorials
  • The Art of Assembly Language Programming
  • Doctor Dobb's Journal
  • Software: Practice & Experience
  • Computer Science Bibliography Database (DBLP)
• PrePrint Archives
  • arXiv.org e-Print Archive
  • AIM Preprint Series
  • Philosophy of Science Preprint Archive
  • Cognitive Sciences Eprint Archive
  • UC Davis Front End for Mathematics arXiv
• Electronic Archives
  • NEC ResearchIndex Digital Library (CiteSeer)
  • Number Theory and Physics Archive
  • NUMDAM - Older French Mathematics Journals
  • MathSciNet - Mathematical Reviews
  • Caltech Electronic Thesis Database
• Dictionaries
  • Online Dictionaries
  • FOLDOC Online Dictionary of Computing
  • Dictionary of Algorithms & Data Structures
  • Dictionary of Units of Measurement
  • Onelook Dictionary Search
  • Multilingual E-Translation Portal
  • Word2Word Language Resources
  • Webopedia Computer Dictionary
  • 1913 Webster's Revised Unabridged Dictionary
  • Free Online Dictionary
  • Online Etymological Dictionary
• Encyclopedias
  • Wikipedia
  • PC Webopaedia Technology Encyclopedia
  • Encyclopedia of Mathematics
  • Scientific Encyclopedias
  • Encyclopedia.com
  • 1911 Britannica Encyclopedia
  • Encyclopedia of Graphic Symbols
  • Stanford Encyclopedia of Philosophy
  • Probert Encyclopaedia
  • Encyclopedia of Astrobiology, Astronomy, Spaceflight
  • Internet Encyclopedia of Philosophy
• Online Books and Literature
  • WWW Virtual Library
  • Internet Public Library
  • Online Books Page
  • The Math Forum Internet Mathematics Library
  • Perseus Digital Library
  • Project Gutenberg
  • Bartleby Project Great Books
  • Classic Reader Books
  • Einstein Archives Online
  • The Literature Network
  • Internet History Sourcebooks Project
  • Worldwide School Library
  • The Newton Project - Isaac Newton papers
  • The Perseus Digital Library - Tufts University
  • Sacred Texts Online
  • Historical Texts Archive
  • The Nineteenth Century in Print - Library of Congress
  • Onlne Economics Textbooks
  • Making of America Books - University of Michigan
  • Online Books via The University of Adelaide
• Reference Materials
  • Reference Desk
  • Perry-Castaneda Library Map Collection
  • How Things Work
  • ARTFL Project
  • Comprehensive Guide to the PC
  • Mythology Guide
  • EDGAR - SEC company data
  • Library of Congress
  • Virtual Center for the History of Science & Technology
  • Answers.com
• WWW Information
  • RFC's - General Info
  • RFC's online - 1969 (#1) - present
  • IETF - Internet Engineering Task Force
  • ISOC - Internet Society
  • W3C - World Wide Web Consortium
  • World Wide Web - Beyond the Basics
  • Internet FAQ Consortium
  • As We May Think - Vannevar Bush, July 1945
  • History of the Internet
  • The Living Internet
  • Internet Mail Consortium
• Internet Tools
  • Internet Traffic Report
  • Internet Tools
  • Internet Archive Wayback Machine
  • Internet Query Tools
  • Central Ops Internet Tools
• Courses and Course Materials Online
  • World Lecture Hall
  • MIT OCW - OpenCourseWare
• Journals
  • American Scientist Magazine
  • New Scientist
  • IBM Research Journals
  • Plus Journal - Millenium Mathematics Project
  • Proceedings of the National Academy of Sciences
• Patent Information
  • US Patent & Trade Office
  • European Patent Office
  • Free Patents Online
• Language/Website Translators
  • Systran
  • Altavista Babel Fish
  • Babelfish
• Nanotechnology
  • Nanotechnology paper by Richard Feynman (1959)
  • Foresight Institute
• General
  • Universities Worldwide
  • Past & Upcoming Academic Conferences
  • GPO Access
  • MIT's Inventor Biographies