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

Differentially Private Resource Allocation

Conference / Medium

Annual Computer Security Applications Conference (ACSAC)

Tags
Trustworthy Information Processing
Authors
  • Joann Qiongna Chen
  • Tianhao Wang
  • Zhikun Zhang
  • Yang Zhang
  • Somesh Jha
  • Zheng Li
Full Paper Visit Detail Page
2023-12

Algebraic Restriction Codes and Their Applications

Article

Algorithmica

Tags
Algorithmic Foundations and Cryptography
Authors
  • Divesh Aggarwal
  • Nico Döttling
  • Jesko Dujmovic
  • Mohammad Hajiabadi
  • Giulio Malavolta
  • Maciej Obremski
Full Paper Visit Detail Page
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

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

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

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

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