Composition Theorems Without Pre-Established Session Identifiers

  title={Composition Theorems Without Pre-Established Session Identifiers},
  author={Ralf K{\"u}sters and Max Tuengerthal},
  booktitle={IACR Cryptology ePrint Archive},
Canetti's universal composition theorem and the joint state composition theorems by Canetti and Rabin are useful and widely employed tools for the modular design and analysis of cryptographic protocols. However, these theorems assume that parties participating in a protocol session have pre-established a unique session ID (SID). While the use of such SIDs is a good design principle, existing protocols, in particular real-world security protocols, typically do not use pre-established SIDs, at… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS
28 Citations
2 References
Similar Papers


Publications referenced by this paper.
Showing 1-2 of 2 references

Composition Theorems Without Pre-Established Session Identifiers

  • R. Küsters, M. Tuengerthal
  • Technical Report 2011/406, Cryptology ePrint…
  • 2011
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…