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

Revisiting Randomness Extraction and Key Derivation Using the CBC and Cascade Modes

Article

IACR Transactions on Symmetric Cryptology

Tags
Algorithmic Foundations and Cryptography
Authors
  • Niranjan Balachandran
  • Ashwin Jha
  • Mridul Nandi
  • Soumit Pal
Full Paper Visit Detail Page
2023-12-05

Proceedings of the 7th ACM Computer Science in Cars Symposium

Book

Tags
Trustworthy Information Processing
Authors
  • Björn Brücher
  • Christoph Krauß
  • Mario Fritz
  • Hans-Joachim Hof
  • Oliver Wasenmüller
Full Paper Visit Detail Page
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

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

Algebraic Restriction Codes and Their Applications

Article

Algorithmica

Tags
Algorithmic Foundations and Cryptography
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

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

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

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