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.
International Conference on Computer Aided Verification (CAV) 2026
Extending QuAK with Nested Quantitative Automata
Computer Aided Verification (CAV)
TACO: A Toolsuite for the Verification of Threshold Automata
SIAM journal on computing (Print) Distributed Edge Coloring in Time Polylogarithmic in Δ
European Conference on Computer Vision (ECCV)
GEO-Detective: Unveiling Location Privacy Risks in Images with LLM Agents
ICALP 2026
Classification of Local Optimization Problems in Directed Cycles
International Workshop on Designing and Measuring Security in Systems with AI (DeMeSSAI 2026)
MATRA: Modeling the Attack Surface of Agentic AI Systems -- OpenClaw Case Study
International Conference on Machine Learning workshop(ICML-W)
Prune to Protect: Faster Training and Enhanced Privacy by Dynamic Data Pruning
Conference on Uncertainty in Artificial Intelligence (UAI)
How Learning Dynamics Drive Adversarially Robust Generalization?
International Conference on Machine Learning Workshop(ICML- W)
HORST: Composing Optimizer Geometries for Sparse Transformer Training