VSL 2014: VIENNA SUMMER OF LOGIC 2014
ASA Call for Papers

ASA7 – 7th International Workshop on Analysis of Security APIs
July 18, 2014 · Vienna, Austria

http://www.lsv.ens-cachan.fr/~steel/asa7

Important Dates

Submission Apil 25, 2014
Notification May 9, 2014

Aims and Scope

Security APIs allow untrusted code to access sensitive resources in a secure way. Security API analysis is an emerging field of computer security research. The aim of the ASA workshop is to bring together researchers working in security API analysis for a day of presentations and discussions.

Polished research papers will not be 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 two 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 security APIs for preserving privacy in web based applications. Papers on new API-related topics not previously covered at ASA are especially welcome.

Paper Submissions

Submission is via the easychair website. Please use the Easychair latex class if you're preparing your abstract with LaTeX (if you have to use something else, we'll negotiate). 

 

Program Committee