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.
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) Revisiting Neural Program Smoothing for Fuzzing
International Conference on Machine Learning (ICML) Special Properties of Gradient Descent with Large Learning Rates
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)