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 regularly published in top-tier security conferences and is the result of various international collaborations

Verification Applied Cryptography

  • Cryptographic Protocols (Static Analysis)

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

  • Mobile Security (Android)

  • Cryptocurrencies (Smart Contracts)

  • Cloud Security (Oblivious RAM, Anonymous Credentials)

  • Online Analytics (Differential Privacy)

  • Cryptocurrencies (BitCoin, Ripple)

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