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 Symposium on Automated Technology for Verification and Analysis (ATVA) Leveraging Static Analysis: An IDE for RTLola
International Symposium on Automated Technology for Verification and Analysis (ATVA) Checking and Sketching Causes on Temporal Sequences
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Container Orchestration Honeypot: Observing Attacks in the Wild
Proceedings of the ACM on Programming Languages Automated Ambiguity Detection in Layout-Sensitive Grammars
International Symposium on Research in Attacks Intrusions and Defenses (RAID) Honey, I Cached our Security Tokens Re-usage of Security Tokens in the Wild
International Symposium on Automated Technology for Verification and Analysis (ATVA) Reactive Synthesis of Smart Contract Control Flows.
Network and Distributed System Security Symposium (NDSS) LMSanitator: Defending Prompt-Tuning Against Task-Agnostic Backdoors.
CoRR Bucks for Buckets (B4B): Active Defenses Against Stealing Encoders.
ACM International Conference on Multimodal Interaction (ICMI) Detection of contract cheating in pen-and-paper exams through the analysis of handwriting style