Send email Copy Email Address

Publications

Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.

Filter

Year 2023

2023-12

Hardening RGB-D object recognition systems against adversarial patch attacks

Article

Information Sciences

Tags
Threat Detection and Defenses
Authors
  • Yang Zheng
  • Luca Demetrio
  • Antonio Emanuele Cinà
  • Xiaoyi Feng
  • Zhaoqiang Xia
  • Xiaoyue Jiang
  • Ambra Demontis
  • Battista Biggio
  • Fabio Roli
Full Paper Visit Detail Page
2023-11-30

Engineering a Formally Verified Automated Bug Finder

Article

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-11-30

Engineering a Formally Verified Automated Bug Finder

Article

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-11-30

Engineering a Formally Verified Automated Bug Finder.

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-11-30

The Call Graph Chronicles: Unleashing the Power Within.

Conference / Medium

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

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2023-11-30

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Conference / Medium

ACM Workshop on Artificial Intelligence and Security (AISec)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2023-11-30

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

Conference / Medium

ACM Workshop on Artificial Intelligence and Security (AISec)

Tags
Trustworthy Information Processing
Authors
  • Kai Greshake
  • Sahar Abdelnabi
  • Shailesh Mishra
  • Christoph Endres
  • Thorsten Holz
  • Mario Fritz
Full Paper Visit Detail Page
2023-11-27

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

Conference / Medium

Theory of Cryptography Conference (TCC)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Julian Loss
  • Gilad Stern
Full Paper Visit Detail Page
2023-11-27

From Hashes to Ashes – A Comparison of Transcription Services

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page