Document Open Access Logo

Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)

Authors Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, Alessandra Scafuro and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.9.1.88.pdf
  • Filesize: 8.83 MB
  • 16 pages

Document Identifiers

Subject Classification

Keywords
  • applied cryptography
  • cryptographic protocols
  • practical protocols
  • provably secure protocols
  • security models
  • universally composability

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 19042 "Practical Yet Composably Secure Cryptographic Protocols". 

The workshop's main aim was to enhance the community's understanding of (1) what a good model was for how various protocols and systems co-exist in a larger system; (2) how to model important tasks and security protocols in such a model; (3) how to prove security of protocols in such a model.

Cite As Get BibTex

Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, and Alessandra Scafuro. Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042). In Dagstuhl Reports, Volume 9, Issue 1, pp. 88-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019) https://doi.org/10.4230/DagRep.9.1.88

Author Details

Jan Camenisch
Ralf Küsters
Anna Lysyanskaya
Alessandra Scafuro
and all authors of the abstracts in this report
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact