Computational soundness of uniformity properties for multi-party computation based on LSSS

Hui Zhao, Kouichi Sakurai

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

We provide a symbolic model for multi-party computation based on linear secret-sharing scheme, and prove that this model is computationally sound: if there is an attack in the computational world, then there is an attack in the symbolic (abstract) model. Our original contribution 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.

本文言語英語
ホスト出版物のタイトルTrusted Systems - 7th International Conference, INTRUST 2015, Revised Selected Papers
編集者Moti Yung, Jianbiao Zhang, Zhen Yang
出版社Springer Verlag
ページ99-113
ページ数15
ISBN(印刷版)9783319315492
DOI
出版ステータス出版済み - 1 1 2016
イベント7th International Conference on the Theory, Technologies and Applications of Trusted Systems, INTRUST 2015 - Beijing, 中国
継続期間: 12 7 201512 8 2015

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9565
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他7th International Conference on the Theory, Technologies and Applications of Trusted Systems, INTRUST 2015
Country中国
CityBeijing
Period12/7/1512/8/15

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Computational soundness of uniformity properties for multi-party computation based on LSSS」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル