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

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

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

From Attachments to SEO: Click Here to Learn More about Clickbait PDFs!

Conference / Medium

Annual Computer Security Applications Conference (ACSAC)

Tags
Trustworthy Information Processing
Authors
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