scholarly journals EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security

2019 ◽  
Author(s):  
Ran Canetti ◽  
Alley Stoughton ◽  
Mayank Varia
Keyword(s):  
Universally Composable Security

Universally Composable Security Analysis of TLS

2008 ◽  
pp. 313-327 ◽  
Author(s):  
Sebastian Gajek ◽  
Mark Manulis ◽  
Olivier Pereira ◽  
Ahmad-Reza Sadeghi ◽  
Jörg Schwenk
Keyword(s):  
Security Analysis ◽  
Universally Composable Security

Formalizing Bitcoin Crashes with Universally Composable Security

2020 ◽  
pp. 334-351
Author(s):  
Junming Ke ◽  
Pawel Szalachowski ◽  
Jianying Zhou ◽  
Qiuliang Xu
Keyword(s):  
Universally Composable Security

UNIVERSALLY COMPOSABLE BLIND SIGNATURE FUNCTIONALITY

2004 ◽  
Vol 03 (04) ◽  
pp. 673-684
Author(s):  
SHIRLEY H. C. CHEUNG ◽  
C. H. LEE ◽  
YUNLEI ZHAO
Keyword(s):  
Critical Role ◽  
Cryptographic Protocols ◽  
Blind Signature ◽  
Future Research ◽  
The Internet ◽  
Practical Consequence ◽  
Blind Signatures ◽  
Universally Composable Security ◽  
Security Guarantees ◽  
Research Studies

Blind signatures play a critical role in digital cash systems. In this paper, we investigate the blind signature functionality in the framework of universally composable (UC) security — the strongest security guarantees up to now for cryptographic protocols over the Internet. We present the universally composable blind signature functionality, [Formula: see text]. Our approach is based on a new UC signature functionality [Formula: see text], which is a modified version of the original signature functionality [Formula: see text] presented by Canetti. We also prove that [Formula: see text] and [Formula: see text] are actually equivalent with respect to non-adaptive adversaries. Our result is of both theoretical and practical consequence to future research studies and practical implementations of digital cash systems with universally composable security.

scholarly journals Universally Composable Security with Global Setup

2007 ◽  
pp. 61-85 ◽  
Author(s):  
Ran Canetti ◽  
Yevgeniy Dodis ◽  
Rafael Pass ◽  
Shabsi Walfish
Keyword(s):  
Universally Composable Security
Sign in / Sign up

Export Citation Format

Share Document