The Constructive Security Group at Microsoft Research Cambridge seeks robust solutions to real-world large-scale security and privacy problems. Our research topics range from distributed access control, to traffic analysis, and to secure protocol engineering.
People and Projects
Interests: cryptography, differential privacy, language-based security, formal verification of cryptographic systems, interactive and automated theorem proving.
Projects: EasyCrypt and CertiCrypt
Interests: Security, privacy and economics / social networking.
Interests: distributed systems, networking, and security.
Interests: I am interested in scalable and reliable systems and networks.
Security at MSR
Some related groups include:
Security at Microsoft
- The Constructive Security group is always looking for exceptional researchers, post-docs, and interns. See the MSR Cambridge page for details of the application procedure. Please let one of us know directly if you apply. Andy Gordon is Head of the Constructive Security Group, and leads recruiting activities.