1 Search Results for "Fr�schle, Sibylle"


Document
Analysis of Security APIs (Dagstuhl Seminar 12482)

Authors: Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel

Published in: Dagstuhl Reports, Volume 2, Issue 11 (2013)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12482 "Analysis of Security APIs". Abstracts from the talks give a snapshot of current research in the field, while reports on the discussions give a roadmap for future research in the area.

Cite as

Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel. Analysis of Security APIs (Dagstuhl Seminar 12482). In Dagstuhl Reports, Volume 2, Issue 11, pp. 155-168, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{bond_et_al:DagRep.2.11.155,
  author =	{Bond, Mike and Focardi, Riccardo and Fr\"{o}schle, Sibylle and Steel, Graham},
  title =	{{Analysis of Security APIs (Dagstuhl Seminar 12482)}},
  pages =	{155--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{11},
  editor =	{Bond, Mike and Focardi, Riccardo and Fr\"{o}schle, Sibylle and Steel, Graham},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.11.155},
  URN =		{urn:nbn:de:0030-drops-39832},
  doi =		{10.4230/DagRep.2.11.155},
  annote =	{Keywords: Security APIs, cryptography, key management, formal methods, security protocols}
}
  • Refine by Author
  • 1 Bond, Mike
  • 1 Focardi, Riccardo
  • 1 Fröschle, Sibylle
  • 1 Steel, Graham

  • Refine by Classification

  • Refine by Keyword
  • 1 Security APIs
  • 1 cryptography
  • 1 formal methods
  • 1 key management
  • 1 security protocols

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2013

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