Results 251 to 260 of about 816 (272)

Universally Composable Identity-Based Encryption

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2006
Identity-based encryption (IBE) is one of the most important primitives in cryptography, and various security notions of IBE (e.g., IND-ID-CCA2, NM-ID-CCA2, IND-sID-CPA etc.) have been introduced. The relations among them have been clarified recently.
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto   +2 more
openaire   +1 more source

Universally Composable Security with Local Adversaries

2012
The traditional approach to formalizing ideal-model based definitions of security for multi-party protocols models adversaries (both real and ideal) as centralized entities that control all parties that deviate from the protocol. While this centralized-adversary modeling suffices for capturing basic security properties such as secrecy of local inputs ...
Ran Canetti, Margarita Vald
openaire   +2 more sources

A Universally Composable Treatment of Network Time

2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017
The security of almost any real-world distributed system today depends on the participants having some "reasonably accurate" sense of current real time. Indeed, to name one example, the very authenticity of practically any communication on the Internet today hinges on the ability of the parties to accurately detect revocation of certificates, or ...
Ran Canetti, Kyle Hogan, Aanchal Malhotra, Mayank Varia   +3 more
openaire   +2 more sources

UNIVERSALLY COMPOSABLE BLIND SIGNATURE FUNCTIONALITY

International Journal of Information Technology & Decision Making, 2004
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.
Shirley H. C. Cheung, Chan H. Lee, Yunlei Zhao   +2 more
openaire   +1 more source

Universally Composable Private Proximity Testing

2011
This paper aims at studying privacy-preserving tests for proximity. In a private proximity test, Alice can verify if she is close to Bob without either party revealing any other information about their location. We propose a system for private proximity testing based on the pre-distribution of data: the so-called commodity-based model.
Rafael Tonicelli, Bernardo Machado David, Vinícius de Morais Alves   +2 more
openaire   +1 more source

Synchronous Universally Composable Computer Networks

2016
Designers of modern IT networks face tremendous security challenges. As systems grow ever more complex and connected it is essential that they resist even previously-unknown attacks. Using formal models to analyse the security of cryptographic protocols is a well-established practice.
Achenbach, Dirk, Müller-Quade, Jörn, Rill, Jochen   +2 more
openaire   +2 more sources

Universally Composable Direct Anonymous Attestation

2016
Direct Anonymous Attestation DAA is one of the most complex cryptographic algorithms that has been deployed in practice. In spite of this and the long body of work on the subject, there is still no fully satisfactory security definition for DAA. This was already acknowledged by Bernard et al.
Jan Camenisch, Manu Drijvers, Anja Lehmann   +2 more
openaire   +3 more sources

Universally Composable Security Analysis of TLS

2008
We present a security analysis of the complete TLS protocol in the Universal Composable security framework. This analysis evaluates the composition of key exchange functionalities realized by the TLS handshake with the message transmission of the TLS record layer to emulate secure communication sessions and is based on the adaption of the secure ...
Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk   +4 more
openaire   +1 more source

A Universally Composable Scheme for Electronic Cash

2005
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-secure encryption scheme, a CMA-secure signature scheme, and a family of one-way, collision-free hash functions. In particular, the security proof is not in the random-oracle
openaire   +2 more sources

Composers in academia: Women composers at American colleges and universities

Contemporary Music Review, 1997
Of the nearly fifteen hundred composers at American colleges and universities, just over ten percent are women. This study highlights the output and achievements of seventeen of the most significant of these women. Special consideration is given to providing information about their most recent works.
openaire   +1 more source