You are looking at a specific version 20151030:193257 of this paper. See the latest version.

Paper 2015/1054

Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS

HUI ZHAO and Kouichi Sakurai

Abstract

We provide a symbolic model for multi-party computation based on linear secret-sharing scheme, and prove that this model is com- putationally sound: if there is an attack in the computational world, then there is an attack in the symbolic (abstract) model. Our original contri- bution is that we deal with the uniformity properties, which cannot be described using a single execution trace, while considering an unbounded number of sessions of the protocols in the presence of active and adaptive adversaries.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Preprint. MINOR revision.
Contact author(s)
eric hui zhao @ gmail com
History
2015-10-30: received
Short URL
https://ia.cr/2015/1054
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.