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.
['Mike Bond', 'Riccardo Focardi', 'Sibylle B. Fröschle', 'Graham Steel']
Analysis of Security APIs (Dagstuhl Seminar 12482)