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.
Dagstuhl Reports Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).
International Symposium on Automated Technology for Verification and Analysis (ATVA) Learning Broadcast Protocols with LeoParDS
Workshop on Privacy in the Electronic Society (WPES) Private and Collaborative Kaplan-Meier Estimators
ACM Conference on Computer and Communications Security (CCS) Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
International Symposium on Research in Attacks Intrusions and Defenses (RAID) AI-Generated Faces in the Real World: A Large-Scale Case Study of Twitter Profile Images
ACM Transactions on Software Engineering and Methodology Demystifying React Native Android Apps for Static Analysis
ACM Workshop on Artificial Intelligence and Security (AISec) When Adversarial Perturbations meet Concept Drift: an Exploratory Analysis on ML-NIDS
Conference on Empirical Methods in Natural Language Processing (EMNLP) Reconstruct Your Previous Conversations! Comprehensively Investigating Privacy Leakage Risks in Conversations with GPT Models
European Symposium on Algorithms (ESA) Hitting Meets Packing: How Hard Can It Be?