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.
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols
Formal Methods in Computer-Aided Design (FMCAD) On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Tanuki: New Frameworks for (Concurrently Secure) Blind Signatures from Post-Quantum Groups Actions.
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Everlasting Anonymous Rate-Limited Tokens
International Conference on Artificial Intelligence and Statistics (AISTATS) Information-Theoretic Causal Discovery in Topological Order
International Conference on Artificial Intelligence and Statistics (AISTATS) Credal Two-Sample Tests of Epistemic Uncertainty
ACM-SIAM Symposium on Discrete Algorithms (SODA) Sublinear-Round Broadcast without Trusted Setup
European Symposium on Algorithms (ESA) Generalized Graph Packing Problems Parameterized by Treewidth
Theory of Cryptography Conference (TCC) Dimensional eROSion: Improving the ROS Attack with Decomposition in Higher Bases