E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Das wichtigste Messinstrument für unsere wissenschaftliche Exzellenz und unseren Impact sind wissenschaftliche Publikationen. In den vergangenen Jahren haben CISPA-WissenschaftlerInnen Papiere auf wissenschaftlichen Konferenzen – die meisten davon auf den Top-Konferenzen – und Artikel in angesehenen Zeitschriften veröffentlicht. In unserer Publikationsdatenbank sind die Publikationen ab dem Jahr 2011 aufgeführt und jeweils direkt mit dem Originalpapier verlinkt.

Filter

Jahr 2022

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

Algebraic Restriction Codes and their Applications

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
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
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
2022-01-15

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

Artikel

IEEE Internet of Things Journal

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