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.
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: distributed systems, networking, and security.
Interests: I am interested in scalable and reliable systems and networks.
Interests: I am interested in security and data privacy in cloud computing. I am currently working on privacy-preserving access to remote data storage, verification of outsourced computation and data integrity protocols.
Projects: Trusted Cloud
Interests: I am interested in certificates, transport layer security, programming securely with cryptography.
Interests: theory and applications of policy languages and rule-based systems.
Projects: Policy Language Research, SecPAL
Interests: designing secure Internet protocols.
Projects: Secure Internet protocols
Interests: Security, privacy and economics / social networking.
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: My research interests are theoretical and practical cryptography.