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.
International Conference on Machine Learning (ICML)
ACM Cyber-Physical System Security Workshop (CPSS)
Preventing Reverse Engineering of Control Programs in Industrial Control Systems
Computer Aided Verification (CAV)
Second-Order Hyperproperties
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