[Resource Topic] 2015/1054: Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS

Welcome to the resource topic for 2015/1054

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

Authors: HUI ZHAO, 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.

ePrint: https://eprint.iacr.org/2015/1054

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .