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.
International Conference on Machine Learning (ICML) Revisiting Gradient Clipping: Stochastic bias and tight convergence guarantees
Transactions on Machine Learning Research
ICML-Workshop (ICMLW) Provably Robust Cost-Sensitive Learning via Randomized Smoothing
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