Analysis of Security APIs (Dagstuhl Seminar 12482)
Mike Bond, Riccardo Focardi, Sibylle Fröschle, Graham Steel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013
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.