Security, privacy, and cryptography
Publication
Roles, Stacks, Histories: A Triple for Hoare
Video
Diverse Expertise at Faculty Summit 2010
Microsoft Research’s Faculty Summit 2010 brought together a unique set of computer scientists and researchers with diverse interests—from cryptography and machine learning to embedded-system design and user-interface design. Learn more about these experts and hear…
Group
Sociotechnical Systems
Sociotechnical Systems is a network of social science and humanistic researchers, part of the Microsoft Research labs in New England. Begun in 2009, the researchers who now lead the initiative are: Nancy Baym, Tarleton Gillespie,…
Project
Lattice-based Cryptography
Lattices are geometric objects that have recently emerged as a powerful tool in cryptography. Lattice-based schemes have also proven to be remarkably resistant to sub-exponential and quantum attacks (in sharp contrast to their number-theoretic friends).…
Publication