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)
High Impedance: Analysis of Publicly Disclosed Vulnerabilities in FPGA IP Cores
ACM Symposium on Principles of Distributed Computing (PODC)
The Distributed Complexity Landscape on Trees Depends on the Knowledge About the Network Size