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.
Algorithmica Algebraic Restriction Codes and Their Applications
Information Sciences Hardening RGB-D object recognition systems against adversarial patch attacks
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Engineering a Formally Verified Automated Bug Finder
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
ACM Workshop on Artificial Intelligence and Security (AISec)
Certifiers Make Neural Networks Vulnerable to Availability Attacks
ACM Workshop on Artificial Intelligence and Security (AISec)
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection
Theory of Cryptography Conference (TCC)
Zombies and Ghosts: Optimal Byzantine Agreement in the Presence of Omission Faults
ACM Conference on Computer and Communications Security (CCS)
From Hashes to Ashes – A Comparison of Transcription Services