Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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