Send email Copy Email Address

Publications

Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.

Filter

Year 2022

2022-01-22

Composing Secure Compilers

Conference / Medium

Workshop on Principles of Secure Compilation (PriSC)

Tags
Reliable Security Guarantees
Authors
  • Matthis Kruse
  • Marco Patrignani
Full Paper Visit Detail Page
2022-01-22

Subcubic certificates for CFL reachability

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Dmitry Chistikov
  • Rupak Majumdar
  • Philipp Schepper
Full Paper Visit Detail Page
2022-01-19

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Article

Logical Methods in Computer Science

Tags
Threat Detection and Defenses
Authors
  • Sebastian Biewer
  • Rayna Dimitrova
  • Michael Fries
  • Maciej Gazda
  • Thomas Heinze
  • Holger Hermanns
  • Mohammad Reza Mousavi
Full Paper Visit Detail Page
2022-01-15

HADES-IoT: A Practical and Effective Host-Based Anomaly Detection System for IoT Devices (Extended Version)

Article

IEEE Internet of Things Journal

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2022-01-09

Counting list homomorphisms from graphs of bounded treewidth: tight complexity bounds

Conference / Medium

ACM-SIAM Symposium on Discrete Algorithms (SODA)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-01-08

Be SMART, Save I/O: A Probabilistic Approach to Avoid Uncorrectable Errors in Storage Systems

Conference / Medium

IEEE International Conference on Cluster Computing (CLUSTER)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022-01-01

Selected Papers From the 2021 IEEE Symposium on Security and Privacy

Article

IEEE Security and Privacy Magazine

Tags
Threat Detection and Defenses
Authors
  • Terry Benzel
  • Thorsten Holz
Full Paper Visit Detail Page
2022-01-01

They Would Do Better If They Worked Together: Interaction Problems Between Password Managers and the Web

Article

IEEE Security and Privacy

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022

Interaction-Preserving Compilers for Secure Computation

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page