Results 1 to 10 of about 959,083 (268)
On the Composability of Statistically Secure Random Oblivious Transfer [PDF]
Entropy, 2020 We show that random oblivious transfer protocols that are statistically secure according to a definition based on a list of information-theoretical properties are also statistically universally composable.
Rafael Dowsley +2 more
exaly +4 more sources
Symbolic Universal Composability [PDF]
2013 IEEE 26th Computer Security Foundations Symposium, 2013 We introduce a variant of the Universal Composability framework (UC; Canetti, FOCS 2001) that uses symbolic cryptography. Two salient properties of the UC framework are secure composition and the possibility of easily defining security by giving an ideal functionality as specification.
Dominique Unruh
exaly +8 more sources
Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting [PDF]
Entropy, 2021 Secure computation is a powerful cryptographic tool that encompasses the evaluation of any multivariate function with arbitrary inputs from mutually distrusting parties.
Bruno Costa +4 more
doaj +2 more sources
SSH-DAuth: secret sharing based decentralized OAuth using decentralized identifier [PDF]
Scientific Reports, 2023 OAuth2.0 is a Single Sign-On approach that helps to authorize users to log into multiple applications without re-entering the credentials. Here, the OAuth service provider controls the central repository where data is stored, which may lead to third ...
Danda Prudhvi Krishna +6 more
doaj +2 more sources
GNUC: A New Universal Composability Framework [PDF]
Journal of Cryptology, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Víctor Shoup, Dennis Hofheinz
exaly +6 more sources
Universal Composability Is Robust Compilation
ACM Transactions on Programming Languages and SystemsThis article discusses the relationship between two frameworks: universal composability ( \(\mathsf{UC}\) ) and robust compilation ( RC ). In cryptography, \(\mathsf{UC}\) is a framework for the specification and ...
Marco Patrignani +2 more
exaly +2 more sources
The robust distributed ledger model for a multidimensional blockchain security analysis [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2021 The paper considers the problem of constructing a model of the robust distributed ledger for security proof of a multidimensional blockchain. Several requirements for the model are imposed, among which most important are compatibility with existing ...
Ilya M. Shilov, Danil A. Zakoldaev
doaj +1 more source
Multiverse of HawkNess: A Universally-Composable MPC-Based Hawk Variant
Cryptography, 2022 The evolution of smart contracts in recent years inspired a crucial question: do smart contract evaluation protocols provide the required level of privacy when executing contracts on the blockchain? The Hawk (IEEE S&P ’16) paper introduces a way to solve
Aritra Banerjee, Hitesh Tewari
doaj +1 more source
Origami Store: UC-Secure Foldable Datachains for the Quantum Era
IEEE Access, 2021 Traditional blockchains preserve everything, if verification is to avoid trusted third parties. The accumulation of outdated but undeletable data makes traditional blockchains non-scalable for practical applications.
Jayamine Alupotha, Xavier Boyen
doaj +1 more source
Towards Quantum One-Time Memories from Stateless Hardware [PDF]
Quantum, 2021 A central tenet of theoretical cryptography is the study of the minimal assumptions required to implement a given cryptographic primitive. One such primitive is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum [CRYPTO 2008], which
Anne Broadbent +2 more
doaj +1 more source