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.
Computer Aided Verification (CAV) nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
International Fuzzing Workshop (FUZZING) CrabSandwich: Fuzzing Rust with Rust (Registered Report)
International Fuzzing Workshop (FUZZING) Novelty Not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage (Registered Report)
ACM Conference on Computer and Communications Security (CCS)
Annual Meeting of the Association for Computational Linguistics (ACL) NOTABLE: Transferable Backdoor Attacks Against Prompt-based NLP Models
Annual Meeting of the Association for Computational Linguistics (ACL) On the Privacy Risk of In-context Learning
IEEE Computer Security Foundations Symposium (CSF)
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) White-box Concealment Attacks Against Anomaly Detectors for Cyber-Physical Systems
International Symposium on Software Testing and Analysis (ISSTA) Beware of the Unexpected: Bimodal Taint Analysis