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.
Tools and Algorithms for Construction and Analysis of Systems (TACAS) Modular Attractor Acceleration in Infinite-State Games
Annual Meeting of the Association for Computational Linguistics (ACL) The Art of (Mis)alignment: How Fine-Tuning Methods Effectively Misalign and Realign LLMs in Post-Training
IEEE Transactions on Dependable and Secure Computing IPAuditor: Privacy Violation in Data Release Using Diffusion-based Generative Models
Innovations in Graph Theory Diameter of the inversion graph
International Conference on Human Factors in Computing Systems (CHI) "That's another doom I haven't thought about": A User Study on AI Labels as a Safeguard Against Image-Based Misinformation
Communications of the ACM Agentic AI Software Engineers: Programming with Trust
Theoretical Computer Science Pseudorandom generators for sliding-window algorithms
International Conference on Learning Representations (ICLR) Data Provenance for Image Auto-Regressive Generation
Pattern Recognition Buffer-free class-incremental learning with out-of-distribution detection