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.
ACM Symposium on Principles of Distributed Computing (PODC)
Clock Distribution with Gradient TRIX
IEEE Computer Security Foundations Symposium (CSF)
Symbolic Parallel Composition for Multi-language Protocol Verification
ACM Symposium on Theory of Computing (STOC)
Faster Distributed Δ-Coloring via Ruling Subgraphs
PODC '25: Proceedings of the ACM Symposium on Principles of Distributed Computing
Brief Announcement: Optimal Deterministic Rendezvous in Labeled Lines
IEEE Conference on Computer Vision and Pattern Recognition (CVPR)
CDI: Copyrighted Data Identification in Diffusion Models
Usenix Security Symposium (USENIX-Security)
SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark
NeurIPS-Workshop (NeurIPS-W)
EARL: Early Intent Recognition in GUI Tasks Using Theory of Mind
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
Multiplayer Games With Incomplete Information for Hyperproperty Verification.
Cryptographic Hardware and Embedded Systems (CHES)
KeyVisor – A Lightweight ISA Extension for Protected Key Handles with CPU-enforced Usage Policies