Secure two-party computation
Ad-Hoc Secure Two-Party Computation on Mobile Devices using Hardware Tokens
... ad-hoc secure computation can be performed efficiently on mobile de- vices when aided by a trusted hardware ...is two orders of mag- nitude faster than that of other generic secure ...
20
Revisiting Secure Two-Party Computation with Rational Players
... a secure two-party computation, two parties or players want to compute a particular function of their inputs while preserving specific security notions under certain adversar- ial ...
13
Optimizing Authenticated Garbling for Faster Secure Two-Party Computation
... [Bra13] Lu´ıs T. A. N. Brand˜ ao. Secure two-party computation with reusable bit-commitments, via a cut-and-choose with forge-and-lose technique - (extended abstract). In Kazue Sako and Palash ...
27
Secure two-party computation in applied pi-calculus: models and verification
... specifying two-party compu- tation protocols and present the automated verification with ProVerif of an oblivious transfer protocol based on homomorphic encryption ...the two parties may agree ...for ...
18
Combining Private Set-Intersection with Secure Two-Party Computation
... are two strings then by a||b we denote the concatenation of a and ...for secure two-party computation (see Appendix C for the actual ...
30
TinyLEGO: An Interactive Garbling Scheme for Maliciously Secure Two-Party Computation
... Motivation. Efficient protocols for maliciously secure two-party computation based on garbled circuits are often extremely complex. The corresponding proofs of security are no better and often ...
42
Cut-and-Choose Bilateral Oblivious Transfer and Its Application in Secure Two-party Computation
... of secure two-party computation proposed by Yao [16] is secure only in semi- honest model, the cut-and-choose technique used for constructing secure protocols in the presence of ...
18
Outsourcing Secure Two-Party Computation as a Black Box
... multiparty computation (SMC) offers a technique to preserve functionality and data privacy in mobile ...the computation to a cloud ...specific secure computation assumptions and tools, and ...
17
Efficiently Making Secure Two-Party Computation Fair
... Abstract. Secure two-party computation cannot be fair against malicious adversaries, unless a trusted third party (TTP) or a gradual-release type super-constant round proto- col is ...
20
Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions
... of secure multiparty protocols (MPC) started with the works of Yao [13] for the two-party setting and Goldreich, Micali, and Wigderson [9] for the multiparty ...for secure computation ...
38
Secure Two-Party Computation with Reusable Bit-Commitments, via a Cut-and-Choose with Forge-and-Lose Technique
... the two widgets of each wire be a pair of two different ciphertexts encrypting the same seed, it would be guaranteed that the two different circuit output keys would lead into the same inner encoding ...
75
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation for Machine Learning
... Next, we discuss tools that expose libraries which developers can use to describe 2PC protocols. To generate efficient protocols for a functionality, the programmer must break the functionality into components and call ...
15
Secure Two-Party Computation over Unreliable Channels
... the computation and returns the ...proved secure according to the standard simulation-based security notion against semi-honest ...trusted party, usually called an ideal functionality, receives the ...
28
Adaptively secure two-party computation from indistinguishability obfuscation
... In two lemmas we prove that this middle hybrid is indistinguishable from both real execution and ...step two we consider the case of adaptive inputs choice, thus proving the theorem ...
30
Encryption Switching Protocols
... Secure Two-Party and Multiparty Computation. Secure two-party computation (2-PC) targets the following problem: Alice and Bob, modeled as probabilistic ...
54
Actively Secure OT Extension with Optimal Overhead
... only secure against passive adversaries, who are trusted to strictly follow the ...actively secure protocols, which remain secure against arbitrary deviations from the protocol, typically most ...
18
Amending Protection and Efficiency in Information Sharing
... a secure data s h a r i n g system, which f e a t u r e s the following ...a secure two-party computation (2PC) protocol between the KGC and the data storing center with their own ...
5
Efficient Server-Aided Secure Two-Party Function Evaluation with Applications to Genomic Computation
... server-aided secure two-party computation where all parties can behave ...second party and the server is still comparable to the work during execution of regular two-party ...
31
Non-Interactive Secure Computation from One-Way Functions
... of secure computation protocols in the stateless hardware token model was initiated by Chandran et ...round two-party computation protocol for general functions where each party ...
22
Round-Optimal Black-Box Two-Party Computation
... Round-optimal secure two-party ...of secure two-party computation from general ...any two-party functionality where both parties obtain the output, and 4 ...
30