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.
OVERLAY'26: 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis. Learning Formal Models of Parametrized Systems
ITP Completing Almost Fair Simulations
USENIX Symposium on Operating Systems Design and Implementation μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ScaleDisturb: Exploiting Temporal Asymmetry to Amplify Read Disturbance in Modern DRAM Chips
Annual International Conference on Mobile Systems, Applications and Services(MobiSys) Fragile Deliveries: Inconsistencies in Android Parcel and Their Security Consequences
The 19th European Conference on Computer Vision (ECCV), 2026 MultiMem: Measuring and Mitigating Memorization in Multi-Modal Contrastive Learning
International Conference on Web Engineering (ICWE) Console Clutter: A Cross-Browser Measurement of Console Messages
IH&MMSec '26: ACM Workshop on Information Hiding and Multimedia Security Watermark Degradation Across Model Iterations
Journal of the ACM Distributed \Delta -Coloring Plays Hide-and-Seek