5th Workshop on Analysis of Security APIs June 30, 2011, Paris, France

5th Workshop on Analysis of Security APIs
June 30, 2011, Paris, France
affiliated with CSF 2011

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

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.

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'. Applications of interest
include (but are not limited to) financial applications (e.g. APIs of
Hardware Security Modules), smartcard APIs, the Trusted Computing
Architecture, and security APIs for web based systems.