Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
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
Logical Methods in Computer Science
Usenix Security Symposium (USENIX-Security) Fast IDentity Online with Anonymous Credentials (FIDO-AC).