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.
Conference on Neural Information Processing Systems (NeurIPS)
Differentially Private Bilevel Optimization: Efficient Algorithms with Near-Optimal Rates
Usenix Security Symposium (USENIX-Security)
InstrSem: Automatically and Generically Inferring Semantics of (Undocumented) CPU Instructions
Usenix Security Symposium (USENIX-Security)
International Conference on Computer Aided Verification (CAV) 2026
Extending QuAK with Nested Quantitative Automata
SIAM journal on computing (Print) Distributed Edge Coloring in Time Polylogarithmic in Δ
International Conference on Machine Learning (ICML)
Accuracy-First Rényi Differential Privacy and Post-Processing Immunity
International Conference on Machine Learning (ICML)
Enhancing LLM Training via Spectral Clipping
IEEE European Symposium on Security and Privacy (EuroS&P)
SoK: A Systematic Review of Integration and Reproducibility of Fuzzing Research into AFL++
IEEE European Symposium on Security and Privacy (EuroS&P)
High Impedance: Analysis of Publicly Disclosed Vulnerabilities in FPGA IP Cores