DagRep.9.1.88.pdf
- Filesize: 8.83 MB
- 16 pages
Document
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 9, Issue 1
Volume: Dagstuhl Reports, Volume 9
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2019-06-19
Cite AsGet 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
https://doi.org/10.4230/DagRep.9.1.88
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.
Keywords
- applied cryptography
- cryptographic protocols
- practical protocols
- provably secure protocols
- security models
- universally composability
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads