Results 241 to 250 of about 816 (272)
Some of the next articles are maybe not open access.
OmniSCOPE: Composing Universal Therapies
Methods of Information in Medicine, 2010Summary Objectives: This paper presents Omni SCOPE, an environment for the development of mobile pervasive therapy artifacts. OmniSCOPE builds on SCOPE, a tool for the support of mobile psychotherapy. It aims at providing therapists with means to adjust and compose new therapeutic artifacts to suit their patients’ needs and new therapeutic ...
M, de Sá, L, Carriço
openaire +2 more sources
Universally Composable Security
Journal of the ACM, 2020This work presents a general framework for describing cryptographic protocols and analyzing their security. The framework allows specifying the security requirements of practically any cryptographic task in a unified and systematic way. Furthermore, in this framework the security of protocols is preserved under a general composition operation, called ...
openaire +1 more source
Universally Composable Symmetric Encryption
2009 22nd IEEE Computer Security Foundations Symposium, 2009For most basic cryptographic tasks, such as public-key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities have been formulated in the simulation-based security approach, along with their realizations.
Ralf Küsters, Max Tuengerthal
openaire +2 more sources
On the Universally Composable Security of OpenStack
2019 IEEE Cybersecurity Development (SecDev), 2019OpenStack is the prevalent open-source, non-proprietary package for managing cloud services and data centers. It is highly complex and consists of multiple inter-related components which are developed by separate, loosely coordinated groups. We initiate an effort to provide a rigorous and holistic security analysis of OpenStack.
Kyle Hogan +7 more
openaire +2 more sources
Universally Composable Signcryption
2007One of the challenges within public-key based cryptosystems is providing the user with a convenient interface, while retaining security. In the universal composability framework, we propose an ideal functionality for secure messaging, with a user-friendly interface.
Kristian Gjøsteen, Lillian Kråkmo
openaire +1 more source
Agile Cryptography: A Universally Composable Approach
2023Being capable of updating cryptographic algorithms is an inevitable and essential practice in cryptographic engineering. This cryptographic agility, as it has been called, is a fundamental desideratum for long term cryptographic system security that still poses significant challenges from a modeling perspective.
Christian Badertscher +2 more
openaire +2 more sources
A note on the feasibility of generalised universal composability
Mathematical Structures in Computer Science, 2009In this paper we study (interpret) the precise composability guarantee of the generalised universal composability (GUC) feasibility with global setups that was proposed in the recent paper Canetti et al. (2007) from the point of view of full universal composability (FUC), that is, composability with arbitrary protocols, which was the original security ...
Andrew Chi-Chih Yao +2 more
openaire +1 more source
Universally Composable Subversion-Resilient Cryptography
2022Subversion attacks undermine security of cryptographic protocols by replacing a legitimate honest party’s implementation with one that leaks information in an undetectable manner. An important limitation of all currently known techniques for designing cryptographic protocols with security against subversion attacks is that they do not automatically ...
Chakraborty S. +3 more
openaire +4 more sources
Universally composable zero-knowledge sets
International Journal of Grid and Utility Computing, 2012We define and construct universally composable (UC) Zero-Knowledge Set (ZKS) protocols. A ZKS protocol allows a prover to commit to a secret set S and prove statements of the form x ∈ S or x ∉ S without revealing any other information about S. The universal composability framework initiated by Canetti is very useful as it ensures stronger security such
Haixia Xu 0002 +2 more
openaire +1 more source
Universally Composable Simultaneous Broadcast
2006Simultaneous Broadcast protocols allow different parties to broadcast values in parallel while guaranteeing mutual independence of the broadcast values. The problem of simultaneous broadcast was suggested by Chor et al. (FOCS 1985) who proposed a linear-round solution, and later improved by Chor and Rabin (PODC 1987) and Gennaro (IEEE Trans.
openaire +1 more source