Introduced by Canetti in 2001, Universal Composability (UC) is a widely adopted security model that enables the specification and proof of security for a broad range of protocols, offering strong security guarantees. At its core lies the universal composition theorem (UC theorem), which ensures that protocols proven secure within the framework remain secure even when deployed in real-world environments with multiple instances of them. In this work, we present two key contributions. First, we identify several problems with the UC framework, in particular the UC Theorem. They include counterexamples, limitations that make it unusable for important classes of protocols, and weaknesses in its proof. These problems reveal flaws in nearly all the fundamental concepts of UC. Second, we propose a revised formulation of the main concepts of UC to address these issues. Although the resulting modifications are nontrivial, our updated definitions are designed to remain as faithful as possible to the structure and intent of the original model.
Building similarity graph...
Analyzing shared references across papers
Loading...
Céline Chevalier
Éric Sageloli
IACR Communications in Cryptology
Institut national de recherche en sciences et technologies du numérique
Université Paris Sciences et Lettres
Université Paris 1 Panthéon-Sorbonne
Building similarity graph...
Analyzing shared references across papers
Loading...
Chevalier et al. (Mon,) studied this question.
www.synapsesocial.com/papers/69fbefef164b5133a91a408a — DOI: https://doi.org/10.62056/a6n56chdj