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-12

Hardening RGB-D object recognition systems against adversarial patch attacks

Artikel

Information Sciences

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Yang Zheng
  • Luca Demetrio
  • Antonio Emanuele Cinà
  • Xiaoyi Feng
  • Zhaoqiang Xia
  • Xiaoyue Jiang
  • Ambra Demontis
  • Battista Biggio
  • Fabio Roli
Zum Paper Detail-Seite besuchen
2023-12

Algebraic Restriction Codes and Their Applications

Artikel

Algorithmica

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Divesh Aggarwal
  • Nico Döttling
  • Jesko Dujmovic
  • Mohammad Hajiabadi
  • Giulio Malavolta
  • Maciej Obremski
Zum Paper Detail-Seite besuchen
2023-11-30

Engineering a Formally Verified Automated Bug Finder

Artikel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-11-30

Engineering a Formally Verified Automated Bug Finder

Artikel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-11-30

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Konferenz / Medium

ACM Workshop on Artificial Intelligence and Security (AISec)

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

Engineering a Formally Verified Automated Bug Finder.

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-11-30

The Call Graph Chronicles: Unleashing the Power Within.

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-11-30

Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection

Konferenz / Medium

ACM Workshop on Artificial Intelligence and Security (AISec)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Kai Greshake
  • Sahar Abdelnabi
  • Shailesh Mishra
  • Christoph Endres
  • Thorsten Holz
  • Mario Fritz
Zum Paper Detail-Seite besuchen
2023-11-27

Zombies and Ghosts: Optimal Byzantine Agreement in the Presence of Omission Faults

Konferenz / Medium

Theory of Cryptography Conference (TCC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Julian Loss
  • Gilad Stern
Zum Paper Detail-Seite besuchen