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) 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) SatBleed: Security of Commoditized Communication Modules in Satellites
Formal Methods (FM) Mixed Flow-Sensitive Static Analysis: Engineering Modularity
International Conference on Software Testing Verification and Validation (ICST) Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
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