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

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

Differentially Describing Groups of Graphs

Conference / Medium

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

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

From Input Coverage to Code Coverage: Systematically Covering Input Structure with k-Paths

Article

ACM Transactions on Software Engineering and Methodology

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

Inferring Symbolic Automata

Conference / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Reliable Security Guarantees
Authors
  • Dana Fisman
  • Hadar Frenkel
  • Sandra Zilles
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

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

Algebraic Restriction Codes and their Applications

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Divesh Aggarwal
  • Nico Döttling
  • Jesko Dujmovic
  • Mohammad Hajiabadi
  • Giulio Malavolta
  • Maciej Obremski
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