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)
- 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