The 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: cryptography, privacy-friendly smart metering, formal verification of cryptographic protocols.
Projects: Privacy-Friendly Smart Metering
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 leads full-time recruiting for the group.
2012 post-doc applications are due by February 17, 2012.
