Constructive Security

Established: December 31, 1999

The Constructive Security Group at Microsoft Research Cambridge seeks robust solutions to real-world large-scale security and privacy problems.

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.

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.


Unless otherwise specified, events are on Wednesday at 11am.

  • CSG Seminars (S) are conference style talks, often interrupted by discussions
  • CSG Lounges (L) are more informal, ranging from reading groups, travel reports to the occasional admin.While they are mostly internal, visitors are welcome.

Upcoming events

Date Room Speaker Title

Past events

7-Dec-2016VioletNik Sultana,University CambridgeLight at the Middle of the Tunnel: Middleboxes for Selective Disclosure of Network Monitoring to Distrusted Parties
23-Nov-2016VioletMary Maller,PhD Scholar, UCLSignatures of Knowledge and Minimal Simulation-Extractable SNARKs
22-June-2016VioletBen Dowling,MSR InternEnd of internship talk: The miTLS crypto model
8-June-2016VioletRupert Horlick,Cambridge Computer LabAn Oblivious RAM implementation for Mirage OS
27-Apr.-2016VioletSheharbano Khattak,Cambridge Computer LabDo You See What I See? Differential Treatment of Anonymous Users
14-Apr.-2016VioletBen Dowling,Queensland University of TechnologyModern Key Exchange Security Models
2-Mar.-2016VioletKhilan Gudka, Robert N. M. Watson,Cambridge Computer LabSecurity-Oriented Analysis of Application Programs (SOAAP)
10-Jan.-2016VioletCedric Fournet,CSGTrip report from Real World Cryptography Workshop
9-Dec.-2015AuditoriumBjorn Tackmann,UC San DiegoA Constructive Approach to Secure-Channel Protocols
11-Nov.-2015VioletAndriana E. Gkaniatsou,University of EdinburghBreaking Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit
7-Oct.-2015VioletNiklas Grimm,MSR Intern;Jean Karim Zinzindohoué,MSR Intern

Embedding proofs of relational properties in F*

Low*: low-level F* programming without garbage-collection

9-Sep.-2015Small Lecture TheaterSiyao Guo,Chinese University of Hong KongThe Power of Negations in Cryptography
20-Aug.-2015VioletEsha Ghosh,MSR Intern & Brown UniversityVerifying Computation and Integrity of the Data in Constant time
22-July-2015Small Lecture TheaterGiorgia Azzurra Marson,Technische Universität DarmstadtData Is Stream: Security of Stream-based Channels
17-June-2015VioletEsha Ghosh,MSR Intern & Brown UniversityZero-knowledge authenticated data structures (ZK-ADS)


  • The Constructive Security group is always looking for exceptional researchers, research engineers, post-docs, and interns.
  • See the Careers page for details of the application procedure.
  • Please let one of us know directly if you apply. Cédric Fournet is Head of the Constructive Security Group, and leads recruiting activities.








People and Projects

People and Projects

Cedric Fournet

Interests: security, programming, and distributed systems.

Projects: Secure Distributed Computations, CVK, F7, SecPAL

Andy Gordon

Interests: language-based security, security protocols, cryptographic software, Bayesian reasoning in security.

Projects: CVK, F7, Csec, SecPAL, Infer.NET Fun

Markulf Kohlweiss

Interests: cryptography, privacy enhancing protocols, zero-knowledge proofs, privacy-friendly smart metering, formal verification of cryptographic protocols.

Projects: Privacy-Friendly Smart Metering, SecPAL, F7

Santiago Zanella-Béguelin

Interests: cryptography, differential privacy, language-based security, formal verification of cryptographic systems, interactive and automated theorem proving.

Projects: EasyCrypt and CertiCrypt

Miguel Castro

Interests: distributed systems, networking, and security.

Manuel Costa

Interests: I am interested in scalable and reliable systems and networks.

Olya Ohrimenko

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.

Projects: Trusted Cloud

Antoine Delignat-Lavaud

Interests: I am interested in certificates, transport layer security, programming securely with cryptography.


Mo Becker


Interests: theory and applications of policy languages and rule-based systems.

Projects: Policy Language Research, SecPAL

Michael Roe


Interests: designing secure Internet protocols.

Projects: Secure Internet protocols

Sören Preibusch


Interests: Security, privacy and economics / social networking.


George Danezis


Interests: computer security, privacy, and in particular anonymous communications, traffic analysis, peer-to-peer security, advanced inference for security.

Projects: Privacy and Anonymity, Privacy-Friendly Smart Metering

Christina Brzuska


Interests: My research interests are theoretical and practical cryptography.


Security at MSR

Security at MSR

Some related groups include:

Security at Microsoft

Security in Cambridge Area