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.
Network and Distributed System Security Symposium (NDSS) Pitfalls for Security Isolation in Multi-CPU Systems
Annual Conference on Computer Science Logic (CSL) Parametric Disjunctive Timed Networks
Network and Distributed System Security Symposium (NDSS)
Network and Distributed System Security Symposium (NDSS) Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization.
Workshop on Security of Space and Satellite Systems (SpaceSec) One Small Patch for a File, One Giant Leap for OTA Updates
Network and Distributed System Security Symposium (NDSS) ropbot: Reimaging Code Reuse Attack Synthesis
Annual Conference on Computer Science Logic (CSL) Reward Interfaces with Best-Effort Implementations
Science The science and practice of proportionality in AI risk evaluations
Network and Distributed System Security Symposium (NDSS) Trust Me, I Know This Function: Hijacking LLM Static Analysis using Bias