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
.
News
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
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
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
39th IEEE Symposium on Security and Privacy (SP '18) , 2018