HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Games and the Impossibility of Realizable Ideal Functionality

Abstract : A cryptographic primitive or a security mechanism can be specified in a variety of ways, such as a condition involving a game against an attacker, construction of an ideal functionality, or a list of properties that must hold in the face of attack. While game conditions are widely used, an ideal functionality is appealing because a mechanism that is indistinguishable from an ideal functionality is therefore guaranteed secure in any larger system that uses it. We relate ideal functionalities to games by defining the set of ideal functionalities associated with a game condition and show that under this definition, which reflects accepted use and known examples, a number of cryptographic concepts do not have any realizable ideal functionality in the plain model. Some interesting examples are multiparty coin-tossing, bit-commitment and shared random sequences. One interpretation of this negative result is that equational approaches based on computational observational equivalence might be better applied to reasoning about game conditions than equivalence with ideal functionalities. Alternatively, generality might be obtained by allowing for various setup assumptions, or by other means.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Tuesday, June 20, 2006 - 10:27:34 AM
Last modification on : Friday, February 26, 2021 - 9:30:02 AM
Long-term archiving on: : Monday, April 5, 2010 - 11:07:15 PM


  • HAL Id : inria-00080683, version 1



Michael Backes, Anupam Datta, Ante Derek, John Mitchell, Ajith Ramanathan, et al.. Games and the Impossibility of Realizable Ideal Functionality. Workshop on Formal and Computational Cryptography (FCC 2006), Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy. ⟨inria-00080683⟩



Record views


Files downloads