Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1711.10751

UC Secure Issuer-Free Adaptive Oblivious Transfer with Hidden Access Policy

Vandana Guleria, Ratna Dutta

Published Nov 29, 2017• 0 citations
arXivHTMLPDF

Abstract

Privacy is a major concern in designing any cryptographic primitive when frequent transactions are done electronically. During electronic transactions, people reveal their personal data into several servers and believe that this information does not leak too much about them. The adaptive oblivious transfer with hidden access policy (AOT-HAP) takes measure against such privacy issues. The existing AOT-HAP involves a sender and multiple receivers apart from a designated issuer. Security of these schemes rely on the fact that the issuer cannot collude with a set of receivers. Moreover, they loose security when run with multiple protocol instances during concurrent execution. We present the first issuer-free AOT-HAP in universal composable (UC) framework in which the protocol is secure even when composed with each other or with other protocols. A concrete security analysis is given assuming the hardness of q-strong Diffie-Hellman (SDH), decision Linear (DLIN) and decision bilinear Diffie-Hellman (DBDH) problems against malicious adversary in UC model. Moreover, the protocol outperforms the existing similar schemes.

DOI
10.48550/arxiv.1711.10751

Related papers

Universally composable issuer‐free adaptive oblivious transfer with access policy

Vandana Guleria, Ratna Dutta

Abstract In today's Internet world, security, privacy and efficiency are three prime concerns in designing any cryptographic protocol. Adaptive oblivious transfer with access policy (AOT‐AP) is widely used in oblivious search of privacy preserving databases in which each message is associated with an access policy and only authorized receivers can access the databases. All the existing AOT‐AP protocols assume a trusted third party called issuer apart from a sender and multiple receivers and are secure under the restriction that the issuer never colludes with a collection of receivers. We propose the first issuer‐freeAOT‐AP in universal composable (UC) framework. Our issuer‐free AOT‐AP is UC secure under standard assumptions assuming malicious adversary in static corruption model. More interestingly, our scheme exhibits significant improvements over the existing schemes. Copyright © 2015 John Wiley & Sons, Ltd.

Security and Communication Networks•Jun 1, 2015•5 citations

Adaptive Oblivious Transfer with Hidden Access Policy Realizing Disjunction

Vandana Guleria, Ratna Dutta

We propose an efficient adaptive oblivious transfer protocol with hidden access policies. This scheme allows a receiver to anonymously recover a message from a database which is protected by hidden attribute based access policy if the receiver's attribute set satisfies the associated access policy implicitly. The proposed scheme is secure in the presence of malicious adversary under the q-Strong Diffie-Hellman (SDH), q-Power Decisional Diffie-Hellman (PDDH) and Decision Bilinear Diffie-Hellman (DBDH) assumption in full-simulation security model. The scheme covers disjunction of attributes. The proposed protocol outperforms the existing similar schemes in terms of both communication and computation.

International Conference on Security and Cryptography•Jan 1, 2014•3 citations

Can universally composable cryptographic protocols be practical?

István Vajda

The Universal Composability (UC) framework provides provable security guaranties for harsh application environment, where we want to construct protocols which keep security guarantees even when they are concurrently composed with arbitrary number of arbitrary (even hostile) protocols.This is a very strong guarantee.The UC-framework inherently supports the modular design, which allows secure composition of arbitrary number of UC-secure components with an arbitrary protocol.In contrast, traditional analysis and design is a stand alone analysis where security of a single instance is considered, i.e. an instance which is not in potential interaction with any concurrent instances.Furthermore, a typical traditional analysis is informal, i.e. without a formal proof.In spite of these facts, beyond the task of key-exchange this technology have not really took the attention of the community of applied cryptography.From practitioner's point of view the UC-world may seem more or less an academic interest of theoretical cryptographers.Accordingly we take a pragmatic approach, where we concentrate on meaningful compromises between the assumed adversarial strength, ideality wishes and realization complexity while keeping provable security guarantees within the UC-framework.We believe that even modest but provable goals (especially, if tunable to application scenarios) are interesting if a wider penetration of the UC-technology is desired into the daily-practice of protocol applications.

International Journal of Computer Network and Information Security•Sep 8, 2015•2 citations

Efficient oblivious transfer with adaptive queries in UC framework

Vandana Guleria, Ratna Dutta

Abstract We propose two efficient universally composable adaptivek‐out‐of‐N protocols, secure in the presence of malicious adversary in static corruption model under the Decision Linear and q‐Strong Diffie–Hellman assumptions. Our second scheme additionally requires the hardness of Decision Bilinear Diffie‐Hellman problem. Non‐interactive Groth–Sahai proofs are employed for the verification of pairing product equations. More interestingly, our first scheme facilitates the receiver to verify the correctness of messages recovered. The proposed protocols exhibit significant computational and communication efficiency compared with existing similar schemes in the literature. Copyright © 2016 John Wiley & Sons, Ltd.

Security and Communication Networks•Jul 21, 2016•0 citations

Universally Composable Efficient Priced Oblivious Transfer from a Flexible Membership Encryption.

Pratish Datta, Ratna Dutta, Sourav Mukhopadhyay

Abstract. Membership encryption is a newly developed cryptographic primitive that combines membership proof and encryption into an unified setting. This paper presents a new flexible mem-bership encryption scheme which is provably secure and significantly more efficient than the previous scheme. Further we apply our proposed membership encryption to construct a round optimal 1-out-of-n priced oblivious transfer (POT) protocol which, unlike the existing 1-out-of-n POT schemes, is proven secure under the universally composable (UC) security model and thus preserves secu-rity when it is executed with multiple protocol instances that run concurrently in an adversarily controlled way. Moreover, using our membership encryption, the POT protocol exhibits constant communication complexity on the buyer’s side and O(n) communication cost on the vendor’s side, which is so far the best known in the literature.

•Jan 1, 2014•0 citations

Efficient and Universally Composable Security Oblivious Transfer

Fenghua Li

Non-committing encryption achieved only semantic security,in contrast,applications often require security against chosen ciphertext attacks.A main ingredient in the previous adaptive universally composable(UC)oblivious transfer protocols are non-committing encryptions.the previous proposals are not UC secure against adaptive adversaries in the so-called non-erase model.A new UC secure oblivious transfer protocols were proposed and schemes utilize two primitives of the verifiably smooth projective hashing and deniable encryption as constructed by.the double trapdoor decryption mechanism based on trapdoor commitment.Our construction is based on the decisional composite residuosity in common reference string (CRS) model.We constructed a two-message(1-round) string oblivious transfer protocol,which improves computational efficient that supports message spaces of size exponential and save O(n)-1 rounds communications efficient than bit-OT protocols.

Dianzi xuebao•Jan 1, 2008•1 citation
Privacy is a major concern in designing any cryptographic primitive when frequent transactions are done electronically. During electronic transactions, people reveal their personal data into several servers and believe that this information does not leak too much about them. The adaptive oblivious transfer with hidden access policy (AOT-HAP) takes measure against such privacy issues. The existing AOT-HAP involves a sender and multiple receivers apart from a designated issuer. Security of these schemes rely on the fact that the issuer cannot collude with a set of receivers. Moreover, they loose security when run with multiple protocol instances during concurrent execution. We present the first issuer-free AOT-HAP in universal composable (UC) framework in which the protocol is secure even when composed with each other or with other protocols. A concrete security analysis is given assuming the hardness of q-strong Diffie-Hellman (SDH), decision Linear (DLIN) and decision bilinear Diffie-Hellman (DBDH) problems against malicious adversary in UC model. Moreover, the protocol outperforms the existing similar schemes.
Abstract In today's Internet world, security, privacy and efficiency are three prime concerns in designing any cryptographic protocol. Adaptive oblivious transfer with access policy (AOT‐AP) is widely used in oblivious search of privacy preserving databases in which each message is associated with an access policy and only authorized receivers can access the databases. All the existing AOT‐AP protocols assume a trusted third party called issuer apart from a sender and multiple receivers and are secure under the restriction that the issuer never colludes with a collection of receivers. We propose the first issuer‐freeAOT‐AP in universal composable (UC) framework. Our issuer‐free AOT‐AP is UC secure under standard assumptions assuming malicious adversary in static corruption model. More interestingly, our scheme exhibits significant improvements over the existing schemes. Copyright © 2015 John Wiley & Sons, Ltd.
We propose an efficient adaptive oblivious transfer protocol with hidden access policies. This scheme allows a receiver to anonymously recover a message from a database which is protected by hidden attribute based access policy if the receiver's attribute set satisfies the associated access policy implicitly. The proposed scheme is secure in the presence of malicious adversary under the q-Strong Diffie-Hellman (SDH), q-Power Decisional Diffie-Hellman (PDDH) and Decision Bilinear Diffie-Hellman (DBDH) assumption in full-simulation security model. The scheme covers disjunction of attributes. The proposed protocol outperforms the existing similar schemes in terms of both communication and computation.
The Universal Composability (UC) framework provides provable security guaranties for harsh application environment, where we want to construct protocols which keep security guarantees even when they are concurrently composed with arbitrary number of arbitrary (even hostile) protocols.This is a very strong guarantee.The UC-framework inherently supports the modular design, which allows secure composition of arbitrary number of UC-secure components with an arbitrary protocol.In contrast, traditional analysis and design is a stand alone analysis where security of a single instance is considered, i.e. an instance which is not in potential interaction with any concurrent instances.Furthermore, a typical traditional analysis is informal, i.e. without a formal proof.In spite of these facts, beyond the task of key-exchange this technology have not really took the attention of the community of applied cryptography.From practitioner's point of view the UC-world may seem more or less an academic interest of theoretical cryptographers.Accordingly we take a pragmatic approach, where we concentrate on meaningful compromises between the assumed adversarial strength, ideality wishes and realization complexity while keeping provable security guarantees within the UC-framework.We believe that even modest but provable goals (especially, if tunable to application scenarios) are interesting if a wider penetration of the UC-technology is desired into the daily-practice of protocol applications.
Abstract We propose two efficient universally composable adaptivek‐out‐of‐N protocols, secure in the presence of malicious adversary in static corruption model under the Decision Linear and q‐Strong Diffie–Hellman assumptions. Our second scheme additionally requires the hardness of Decision Bilinear Diffie‐Hellman problem. Non‐interactive Groth–Sahai proofs are employed for the verification of pairing product equations. More interestingly, our first scheme facilitates the receiver to verify the correctness of messages recovered. The proposed protocols exhibit significant computational and communication efficiency compared with existing similar schemes in the literature. Copyright © 2016 John Wiley & Sons, Ltd.
Abstract. Membership encryption is a newly developed cryptographic primitive that combines membership proof and encryption into an unified setting. This paper presents a new flexible mem-bership encryption scheme which is provably secure and significantly more efficient than the previous scheme. Further we apply our proposed membership encryption to construct a round optimal 1-out-of-n priced oblivious transfer (POT) protocol which, unlike the existing 1-out-of-n POT schemes, is proven secure under the universally composable (UC) security model and thus preserves secu-rity when it is executed with multiple protocol instances that run concurrently in an adversarily controlled way. Moreover, using our membership encryption, the POT protocol exhibits constant communication complexity on the buyer’s side and O(n) communication cost on the vendor’s side, which is so far the best known in the literature.
Non-committing encryption achieved only semantic security,in contrast,applications often require security against chosen ciphertext attacks.A main ingredient in the previous adaptive universally composable(UC)oblivious transfer protocols are non-committing encryptions.the previous proposals are not UC secure against adaptive adversaries in the so-called non-erase model.A new UC secure oblivious transfer protocols were proposed and schemes utilize two primitives of the verifiably smooth projective hashing and deniable encryption as constructed by.the double trapdoor decryption mechanism based on trapdoor commitment.Our construction is based on the decisional composite residuosity in common reference string (CRS) model.We constructed a two-message(1-round) string oblivious transfer protocol,which improves computational efficient that supports message spaces of size exponential and save O(n)-1 rounds communications efficient than bit-OT protocols.