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)
Career
- 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.
人数
Antoine Delignat-Lavaud
Principal Researcher
Cédric Fournet
Senior Principal Research Manager
Manuel Costa
VP, Distinguished Engineer
Santiago Zanella-Béguelin
Principal Researcher