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.
ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) Coloring Fast with Broadcasts
IFIP Networking Conference (IFIP) Evaluating DNS Resiliency with Truncation, Fragmentation and DoTCP Fallback
Usenix Security Symposium (USENIX-Security) Extended Hell(o): A Comprehensive Large-Scale Study on Email Confidentiality and Integrity Mechanisms in the Wild
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) Model Checking Omega-Regular Hyperproperties with AutoHyperQ
NASA Formal Methods Symposium (NFM) Automata-Based Software Model Checking of Hyperproperties
IEEE International Conference on Communications (ICC) Making Watermark Survive Model Extraction Attacks in Graph Neural Networks.
IEEE/ACM Transactions on Networking Robust Routing Made Easy: Reinforcing Networks Against Non-Benign Faults
IEEE Transactions on Pattern Analysis and Machine Intelligence Optimising for Interpretability: Convolutional Dynamic Alignment Networks
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) Counterfactuals Modulo Temporal Logics