License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.9.1.88
URN: urn:nbn:de:0030-drops-105710
URL: http://drops.dagstuhl.de/opus/volltexte/2019/10571/
Go back to Dagstuhl Reports


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)

pdf-format:
dagrep_v009_i001_p088_19042.pdf (9 MB)


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: 19.06.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI