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: 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:
- MSR India Cryptography, Security, and Applied Mathematics
- MSR Redmond Cryptography
- MSR Redmond Security and Privacy
- MSR Redmond XCG Security and Cryptography
Security at Microsoft
- For information on trustworthy computing, see this Overview.
- For product security and updates, see the Safety & Security Centre.
- To report a product vulnerability, visit the Microsoft Security Response Center.
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.
