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) 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
Datenschutz und Datensicherheit - DuD Der regulatorische Rahmen für Code Secret Leakage
Journal of Graph Theory On the Minimum Number of Inversions to Make a Digraph k‐(Arc‐)Strong
IEEE Transactions on Dependable and Secure Computing Backdoor Complications: A Comprehensive Analysis and Mitigation of the Unforeseen Consequences of Backdoor Attacks
International Conference on Learning Representations (ICLR) Flowing Through States: Neural ODE Regularization for Reinforcement Learning
International Conference on Learning Representations (ICLR) When Flatness Does (Not) Guarantee Adversarial Robustness