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.
Computer Aided Verification (CAV) Information Flow Guided Synthesis with Unbounded Communication
Computer Aided Verification (CAV) Syntax-Guided Automated Program Repair for Hyperproperties
Computer Aided Verification (CAV) Synthesis of Temporal Causality
Computer Aided Verification (CAV) Localized Attractor Computations for Infinite-State Games
ACM Conference on Computer and Communications Security (CCS) The Janus Interface: How Fine-Tuning in Large Language Models Amplifies the Privacy Risks
Computer Aided Verification (CAV) Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned
Security for Space Systems (3S)
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Down to earth! Guidelines for DGA-based Malware Detection
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Understanding Web Fingerprinting with a Protocol-Centric Approach