Information Flow Control with Minimal Tag Disclosure

Ko, Hajoon; Singh, Jatinder; Pasquier, Thomas; Dong, Changyu; Eyers, David; Bacon, Jean

doi:10.1145/2896387.2896402

Cited by 1 publication

(5 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first P S I protocol presented by Freedman uses oblivious polynomial evaluation. Kissner and Song also propose protocols in multi‐party settings following this way. In this paper, a polynomial representation of sets is also exploited analogously.…”

Section: Preliminariesmentioning

confidence: 99%

“…Then g c d ( f A ( x ), f B ( x )) represents the set intersection

S_{A} \cap S_{B}

, where g c d denotes the greatest common divisor. For 2 polynomials f A ( x ) and f B ( x ) of degree d , there exist 2 polynomials μ A ( x ) and μ B ( x ) that the degree are d and chosen uniformly at random from R [ x ], which satisfies the formula μ A f A ( x )+ μ B f B ( x )= γ · g c d ( f A ( x ), f B ( x )) where γ is a uniformly random polynomial. It means that if f A ( x ) and f B ( x ) represent sets S A and S B , then the polynomial μ A ( x ) f A ( x )+ μ B ( x ) f B ( x ) only reflect the information of

S_{A} \cap S_{B}

and no information of elements in S A or S B .…”

Section: Preliminariesmentioning

confidence: 99%

“…Figure shows the representation of the intersection protocol between 2 parties (clients) and a cloud server. Each client outsources their sets to the cloud and one client tries to compute the intersection operation of its set with that of the set of the other client.…”

Section: O‐psi Protocolmentioning

confidence: 99%

“…Based on polynomial interpolation and the point‐value form, we construct a variant of the delegated protocol that improves the O‐PSI protocol of Abadi et al As shown in Figure , the set intersection protocol also involves 3 entities. Each client outsources its sets to the cloud for storage.…”

Section: Variant Of the Delegated Psi Protocolmentioning

confidence: 99%

“…It allows 2 parties or multiple parties to compute the intersections privately for their sets without revealing any other information. As a novel cryptographic primitive, PSI not only solves the privacy‐preserving problems in datasets, but also as a building block applied in the real life settings, such as privacy‐preserving data mining, health care research, human genome project, homeland security, and information flow control . For instance, suppose 2 accounts holders want to know their common friends in social network whereas they both do not want to leak their privacy.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Improved outsourced private set intersection protocol based on polynomial interpolation

Yang

Xue-shan

Wang

et al. 2017

Concurrency and Computation

View full text Add to dashboard Cite

SummaryPrivate set intersection (PSI) protocols enable 2 parties to compute the intersection of their inputs without compromising anything about the datasets beyond the intersection. With the advent of cloud computing, outsourcing computation has been attracted wide range of attention from research community and applied widely in the industry. The cloud computing allows resources restrained devices to outsource their expensive computation to the cloud. Based on Abadi's O-PSI, we present a variant of delegated private set intersection protocol secure in the semi-honest model under RSA assumption, and we also give an efficient and secure outsourcing computation algorithm for RSA cryptosystem. Depending on this algorithm, we transform a variant of delegated private set intersection protocol into an improved outsourced one. It enables the clients only to perform simple modular multiplication for computing what they want during the execution of protocol. Besides, the variant of delegated protocol can be easily extended to multiple clients.Compared with the state of the art, our proposed protocol has great advantage in efficiency. We finally evaluate these protocols and prove their security in the semi-honest model. KEYWORDScloud computing, outsourced computation, polynomial interpolation, private set intersection INTRODUCTIONPrivate set intersection protocols are the branch of secure multi-party computation (SMPC), 1,2 which have been studied for many years. It allows 2 parties or multiple parties to compute the intersections privately for their sets without revealing any other information. As a novel cryptographic primitive, PSI not only solves the privacy-preserving problems in datasets, but also as a building block applied in the real life settings, such as privacy-preserving data mining, 3 health care research, human genome project, 4 homeland security, 5 and information flow control. 6 For instance, suppose 2 accounts holders want to know their common friends in social network whereas they both do not want to leak their privacy. It seems to be a challengeable problem. However, with PSI protocols, 2 holders can privately know the result and do not need to publish total information.With the advent of cloud computing, outsourced computation 7 has been the main tendency for clients with limited computational resources. It allows them to outsource their private data to the cloud to compute the results. Using powerful cloud computing to construct and implement private set intersection protocol is becoming a new scientific research field. On the one hand, cloud computing provides huge resources for us to achieve efficient private set intersection protocol. On the other hand, it also brings about some challenges.In traditional private set intersection protocol, it only involves 2 participants to interact with each other. However, in the cloud computing environment, the cloud server as the third party takes part in the private set intersection protocol, which is not totally trusted. Therefore, the datasets transferred to...

show abstract

Section: Preliminariesmentioning

confidence: 99%

“…Then g c d ( f A ( x ), f B ( x )) represents the set intersection