GNUC swMATH ID: 12669 Software Authors: Hofheinz, Dennis; Shoup, Victor Description: GNUC: A new universal composability framework. We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning ”GNUC’s Not UC”), already alluding to the similarity to Canetti’s Universal Composability (UC) framework. In particular, like UC, we offer a universal composition theorem, as well as a theorem for composing protocols with joint state.{par}We deviate from UC in several important aspects. Specifically, we have a rather different view than UC on the structuring of protocols, on the notion of polynomial-time protocols and attacks, and on corruptions. We will motivate our definitional choices by explaining why the definitions in the UC framework are problematic, and how we overcome these problems.{par}Our goal is to offer a framework that is largely compatible with UC, such that previous results formulated in UC carry over to GNUC with minimal changes. We exemplify this by giving explicit formulations for several important protocol tasks, including authenticated and secure communication, as well as commitment and secure function evaluation. Homepage: http://link.springer.com/article/10.1007%2Fs00145-013-9160-y Keywords: Universal composability; protocols; composition Related Software: MoSS; CryptHOL; TAMARIN; EasyCrypt; FairplayMP Cited in: 14 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year GNUC: a new universal composability framework. Zbl 1356.94062Hofheinz, Dennis; Shoup, Victor 2015 all top 5 Cited by 31 Authors 4 Küsters, Ralf 4 Rausch, Daniel 3 Hofheinz, Dennis 2 Müller-Quade, Jörn 2 Tuengerthal, Max 2 Unruh, Dominique 2 Warinschi, Bogdan 1 Camenisch, Jan L. 1 Canetti, Ran 1 Chevalier, Céline 1 Cohen, Asaf 1 Enderlein, Robert R. 1 Herzberg, Amir 1 Krenn, Stephan 1 Leibowitz, Hemi 1 Li, Geng 1 Lindell, Yehuda 1 Liu, Bin 1 Liu, JianWei 1 Maurer, Ueli M. 1 Micciancio, Daniele 1 Portmann, Christopher 1 Rito, Guilherme 1 Shoup, Victor 1 Shrimpton, Thomas 1 Stam, Martijn 1 Syta, Ewa 1 Tessaro, Stefano 1 Wrótniak, Sara 1 Zhang, Yanting 1 Zhang, Zongyang Cited in 1 Serial 5 Journal of Cryptology Cited in 2 Fields 14 Information and communication theory, circuits (94-XX) 3 Computer science (68-XX) Citations by Year