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.
APLAS REFINITY to Model and Prove Program Transformation Rules
European Symposium on Research in Computer Security (ESORICS) Plenty of Phish in the Sea: Analyzing Potential Pre-attack Surfaces
International Colloquium on Automata Languages and Programming (ICALP) Hitting Long Directed Cycles Is Fixed-Parameter Tractable.
Theory of Cryptography Conference (TCC) Asynchronous Byzantine Agreement with Subquadratic Communication
Theory of Cryptography Conference (TCC) On the Security of Time-Lock Puzzles and Timed Commitments
Advances in Cryptology (CRYPTO) Always Have a Backup Plan: Fully Secure Synchronous MPC with Asynchronous Fallback
Advances in Cryptology (CRYPTO) Lattice-Based Blind Signatures, Revisited
Automated Software Engineering Conference (ASE) Assessing and Restoring Reproducibility of Jupyter Notebooks.