NDLI: GNUC: A New Universal Composability Framework

Content Provider	Springer Nature Link
Author	Hofheinz, Dennis Shoup, Victor
Copyright Year	2013
Abstract	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.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.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.
Starting Page	423
Ending Page	508
Page Count	86
File Format	PDF
ISSN	09332790
Journal	Journal of Cryptology
Volume Number	28
Issue Number	3
e-ISSN	14321378
Language	English
Publisher	Springer US
Publisher Date	2013-10-05
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Universal composability Protocols Composition Coding and Information Theory Computational Mathematics and Numerical Analysis Combinatorics Probability Theory and Stochastic Processes Communications Engineering, Networks
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Computer Science Applications Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Polynomial Runtime and Composability

General Composition and Universal Composability in Secure Multiparty Computation

Long-Term Security and Universal Composability

Resource Fairness and Composability of Cryptographic Protocols

Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs

Security and Composition of Multiparty Cryptographic Protocols

Universally Composable Symbolic Security Analysis

Concurrent Composition of Secure Protocols in the Timing Model

Universal Service-Providers for Private Information Retrieval

GNUC: A New Universal Composability Framework

Similar Documents

Polynomial Runtime and Composability

General Composition and Universal Composability in Secure Multiparty Computation

Long-Term Security and Universal Composability

Resource Fairness and Composability of Cryptographic Protocols

Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs

Security and Composition of Multiparty Cryptographic Protocols

Universally Composable Symbolic Security Analysis

Concurrent Composition of Secure Protocols in the Timing Model

Universal Service-Providers for Private Information Retrieval

GNUC: A New Universal Composability Framework