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
ACM Conference on Computer and Communications Security (CCS)
PyFEX: Uncovering Evasive Python-based Threats via Resilient and Exhaustive Path Exploration
Usenix Security Symposium (USENIX-Security)
Trust Nothing: RTOS Security without Run-Time Software TCB
Usenix Security Symposium (USENIX-Security)
InstrSem: Automatically and Generically Inferring Semantics of (Undocumented) CPU Instructions
Usenix Security Symposium (USENIX-Security)
SoK: History Doesn't Repeat Itself, but Android Design-Level Vulnerabilities Rhyme in OpenHarmony
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 Workshop on Designing and Measuring Security in Systems with AI (DeMeSSAI 2026)
MATRA: Modeling the Attack Surface of Agentic AI Systems -- OpenClaw Case Study