Information Security & Cryptography Group

Welcome to the Information Security and Cryptography Group of Saarland University!

The group is headed by CISPA director Prof. Dr. Michael Backes and focuses on various aspects of IT security and privacy and ranges from the design, analysis, and verification of protocols and systems, mechanisms for protecting end-user privacy, and research on new attack vectors to universal solutions in software and network security.
The group is part of CISPA – the German Research Center for IT-Security, Privacy and Accountability .


4 papers at EuroS&P accepted!

Members of our group got 4 papers accepted at the 2017 IEEE European Symposium on Security & Privacy (EuroS&P). We…

Publications in 2016

The group managed to achieve the following publications in 2016: 5 papers at ACM CCS 5 papers at Usenix 2…

Michael Backes admitted into acatech

We are happy and honored to announce the admission of Michael Backes into the German Academy of Science and Engineering…

Teaching (current term)

Formal Models and Techniques for Analyzing Security Protocols

  • Seminar
  • Prof. Dr. Michael Backes; Dr. Robert Künnemann
  • tbd.
  • tbd.


  • Proseminar
  • Michael Backes, Christoph Sorge, Sven Bugiel
  • Wednesdays, 14:00-16:00 (c.t.)
  • Building E9.1, Room 0.06

Web Security

  • Full-day Course
  • Michael Backes
  • 28.8.2017-8.9.2017 10:00-16:00

Recent Publications All Publications

Identifying Personal DNA Methylation Profiles by Genotype Inference

Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P) , 2017

Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code

Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17) , 2017

Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying

Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17) , 2017