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) Decentralized Distributed Graph Coloring: Cluster Graphs
IEEE Symposium on Security and Privacy (S&P) Vitārit: Paying for Threshold Services on Bitcoin and Friends
IEEE 38th Computer Security Foundations Symposium (CSF) Symbolic Parallel Composition for Multi-language Protocol Verification
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