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-09-20

Realizable and Context-Free Hyperlanguages

Konferenz / Medium

Games Automata Logics and Formal Verification (GandALF)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Hadar Frenkel
  • Sarai Sheinvald
Zum Paper Detail-Seite besuchen
2022-09-19

pEncode: A Tool for Visualizing Pen Signal Encodings in Real-Time

chapter

HHAI2022: Augmenting Human Intellect

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

On the Adaptive Security of the Threshold BLS Signature Scheme

Konferenz / Medium

ACM Conference on Computer and Communications Security (CCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2022-09-07

SFLKit: A Workbench for Statistical Fault Localization

Konferenz / Medium

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

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

Backdoor smoothing: Demystifying backdoor attacks on deep neural networks

Artikel

Computers and Security

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Kathrin Grosse
  • Taesung Lee
  • Battista Biggio
  • Youngja Park
  • Michael Backes
  • Ian Molloy
Zum Paper Detail-Seite besuchen
2022-09

Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search

Konferenz / Medium

European Symposium on Algorithms (ESA)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2022-09

CPU Port Contention Without SMT

Konferenz / Medium

European Symposium on Research in Computer Security (ESORICS)

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

Robust and Scalable Process Isolation against Spectre in the Cloud

Konferenz / Medium

European Symposium on Research in Computer Security (ESORICS)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Martin Schwarzl
  • Pietro Borrello
  • Andreas Kogler
  • Kenton Varda
  • Thomas Schuster
  • Daniel Gruss
  • Michael Schwarz
Zum Paper Detail-Seite besuchen
2022-09

Classical and Quantum Algorithms for Variants of Subset-Sum via Dynamic Programming

Konferenz / Medium

European Symposium on Algorithms (ESA)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Jonathan Allcock
  • Yassine Hamoudi
  • Antoine Joux
  • Felix Klingelhöfer
  • Miklos Santha
Zum Paper Detail-Seite besuchen