10.4230/DAGREP.2.11.155
Bond, Mike
Mike
Bond
Focardi, Riccardo
Riccardo
Focardi
Fröschle, Sibylle
Sibylle
Fröschle
Steel, Graham
Graham
Steel
Analysis of Security APIs (Dagstuhl Seminar 12482)
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2013
Seminar Report
Security APIs
cryptography
key management
formal methods
security protocols
2013
2013-03-25
2013-03-25
2013-03-25
en
urn:nbn:de:0030-drops-39832
10.4230/DagRep.2.11.0
2192-5283
2192-5283
Dagstuhl Reports (DagRep)
2013
2
11
8
155
168
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
14 pages
713666 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
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.
Dagstuhl Reports, Volume 2, Issue 11, pages 155-168