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 2023

2023-05-07

From Input to Failure: Explaining Program Behavior via Cause-Effect Chains

Konferenz / Medium

International Conference on Software Engineering - Companion (ICSE-Companion)

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

Sentence Embedding Encoders are Easy to Steal but Hard to Defend

Konferenz / Medium

International Conference on Learning Representations (ICLR)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-05

Semantic Debugging

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-05

Semantic Debugging

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-03

Fuzzing Embedded Systems Using Debug Interfaces

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-02

Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus

Konferenz / Medium

International Conference on Practice and Theory in Public Key Cryptography (PKC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Shravan Srinivasan
  • Julian Loss
  • Giulio Malavolta
  • Kartik Nayak
  • Charalampos Papamanthou
  • Sri AravindaKrishnan Thyagarajan
Zum Paper Detail-Seite besuchen
2023-05-02

Laconic Function Evaluation for Turing Machines

Konferenz / Medium

International Conference on Practice and Theory in Public Key Cryptography (PKC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-01

Learning Test Input Constraints from Branch Conditions

Konferenz / Medium

International Conference on Software Engineering - Companion (ICSE-Companion)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05-01

Grammar-Based String Refinement Types

Konferenz / Medium

International Conference on Software Engineering - Companion (ICSE-Companion)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen