Send email Copy Email Address

Publications

Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.

Filter

Year 2022

2022-01-31

Algebraic Restriction Codes and their Applications

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

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

Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Sebastian Brandt
  • Yi-Jun Chang
  • Jan Grebík
  • Christoph Grunau
  • Václav Rozho?
  • Zoltán Vidnyánszky
Full Paper Visit Detail Page
2022-01-22

Composing Secure Compilers

Conference / Medium

Workshop on Principles of Secure Compilation (PriSC)

Tags
Reliable Security Guarantees
Authors
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
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
  • Md Arifuzzaman
  • Masudul Bhuiyan
  • Mehmet Gumus
  • Engin Arslan
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