Automated Reasoning in Security (ARSEC 2013), A workshop with CADE24.

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).


PAPER SUBMISSION

We invite papers on new results in addition to papers on new research
that is not fully developed yet. We welcome short versions of recently
published articles and papers submitted elsewhere. The program committee
will check the relevance of submitted papers and may provide feedback.
The accepted papers will be made available electronically before the workshop.
Papers should have a max length of 8 pages and will be handled via EasyChair.

IMPORTANT DATES

Paper submission deadline: April 8th
Workshop: 9 June 2013


PROGRAM COMMITTEE

Alessandro Armando
Yannick Chevalier
Daniel Dougherty
Deepak Kapur
Christopher Lynch
Paliath Narendran
Paul Rowe


ORGANIZING COMMITTEE

Daniel Dougherty
Christopher Lynch
Andrew M Marshall
Paliath Narendran