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-02

Discovering Interpretable Data-to-Sequence Generators

Conference / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2022-02

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

Conference / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-02

Naming the most Anomalous Cluster in Hilbert Space for Structures with Attribute Information

Conference / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
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

Small Hazard-Free Transducers

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Johannes Bund
  • Christoph Lenzen
  • Moti Medina
Full Paper Visit Detail Page
2022-01-25

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 Rozhon
  • 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
  • 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