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: distributed systems, networking, and security.
Interests: I am interested in scalable and reliable systems and networks.
Interests: I am interested in security and data privacy in cloud computing. I am currently working on privacy-preserving access to remote data storage, verification of outsourced computation and data integrity protocols.
Interests: I am interested in certificates, transport layer security, programming securely with cryptography.
Visits and Seminars
- The Constructive Security group is actively engaged with security experts from both academia and industry.
- Please let us know if you are interested in a short or long term visit, e.g. as part of a business trip or a Sabbatical.
- We would be happy to host you and have you as a speaker in our security seminar.
- The Constructive Security group is always looking for exceptional researchers, research engineers, 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. Cedric Fournet is Head of the Constructive Security Group, and leads recruiting activities.
Security at MSR
Some related groups include: