Security, privacy, and cryptography
Publication
Verifiable Functional Encryption
Project
Private Communication
Keeping communication private has become increasingly important in an era of mass surveillance and state-sponsored attacks. While hiding the contents of a conversation has well-known solutions, hiding the associated metadata (participants, duration, etc.) remains a…
Publication
A Generic Logic for Proving Linearizability
Microsoft Research Blog
Sriram Rajamani squashed bugs on road to leadership role in Microsoft’s India research lab
By John Roach, Writer, Microsoft Research After a handful of years writing code for the telecommunications and design automation industries, computer bugs got the best of Sriram Rajamani. He witnessed firsthand how poorly constructed code…
Publication