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

HUI ZHAO; Kouichi Sakurai

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: CC BY

BibTeX

@misc{cryptoeprint:2015/1054,
      author = {HUI ZHAO and Kouichi Sakurai},
      title = {Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS},
      howpublished = {Cryptology ePrint Archive, Paper 2015/1054},
      year = {2015},
      note = {\url{https://eprint.iacr.org/2015/1054}},
      url = {https://eprint.iacr.org/2015/1054}
}