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.
SIAM Symposium on Simplicity in Algorithms (SOSA) A Breezing Proof of the KMW Bound.
Proc. ACM Program. Lang. Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
Proc. ACM Program. Lang. Mechanized Logical Relations for Termination-Insensitive Noninterference
Usenix Security Symposium (USENIX-Security) PhishPrint: Evading Phishing Detection Crawlers by Prior Profiling.
Conference on Uncertainty in Artificial Intelligence (UAI) Constrained differentially private federated learning for low-bandwidth devices.
Conference on Neural Information Processing Systems (NeurIPS) Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.
Conference on Neural Information Processing Systems (NeurIPS) WaveFake: A Data Set to Facilitate Audio Deepfake Detection.
International Conference on Machine Learning (ICML) Conditional Distributional Treatment Effect with Kernel Conditional Mean Embeddings and U-Statistic Regression.