ARSEC 2013 - Automated Reasoning in Security

Automated reasoning methods have become increasingly critical in many areas of security,
from analyzing cryptographic protocols for flaws to analyzing access-control and privacy policies.
This interaction is proving to be mutually beneficial:
automated reasoning methods are finding new applications in security; and
new automated reasoning methods, developed for security applications,
are enriching the tools available to all areas of automated reasoning.
ARSEC will bring together researchers interested in automated reasoning and security
to present recent work (including work in progress) and to discuss new ideas and trends in the field.
Topics
Possible topics include, but are not limited to:
Security Protocols;
Security Policies;
Privacy and Confidentiality;
Intrusion Detection;
Automated Reasoning techniques such as Paramodulation, Rewriting, Unification and Satisfiability Modulo Theories (SMT).