Security, privacy, and cryptography
Publication
Verifiable Functional Encryption
Event
ASIACRYPT 2016 and Microsoft Research
Microsoft is a sponsor of the 22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security (ASIACRYPT) in Hanoi, Vietnam, on December 4-8, 2016.
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…