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 .


Michael Backes co-chairing ACM CCS 2018 Program Committee

The 25th ACM Conference on Computer and Communications Security progam committee is co-chaired by Xiaofeng Wang (Indiana University) and Michael…

Two Publications at IEEE EuroS&P 2018

At the 3rd IEEE European Symposium on Security and Privacy in London, UK, our papers Formally Reasoning about the Cost…

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…

Teaching (current term)

Secure Compilation

  • Seminar
  • Dr. Marco Patrignani
  • CISPA, Campus E9 1, Room 2.22

Recent Publications All Publications

Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security & Privacy

Duc Cuong Nguyen , Erik Derr , Michael Backes , Sven Bugiel
To appear in the Proceedings of the IEEE Symposium on Security & Privacy, May 2019 , 2019

Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels

Meng Xu , Chenxiong Qian , Kangjie Lu , Michael Backes , Taesoo Kim
In Proceedings of the 39th IEEE Symposium on Security and Privacy (Oakland). San Francisco, CA, May 2018. , 2018

The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators

Marten Oltrogge , Erik Derr , Christian Stransky , Yasemin Acar , Sascha Fahl , Christian Rossow , Giancarlo Pellegrino , Sven Bugiel , Michael Backes
39th IEEE Symposium on Security and Privacy (SP '18) , 2018