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.
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
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
Multiplayer Games With Incomplete Information for Hyperproperty Verification.