About
-
Our research strengths include
- formal methods for the analysis and enforcement of security and privacy properties in various scenarios, such as cryptographic protocols, mobile apps, web applications, smart contracts;
- principles and technologies for system security, including the evaluation of the attack surface and the development of systematic countermeasures, with a focus on mobile, web, and cloud security;
- theory and applications of cryptography, with a focus on the design of privacy-enhancing cryptographic schemes, cryptographic protocols for blockchain technologies, and proof techniques for provable security.
Latest Blog Entries
- (2021-01-29) Sound Static Analysis of Smart Contracts
- (2020-07-31) Language-Based Web Session Integrity
- (2020-04-30) Contact Tracing - How does it limit privacy? (German version)