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.
Computer Communications Review
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