Constructive Security

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

    Date Room Speaker Title
    7-Dec-2016 Violet Nik Sultana,University Cambridge Light at the Middle of the Tunnel: Middleboxes for Selective Disclosure of Network Monitoring to Distrusted Parties
    23-Nov-2016 Violet Mary Maller,PhD Scholar, UCL Signatures of Knowledge and Minimal Simulation-Extractable SNARKs
    22-June-2016 Violet Ben Dowling,MSR Intern End of internship talk: The miTLS crypto model
    8-June-2016 Violet Rupert Horlick,Cambridge Computer Lab An Oblivious RAM implementation for Mirage OS
    27-Apr.-2016 Violet Sheharbano Khattak,Cambridge Computer Lab Do You See What I See? Differential Treatment of Anonymous Users
    14-Apr.-2016 Violet Ben Dowling,Queensland University of Technology Modern Key Exchange Security Models
    2-Mar.-2016 Violet Khilan Gudka, Robert N. M. Watson,Cambridge Computer Lab Security-Oriented Analysis of Application Programs (SOAAP)
    10-Jan.-2016 Violet Cedric Fournet,CSG Trip report from Real World Cryptography Workshop
    9-Dec.-2015 Auditorium Bjorn Tackmann,UC San Diego A Constructive Approach to Secure-Channel Protocols
    11-Nov.-2015 Violet Andriana E. Gkaniatsou,University of Edinburgh Breaking Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit
    7-Oct.-2015 Violet Niklas 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.-2015 Small Lecture Theater Siyao Guo,Chinese University of Hong Kong The Power of Negations in Cryptography
    20-Aug.-2015 Violet Esha Ghosh,MSR Intern & Brown University Verifying Computation and Integrity of the Data in Constant time
    22-July-2015 Small Lecture Theater Giorgia Azzurra Marson,Technische Universität Darmstadt Data Is Stream: Security of Stream-based Channels
    17-June-2015 Violet Esha Ghosh,MSR Intern & Brown University Zero-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.



Portrait of Andy Gordon

Andy Gordon

Senior Principal Research Manager

Portrait of Antoine Delignat-Lavaud

Antoine Delignat-Lavaud

Principal Researcher

Portrait of Cédric Fournet

Cédric Fournet

Senior Principal Research Manager

Portrait of Manuel Costa

Manuel Costa

Partner Research Manager

Portrait of Miguel Castro

Miguel Castro

Principal Researcher

Portrait of Santiago Zanella-Béguelin

Santiago Zanella-Béguelin

Principal Researcher