Research Unit


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)

  • Cryptocurrencies (BitCoin, Ripple, Payment Channels)
  • Web Security (JavaScript, Web sessions, Browser extensions)
  • Cloud Security (Oblivious RAM, Anonymous Credentials)
  • Mobile Security (Android)
  • Online Analytics (Differential Privacy)
  • Smart Contracts (Ethereum)
  • You can learn more about the research activities of the group by looking at our publications.