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.

People and Projects

Mo Becker
Mo Becker

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

Projects: Policy Language Research, SecPAL

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

Interests: security, programming, and distributed systems.

Projects: Secure Distributed Computations, CVK, F7, SecPAL

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

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

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

Projects: Privacy-Friendly Smart Metering,SecPAL,F7

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.

Website: http://preibusch.de/

Security at MSR

Some related groups include:

Security at Microsoft

Recruiting

We are 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.

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds