Universal Composability framework
GPTKB entity
Statements (25)
Predicate | Object |
---|---|
gptkbp:instanceOf |
cryptographic framework
|
gptkbp:abbreviation |
UC framework
|
gptkbp:feature |
composability of protocols
modular security proofs |
gptkbp:field |
cryptography
|
gptkbp:hasModel |
ideal functionality
real-world adversary |
https://www.w3.org/2000/01/rdf-schema#label |
Universal Composability framework
|
gptkbp:influenced |
cryptographic protocol design
|
gptkbp:introduced |
gptkb:Ran_Canetti
|
gptkbp:introducedIn |
2001
|
gptkbp:notableFor |
blockchain protocols
electronic voting protocols secure messaging protocols |
gptkbp:publicationYear |
2001
|
gptkbp:publishedIn |
gptkb:Universally_Composable_Security:_A_New_Paradigm_for_Cryptographic_Protocols
|
gptkbp:purpose |
analyzing security of cryptographic protocols
|
gptkbp:relatedTo |
zero-knowledge proofs
secure multi-party computation simulation-based security |
gptkbp:securityDefinition |
UC security
|
gptkbp:supports |
arbitrary protocol composition
|
gptkbp:usedBy |
protocol designers
|
gptkbp:bfsParent |
gptkb:Ran_Canetti
|
gptkbp:bfsLayer |
4
|