On the Universally Composable Security of OpenStack

2019 IEEE Cybersecurity Development (SecDev) ◽

10.1109/secdev.2019.00015 ◽

2019 ◽

Cited By ~ 1

Author(s):

Kyle Hogan ◽

Hoda Maleki ◽

Reza Rahaeimehr ◽

Ran Canetti ◽

Marten van Dijk ◽

...

Keyword(s):

Universally Composable Security

Download Full-text

A Simpler Variant of Universally Composable Security for Standard Multiparty Computation

Lecture Notes in Computer Science - Advances in Cryptology -- CRYPTO 2015 ◽

10.1007/978-3-662-48000-7_1 ◽

2015 ◽

pp. 3-22 ◽

Cited By ~ 24

Author(s):

Ran Canetti ◽

Asaf Cohen ◽

Yehuda Lindell

Keyword(s):

Multiparty Computation ◽

Universally Composable Security

Download Full-text

Universally composable security: a new paradigm for cryptographic protocols

Proceedings 42nd IEEE Symposium on Foundations of Computer Science ◽

10.1109/sfcs.2001.959888 ◽

2001 ◽

Cited By ~ 1007

Author(s):

R. Canetti

Keyword(s):

Cryptographic Protocols ◽

New Paradigm ◽

Universally Composable Security

Download Full-text

Lattice Based Authenticated Key Exchange with Universally Composable Security

2018 International Conference on Networking and Network Applications (NaNA) ◽

10.1109/nana.2018.8648765 ◽

2018 ◽

Author(s):

Zhong Yan-Tao

Keyword(s):

Key Exchange ◽

Authenticated Key Exchange ◽

Universally Composable Security

Download Full-text

Universally composable security of identity-based signature schemes

Journal of Computer Applications ◽

10.3724/sp.j.1087.2011.00118 ◽

2011 ◽

Vol 31 (1) ◽

pp. 118-122

Author(s):

Ze-cheng WANG

Keyword(s):

Signature Schemes ◽

Identity Based ◽

Universally Composable Security

Download Full-text

Universally Composable Security Analysis of TLS

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_22 ◽

2008 ◽

pp. 313-327 ◽

Cited By ~ 27

Author(s):

Sebastian Gajek ◽

Mark Manulis ◽

Olivier Pereira ◽

Ahmad-Reza Sadeghi ◽

Jörg Schwenk

Keyword(s):

Security Analysis ◽

Universally Composable Security

Download Full-text

Formalizing Bitcoin Crashes with Universally Composable Security

Lecture Notes in Computer Science - Information Security ◽

10.1007/978-3-030-62974-8_19 ◽

2020 ◽

pp. 334-351

Author(s):

Junming Ke ◽

Pawel Szalachowski ◽

Jianying Zhou ◽

Qiuliang Xu

Keyword(s):

Universally Composable Security

Download Full-text

EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00019 ◽

2019 ◽

Cited By ~ 5

Author(s):

Ran Canetti ◽

Alley Stoughton ◽

Mayank Varia

Keyword(s):

Universally Composable Security

Download Full-text

UNIVERSALLY COMPOSABLE BLIND SIGNATURE FUNCTIONALITY

International Journal of Information Technology & Decision Making ◽

10.1142/s0219622004001318 ◽

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.

Download Full-text