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.
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
ACM Computing Surveys From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets