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) Towards Optimal Deterministic LOCAL Algorithms on Trees
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