Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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