posted by user: ARSEC || 5310 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 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
AVC 2020   Advances in Vision Computing: An International Journal
IJCAR 2020   10th International Joint Conference on Automated Reasoning
JSE 2020   9th International Conference on Software Engineering and Applications
CSW 2021   2021 International Workshop on Cyber Security (CSW 2021)
UNIF 2020   The 34th International Workshop on Unification
IJCCSA 2020   International Journal on Cloud Computing: Services and Architecture
IWIL 2020   14th International Workshop on the Implementation of Logics - IWIL 2020
SIGLOG/VCLA/ILLC Awards for WiL 2020   SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
ASE 2020   International Conference on Automated Software Engineering