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 2023

2023-10-20

Securing Your Crypto-API Usage Through Tool Support - A Usability Study

Konferenz / Medium

IEEE Cybersecurity Development (SecDev)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
  • Stefan Krüger
  • Michael Reif
  • Anna-Katharina Wickert
  • Sarah Nadi
  • Karim Ali
  • Eric Bodden
  • Yasemin Acar
  • Mira Mezini
  • Sascha Fahl
Zum Paper Detail-Seite besuchen
2023-10-19

Checking and Sketching Causes on Temporal Sequences

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-10-19

Leveraging Static Analysis: An IDE for RTLola

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-10-16

FieldFuzz: In Situ Blackbox Fuzzing of Proprietary Industrial Automation Runtimes via the Network

Konferenz / Medium

The International Symposium on Research in Attacks, Intrusions and Defenses (RAID)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Andrei Bytes
  • Prashant Hari Narayan Rajput
  • Constantine Doumanidis
  • Nils Ole Tippenhauer
  • Michail Maniatakos
  • Jianying Zhou
Zum Paper Detail-Seite besuchen
2023-10-16

Container Orchestration Honeypot: Observing Attacks in the Wild

Konferenz / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

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

Honey, I Cached our Security Tokens Re-usage of Security Tokens in the Wild

Konferenz / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

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

Automated Ambiguity Detection in Layout-Sensitive Grammars

Artikel

Proceedings of the ACM on Programming Languages

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

Reactive Synthesis of Smart Contract Control Flows.

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-10-12

Bucks for Buckets (B4B): Active Defenses Against Stealing Encoders.

Artikel

CoRR

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Detail-Seite besuchen