Universally Composable Security with Global Setup

By Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi Walfish. Theory of Cryptography Conference, 2007

413 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/000bca48bd73bf8336937a638b2c758955d4b04c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

Citations in the corpus

Formal Abstractions for Attested Execution Secure Processors (2017, methodology): “In practice, the Gacrs functionality can be implemented by having a trusted third party (which may be the trusted hardware manufacturer) that generates the reference string and hands out the appropriate secret keys [18].”
Hybrid Consensus: Efficient Consensus in the Permissionless Model (2016, methodology): “We use the UC framework [13,14,17] in a way such that we define formal properties of protocols rather than relying on ideal behavioral specifications.”
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge (2017, methodology): “primitives can for instance be found in [31].”
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts (2016, result): “[36] also propose a blockchain model in the (Generalized) Universal Composability framework [23] and use it to derive results that are similar to what we describe in the online version [37], i.”
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability (2018, methodology): “, not shared) and, by the equivalence shown in [9], full GUC security.”
Town Crier: An Authenticated Data Feed for Smart Contracts (2016, neutral): “While we introduce them in this work, as we shall explain, they are of broad and general applicability.”
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab (2016, methodology): “In general, for secure composition of computationally sound primitives, we would recommend the usage of universally composable commitments [10–12].”
Secure Multiparty Computation from SGX (2017, background): “In recent independent work Pass, Shi and Tramer [36] formalize attestation guarantees offered by trusted hardware in the Universal Composability setting, and consider the feasibility of achieving UC-secure MPC starting from a hardware assumption formalized in very much the same style as we model SGX”