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.
IEEE Symposium on Security and Privacy (S&P) PLaTypus: Restricting Cross-Module Transitions to Mitigate Code-Reuse Attacks
IEEE Symposium on Security and Privacy (S&P) TREVEX: A Black-Box Detection Framework For Data-Flow Transient Execution Vulnerabilities
International Conference on Software Testing Verification and Validation (ICST) Combining Input Constraints with Execution Goals
IEEE S&P 2026 DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios
International Conference on Machine Learning (ICML) Finding DoRI: Discovery of Retained Images in Diffusion Models
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Post-Quantum Blind Signature from Standard Group Action Assumptions and More
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Secure Cloud Storage: Modularization, Network Adversaries and Adaptive Corruptions