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 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
Logical Methods in Computer Science
Usenix Security Symposium (USENIX-Security) Fast IDentity Online with Anonymous Credentials (FIDO-AC).
IEEE Symposium on Security and Privacy (S&P)