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.
Tools and Algorithms for Construction and Analysis of Systems (TACAS) RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
ACM Computer Science in Cars Symposium (CSCS) DRiVERSITY - Synthetic Torture Testing to Find Limits of Autonomous Driving Algorithms
European Symposium on Research in Computer Security (ESORICS) Towards Understanding Privacy Implications of Adware and Potentially Unwanted Programs
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Evasive Malware via Identifier Implanting
Lecture Notes in Computer Science
ISoLA Modular, Correct Compilation with Automatic Soundness Proofs
SWAT The Parameterized Hardness of the k-Center Problem in Transportation Networks.
Software Engineering (SE) Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern.