Universally Composable Secure Computation with Corrupted Tokens

2019 ◽  
pp. 432-461
Author(s):  
Nishanth Chandran ◽  
Wutichai Chongchitmate ◽  
Rafail Ostrovsky ◽  
Ivan Visconti
Keyword(s):  
Secure Computation

Unconditionally Secure Computation with Reduced Interaction

2016 ◽  
pp. 420-447 ◽  
Author(s):  
Ivan Damgård ◽  
Jesper Buus Nielsen ◽  
Rafail Ostrovsky ◽  
Adi Rosén
Keyword(s):  
Secure Computation

scholarly journals Actively revealing card attack on card-based protocols

2021 ◽  
Author(s):  
Ken Takashima ◽  
Daiki Miyahara ◽  
Takaaki Mizuki ◽  
Hideaki Sone
Keyword(s):  
Secure Computation ◽  
Malicious Attack ◽  
Formal Framework ◽  
Almost All ◽  
And Function

AbstractIn 1989, den Boer presented the first card-based protocol, called the “five-card trick,” that securely computes the AND function using a deck of physical cards via a series of actions such as shuffling and turning over cards. This protocol enables a couple to confirm their mutual love without revealing their individual feelings. During such a secure computation protocol, it is important to keep any information about the inputs secret. Almost all existing card-based protocols are secure under the assumption that all players participating in a protocol are semi-honest or covert, i.e., they do not deviate from the protocol if there is a chance that they will be caught when cheating. In this paper, we consider a more malicious attack in which a player as an active adversary can reveal cards illegally without any hesitation. Against such an actively revealing card attack, we define the t-secureness, meaning that no information about the inputs leaks even if at most t cards are revealed illegally. We then actually design t-secure AND protocols. Thus, our contribution is the construction of the first formal framework to handle actively revealing card attacks as well as their countermeasures.

Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation

2016 ◽  
Author(s):  
Benjamin Mood ◽  
Debayan Gupta ◽  
Henry Carter ◽  
Kevin Butler ◽  
Patrick Traynor
Keyword(s):  
Secure Computation

scholarly journals Progress of Secure Computation: Basic Constructions and Dedicated Algorithms

2018 ◽  
Vol 12 (1) ◽  
pp. 12-20
Author(s):  
Ryo KIKUCHI ◽  
Dai IKARASHI
Keyword(s):  
Secure Computation
Sign in / Sign up

Export Citation Format

Share Document