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.
National Conference of the American Association for Artificial Intelligence (AAAI) Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
International Symposium on Software Testing and Analysis (ISSTA)
International Symposium on Software Testing and Analysis (ISSTA) FANDANGO: Evolving Language-Based Testing
IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) SoK: On the Offensive Potential of AI
IACR Communications in Cryptology On Circuit Private, Multikey and Threshold Approximate Homomorphic Encryption
47th European Conference on Information Retrieval (ECIR) Towards Interpretable Radiology Report Generation via Concept Bottlenecks Using a Multi-agentic RAG
International Journal on Software Tools for Technology Transfer AutoHyper: leveraging language inclusion checking for hyperproperty model-checking
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Non-Interactive Blind Signatures from RSA Assumption and More
Design, Automation & Test in Europe Conference (DATE) Cybersecurity Challenges of Autonomous Systems