Camenisch, Jan ;
Küsters, Ralf ;
Lysyanskaya, Anna ;
Scafuro, Alessandra
Weitere Beteiligte (Hrsg. etc.): Jan Camenisch and Ralf Küsters and Anna Lysyanskaya and Alessandra Scafuro
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)
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.
BibTeX - Entry
@Article{camenisch_et_al:DR:2019:10571,
author = {Jan Camenisch and Ralf K{\"u}sters and Anna Lysyanskaya and Alessandra Scafuro},
title = {{Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)}},
pages = {88--103},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {1},
editor = {Jan Camenisch and Ralf K{\"u}sters and Anna Lysyanskaya and Alessandra Scafuro},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10571},
URN = {urn:nbn:de:0030-drops-105710},
doi = {10.4230/DagRep.9.1.88},
annote = {Keywords: applied cryptography, cryptographic protocols, practical protocols, provably secure protocols, security models, universally composability}
}
|
Keywords: |
|
applied cryptography, cryptographic protocols, practical protocols, provably secure protocols, security models, universally composability |
|
Seminar: |
|
Dagstuhl Reports, Volume 9, Issue 1
|
|
Issue date: |
|
2019 |
|
Date of publication: |
|
2019 |
2019
