ARSEC 2013 : Automated Reasoning in Security
Call For Papers
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.
Possible topics include, but are not limited to:
Privacy and Confidentiality;
Automated Reasoning techniques such as Paramodulation, Rewriting,
Unification and Satisfiability Modulo Theories (SMT).
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.
Paper submission deadline: April 8th
Workshop: 9 June 2013
Andrew M Marshall