Constructive Security

Interests: security, programming, and distributed systems.

Projects: Secure Distributed Computations (opens in new tab), 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 (opens in new tab)

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.

Mo Becker

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

Projects: Policy Language Research, SecPAL

Michael Roe

Interests: designing secure Internet protocols.

Projects: Secure Internet protocols

Sören Preibusch

Interests: Security, privacy and economics / social networking.

Website: http://preibusch.de/ (opens in new tab)

George Danezis

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

Christina Brzuska

Interests: My research interests are theoretical and practical cryptography.

..