E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.

Filter

Jahr 2022

2022-02

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Inferring Symbolic Automata

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Dana Fisman
  • Hadar Frenkel
  • Sandra Zilles
Zum Paper Detail-Seite besuchen
2022-02

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

Artikel

ACM Transactions on Software Engineering and Methodology

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2022-01-31

Small Hazard-Free Transducers

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Johannes Bund
  • Christoph Lenzen
  • Moti Medina
Zum Paper Detail-Seite besuchen
2022-01-31

Algebraic Restriction Codes and their Applications

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Divesh Aggarwal
  • Nico Döttling
  • Jesko Dujmovic
  • Mohammad Hajiabadi
  • Giulio Malavolta
  • Maciej Obremski
Zum Paper Detail-Seite besuchen
2022-01-25

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

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Sebastian Brandt
  • Yi-Jun Chang
  • Jan Grebík
  • Christoph Grunau
  • Václav Rozhon
  • Zoltán Vidnyánszky
Zum Paper Detail-Seite besuchen
2022-01-22

Subcubic certificates for CFL reachability

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Dmitry Chistikov
  • Rupak Majumdar
  • Philipp Schepper
Zum Paper Detail-Seite besuchen
2022-01-22

Composing Secure Compilers

Konferenz / Medium

Workshop on Principles of Secure Compilation (PriSC)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Matthis Kruse
  • Marco Patrignani
Zum Paper Detail-Seite besuchen
2022-01-19

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Artikel

Logical Methods in Computer Science

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Sebastian Biewer
  • Rayna Dimitrova
  • Michael Fries
  • Maciej Gazda
  • Thomas Heinze
  • Holger Hermanns
  • Mohammad Reza Mousavi
Zum Paper Detail-Seite besuchen