7th International Workshop on

Analysis of
Security APIs

part of Vienna Summer of Logic
July 18th 2014

A satellite workshop of CSF 2014


Aim and Format

Security APIs allow untrusted code to access sensitive resources in a secure way. Security API analysis is an emerging field of computer security research. Following on from a highly productive Dagstuhl Seminar in 2012, the ASA workshop series continues to bring together researchers working in security API analysis for a day of presentations and discussions.

Polished research papers are not solicited. Instead, the workshop will follow the format that was highly successful at ASA in 2007-12: prospective participants are invited to submit a short (1-4 page) abstract describing their current work and/or interests in the area. We plan to have sessions of 30-minute talks by participants.


The scope of ASA runs from theoretical results and formalisms for API analysis right through to applications and empirical results with security APIs deployed `in the field'. Previous work at ASA has dealt with APIs in financial applications (e.g. APIs of Hardware Security Modules), cryptographic APIs like RSA PKCS#11, the Trusted Computing Architecture, and concurrency based attacks on filesystem APIs and security APIs for preserving privacy in web based applications. Papers on new API-related topics not previously covered at ASA are especially welcome.


Submission is via the easychair website. Please use the EasyChair latex class file if you're preparing your abstract with LaTeX (if you have to use something else, we'll negotiate). Submit your 1-4 page extended abstract here - deadline 30th April 2014. All submissions will be reviewed by the PC. Notification of acceptance/rejection will be given by May 14th.

Programme Committee