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)
Usenix Security Symposium (USENIX-Security)
InstrSem: Automatically and Generically Inferring Semantics of (Undocumented) CPU Instructions
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 Δ
IEEE European Symposium on Security and Privacy (EuroS&P)
High Impedance: Analysis of Publicly Disclosed Vulnerabilities in FPGA IP Cores
International Conference on Machine Learning (ICML)
Accuracy-First Rényi Differential Privacy and Post-Processing Immunity
IEEE European Symposium on Security and Privacy (EuroS&P)
SoK: A Systematic Review of Integration and Reproducibility of Fuzzing Research into AFL++
International Conference on Machine Learning (ICML)
Enhancing LLM Training via Spectral Clipping