posted by user: ARSEC || 5575 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

AAAI 2021   35th AAAI Conference on Artificial Intelligence
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
IJCIS 2021   International Journal on Cryptography and Information Security
CEVVE 2021   2021 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2021)
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
IJCCSA 2021   International Journal on Cloud Computing: Services and Architecture
KR 2021   18th International Conference on Principles of Knowledge Representation and Reasoning
CCNC 2021   IEEE Consumer Communications & Networking Conference
BES 2021   5th International Conference on Biomedical Engineering and Science