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 2021

2021-10-25

ANYway:
Measuring the Amplification DDoS Potential of Domains

Konferenz / Medium

International Conference on Network and Service Management (CNSM)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Olivier van der Toorn
  • Johannes Krupp
  • Mattijs Jonker
  • Roland van Rijswijk-Deij
  • Christian Rossow
  • Anna Sperotto
Zum Paper Detail-Seite besuchen
2021-10-23

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Konferenz / Medium

IEEE Visualization Conference (VIS)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Tom Horak
  • Norine Coenen
  • Niklas Metzger
  • Christopher Hahn
  • Tamara Flemisch
  • Julián Méndez
  • Dennis Dimov
  • Bernd Finkbeiner
  • Raimund Dachselt
Zum Paper Detail-Seite besuchen
2021-10-21

Validation of Side-Channel Models via Observation Refinement

Konferenz / Medium

IEEE/ACM International Symposium on Microarchitecture (MICRO)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Pablo Buiras
  • Hamed Nemati
  • Andreas Lindner
  • Roberto Guanciale
Zum Paper Detail-Seite besuchen
2021-10-20

QuickSilver:
Modeling and Parameterized Verification for Distributed Agreement-Based Systems

Konferenz / Medium

ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Nouraldin Jaber
  • Christopher Wagner
  • Swen Jacobs
  • Milind Kulkarni
  • Roopsha Samanta
Zum Paper Detail-Seite besuchen
2021-10-18

Runtime Enforcement of Hyperproperties

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2021-10-18

Compositional Synthesis of Modular Systems

Buchkapitel

Lecture Notes in Computer Science

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2021-10-17

Semantic Perturbations with Normalizing Flows for Improved Generalization

Konferenz / Medium

IEEE International Conference on Computer Vision (ICCV) Semantic Perturbations with Normalizing Flows for Improved Generalization

Tags
Autor:innen
Zum Paper Detail-Seite besuchen
2021-10-12

Live Synthesis

Konferenz / Medium

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

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

Artificial Fingerprinting for Generative Models:
Rooting Deepfake Attribution in Training Data

Konferenz / Medium

IEEE International Conference on Computer Vision (ICCV)

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