Universally Composable Transaction Order Fairness: Refined Definitions and Adaptive Security
December 2025 — Michele Ciampi, Prof Aggelos Kiayias, Yu Shen
Asiacrypt '25Where science meets purpose
Categories
Topics
Authors
Research Papers
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
November 2025 — Maxim Jourenko, Marcus Völker
CANS 2025Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle
August 2025 — Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, Luisa Siniscalchi
Crypto '25The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs
December 2024 — Jan Bobolz, Pooya Farshim, Markulf Kohlweiss, Akira Takahashi
TCC '24Mithril: Stake-based Threshold Multisignatures
September 2024 — Pyrros Chaidos, Prof Aggelos Kiayias
CANS '24Universal Composable Transaction Serialization with Order Fairness
August 2024 — Michele Ciampi, Prof Aggelos Kiayias, Yu Shen
Crypto '24Agile Cryptography: A Composable Approach
November 2023 — Christian Badertscher, Michele Ciampi, Prof Aggelos Kiayias
TCC '23GUC-Secure Commitments via Random Oracles: New Impossibility and Feasibility
December 2022 — Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, Kui Ren
Asiacrypt '22The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols
November 2022 — Sandro Coretti, Prof Aggelos Kiayias, Cristopher Moore, Prof Alexander Russell
ACM CCS '22Steel: Composable Hardware-based Stateful and Randomised Functional Encryption
May 2021 — Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis
PKC '21Another Look at Extraction and Randomization of Groth's zk-SNARK
March 2021 — Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC
November 2020 — Christian Badertscher, Ran Canetti, Julia Hesse, Björn Tackmann, Vassilis Zikas
TCC '20