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.
Advances in Cryptology (CRYPTO) Lattice-Based Blind Signatures, Revisited
Automated Software Engineering Conference (ASE) Assessing and Restoring Reproducibility of Jupyter Notebooks.
Verification, Model Checking and Abstract Interpretation (VMCAI) Lecture Notes in Computer Science
SSBSE Evolutionary Grammar-Based Fuzzing
Advances in Cryptology (CRYPTO) A Classification of Computational Assumptions in the Algebraic Group Model
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) MPC with Synchronous Security and Asynchronous Responsiveness
European Symposium on Programming (ESOP) Aneris: A Mechanized Logic for Modular Reasoning about Distributed Systems
Conference on Neural Information Processing Systems (NeurIPS) A Measure-Theoretic Approach to Kernel Conditional Mean Embeddings.
AAAI Workshop on Information-Theoretic Causal Inference and Discovery (ITCI) Coloring Fast Without Learning Your Neighbors' Colors.