GNUC

MaRDI QIDQ24595swMATHFDO

Official website http://link.springer.com/article/10.1007%2Fs00145-013-9160-y

Described by source

• GNUC: a new universal composability framework

Cited in

(14)

• On the (im-)possibility of extending coin toss
• MoSS: modular security specifications framework
• The IITM model: a simple and expressive model for universal composability
• CryptHOL
• Universal composition with responsive environments
• UC-secure cryptographic reverse firewall-guarding corrupted systems with the minimum trusted module
• Universally composable cryptographic role-based access control
• Embedding the UC model into the IITM model
• Joint state composition theorems for public-key encryption and digital signature functionalities with local computation
• Polynomial runtime and composability
• MoSS
• An equational approach to secure multi-party computation
• A simpler variant of universally composable security for standard multiparty computation
• A modular treatment of cryptographic APIs: the symmetric-key case

This page was built for software: GNUC