Security and Privacy Group
> Zum Inhalt

Our research interests encompass the formal verification of security and privacy properties in complex systems as well as the design of cryptographic techniques to secure and protect the privacy of users in online services.  

Our work is supported by various projects and is regularly published in top-tier security conferences, in large part as a result of international collaborations

Formal Verification of Applied Cryptography for

  • Cryptographic Protocols (Static Analysis)

  • Web Security (JavaScript, Web sessions, Browser extensions)

  • Mobile Security (Android)

  • Smart Contracts (Ethereum)

  • Cryptocurrencies (BitCoin, Ripple, Payment Channels)

  • Cloud Security (Oblivious RAM, Anonymous Credentials)

  • Online Analytics (Differential Privacy)

You can learn more about the research activities of the group by looking at our publications.