posted by user: ARSEC || 6113 views || tracked by 12 users: [display]

ARSEC 2013 : Automated Reasoning in Security


When Jun 9, 2013 - Jun 9, 2013
Where Lake Placid, New York
Submission Deadline Apr 8, 2013
Categories    automated reasoning   security   logic   theoretical computer science

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:
Security Protocols;
Security Policies;
Privacy and Confidentiality;
Intrusion Detection;
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


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


Daniel Dougherty
Christopher Lynch
Andrew M Marshall
Paliath Narendran

Related Resources

LANMR 2022   Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
PAAR 2022   8th Workshop on Practical Aspects of Automated Reasoning
BIOS 2022   8th International Conference on Bioinformatics & Biosciences
NordSec 2022   The 27th Nordic Conference on Secure IT Systems
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
CEVVE 2022   2022 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2022)
KR 2022   Principles of Knowledge Representation and Reasoning
IDEAL 2022   23rd International Conference on Intelligent Data Engineering and Automated Learning
SPIoT 2022   The 11th International Symposium on Security and Privacy on the Internet of Things