scholarly journals Statically verified refinements for multiparty protocols

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Fangyi Zhou ◽  
Francisco Ferreira ◽  
Raymond Hu ◽  
Rumyana Neykova ◽  
Nobuko Yoshida
Keyword(s):  
Multiparty Protocols

scholarly journals Efficient Multiparty Protocols via Log-Depth Threshold Formulae

2013 ◽  
pp. 185-202 ◽  
Author(s):  
Gil Cohen ◽  
Ivan Bjerre Damgård ◽  
Yuval Ishai ◽  
Jonas Kölker ◽  
Peter Bro Miltersen ◽  
...  
Keyword(s):  
Multiparty Protocols

scholarly journals SMC PROTOCOL FOR DISTRIBUTED K- ANONYMITY

2013 ◽  
pp. 69-72
Author(s):  
V. SIREESHA ◽  
B. OBULESU
Keyword(s):  
Objective Function ◽  
Experimental Results ◽  
Amount Of Information ◽  
Acceptable Range ◽  
Look Ahead ◽  
Multiparty Protocols ◽  
The Look

Secure multiparty protocols have been proposed to enable non colluding parties to cooperate without a trusted server. Even though such protocols put off information exposé other than the objective function, they are quite costly in computation and communication. The high overhead motivates parties to estimate the utility that can be achieved as a result of the protocol beforehand. To avoid this issue we propose a look-ahead approach, specifically for secure multiparty protocols to achieve distributed k-anonymity, which helps parties to decide if the utility benefit from the protocol is within an acceptable range before initiating the protocol. The look-aheadoperation is highly localized and its accuracy depends on the amount of information the parties are willing toshare. Experimental results show the effectiveness of the proposed methods.

Sign in / Sign up

Export Citation Format

Share Document