Analysis of Security APIs (Dagstuhl Seminar 12482)

Mike Bond, Riccardo Focardi, Sibylle FröSchle & Graham Steel
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.