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)
xDup: Privacy-Preserving Deduplication for Humanitarian Organizations using Fuzzy PSI
International Symposium on Formal Methods (FM) 2026
Quantitative Monitoring of Signal First-Order Logic
IEEE Symposium on Security and Privacy (S&P)
Responsible Disclosure is a Two-Way Street: Empirically Measuring the Responsible Disclosure Contract in the Firmware Ecosystem
IEEE Symposium on Security and Privacy (S&P)
Crucible: Retrofitting Commodity CPUs with Vulnerabilities via Transparent Software Emulation
IEEE Symposium on Security and Privacy (S&P)
SmuFuzz: Enable Deep System Management Mode Fuzzing in Fully Featured UEFI Runtime Environment
IEEE Symposium on Security and Privacy (S&P)
RISCy Cache Coherence: Timer-Free Architectural Cache Attacks via Instruction/Data Cache Incoherence
IEEE Symposium on Security and Privacy (S&P)
TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads
IEEE Symposium on Security and Privacy (S&P)
LeakyLinks: Measuring the Security and Privacy Risks of URL Scanning Services
IEEE Symposium on Security and Privacy (S&P)
PLaTypus: Restricting Cross-Module Transitions to Mitigate Code-Reuse Attacks