The CIS group seeks to develop techniques for securing tomorrow's global information infrastructure by exploring theoretical foundations, near-term practical applications, and long-range speculative research.
We aim to understand the theoretical power of cryptography and the practical engineering of secure information systems, from appropriate definitions and proofs of security, through cryptographic algorithm and protocol design, to implementations of real applications with easy-to-use security features.
We are also interested in the relationship of our field to others, such as complexity theory, quantum computing, algorithms, machine learning, and cryptographic policy debates.
The CIS Group is part of the Theory of Computation Group of MIT's Computer Science and Artificial Intelligence Laboratory. Professors Shafi Goldwasser, Silvio Micali, and Ron Rivest founded this group in Fall 1995.