MIT
CIS
Cryptography and Information Security (CIS) Group
Computer Science & Artificial Intelligence Laboratory
Research

Research Projects in the MIT CIS Group

The group leads and participates in a range of projects spanning foundational cryptography, quantum and post-quantum cryptography, succinct and zero-knowledge proofs, and applications across computer science and beyond. Each project links to a dedicated page with a detailed description and list of publications.

Active projects

Current research themes
Project image / logo
Encrypted Computation

Computing on Encrypted Data

Study methods of computing on encrypted data and programs including private information retrieval schemes, homomorphic encryption schemes and program obfuscation schemes.

Homomorphic Encryption PIR Program Obfuscation
Project page
Leads: Vinod Vaikuntanathan
Project image / logo
Quantum Cryptography

Quantum Computing and Cryptography

Study quantum attacks on classical cryptographic primitives; design and analyze post-quantum cryptography secure against quantum adversaries, with a focus on lattice-based constructions; and study how quantum computing can enable entirely new types of cryptographic systems.

Post-quantum Lattices Quantum Cryptography
Project page
Leads: Yael Kalai, Vinod Vaikuntanathan
Project image / logo
SNARGs

Succinct Proof Systems

Developing new constructions and implementations of succinct non-interactive arguments and verifiable computation.

SNARG Succinct arguments Verifiable computation
Project page
Leads: Yael Kalai
Project image / logo
CryptoML

Cryptography and Machine Learning

Explore the use of cryptographic techniques in enabling safety and security properties of machine learning systems.

Privacy Secure computation Machine learning
Project page
Leads: Shafi Goldwasser, Yael Kalai and Vinod Vaikuntanathan