Computational soundness about formal encryption in the presence of secret shares and key cycles

Xinfeng Lei, Rui Xue, Ting Yu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The computational soundness of formal encryption is studied extensively following the work of Abadi and Rogaway[1]. Recent work considers the scenario in which secret sharing is needed, and separately, the scenario when key cycles are present. The novel technique is the use of a co-induction definition of the adversarial knowledge. In this paper, we prove a computational soundness theorem of formal encryption in the presence of both key cycles and secret shares at the same time, which is a non-trivial extension of former approaches.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages29-41
Number of pages13
Volume7043 LNCS
DOIs
Publication statusPublished - 17 Nov 2011
Externally publishedYes
Event13th International Conference on Information and Communications Security, ICICS 2011 - Beijing, China
Duration: 23 Nov 201126 Nov 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7043 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other13th International Conference on Information and Communications Security, ICICS 2011
CountryChina
CityBeijing
Period23/11/1126/11/11

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Lei, X., Xue, R., & Yu, T. (2011). Computational soundness about formal encryption in the presence of secret shares and key cycles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7043 LNCS, pp. 29-41). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7043 LNCS). https://doi.org/10.1007/978-3-642-25243-3_3