Submission deadline extended to 20th March 2023!

Over the years, many automated methods have been proposed to help designers and cryptanalysts prove security bounds of symmetric-key primitives against various attacks such as differential or integral cryptanalysis. These include the use of mixed integer linear programming (MILP), Boolean satisfiability problem (SAT) solvers and their extension, satisfiability modulo theories (SMT) solvers, as well as constraint programming (CP) solvers. More recently, data-driven techniques that rely on machine and deep learning have also been proposed, leading to attacks that rival that of their classical counterparts.

The aim of the ADSC workshop is to provide an international forum for researchers to explore and further push the boundaries of these automated and data-driven methods. We welcome submissions on the application, improvement and efficient implementation of these methods.

ADSC is one of the workshops held in parallel with ACNS. There is a best workshop paper award (with 500 EUR prize sponsored by Springer), to be selected from the accepted papers of all workshops.

Submission Guidelines

Submissions must be anonymous, with no author names, affiliations, acknowledgments, or obvious references. Each submission must begin with a title, short abstract, and a list of keywords. The introduction should summarize the contributions of the paper at a level appropriate for a non-specialist reader.

All submissions must be submitted in PDF format, following the unmodified LNCS format and typeset using the corresponding LaTeX class file. They must fit within a page limit of 20 pages, including title and abstract, figures, etc., but excluding references. Optionally, any amount of clearly marked supplementary material may be supplied, following the main body of the paper; however, reviewers are not required to read or review any supplementary material, and submissions are expected to be intelligible without it. Submissions not meeting these guidelines risk rejection without consideration of their merits. In order to accommodate for changes requested in reviews, the page limit for the camera-ready proceedings versions is 30 pages, including references and appendices.

Workshop papers will be published by Springer as a volume of the Lecture Notes in Computer Science (LNCS) series, in parallel with the main ACNS workshop proceedings.

Click here for past workshop proceedings.

List of Topics

We solicit submissions of original research papers related to automated and data-driven cryptanalysis methods, including (but not limited to):

• New cryptanalysis results of symmetric-key primitives and cryptosystems based on these methods.
• Comments on the mathematical, algorithmic and practical aspects of these automated/data-driven methods.
• Performance, efficient implementations or other related improvements.
• Comparison and benchmarks of concrete tools (SAT/SMT/CP solvers, MILP optimizers, learning frameworks) with regards to their suitability and efficiency for symmetric-key cryptanalysis.

Note that the scope of this workshop does not cover attacks against cryptographic implementations or hardware. These papers are better suited for other ACNS workshops.

Committee Members

Program Co-chairs

• Je Sen TEH, Universiti Sains Malaysia
• Aleksei UDOVENKO, University of Luxembourg

Technical Program Committee

• Kai Hu, Nanyang Technological University, Singapore
• Baptiste Lambin, University of Luxembourg, Luxembourg
• Qingju Wang, University of Luxembourg, Luxembourg
• Muhammad Reza Z'aba, MIMOS, Malaysia
• Wun-She Yap, Universiti Tunku Abdul Rahman, Malaysia
• Ryoma Ito, NICT, Japan
• Ling Song, Jinan University, Guangzhou, China
• Jiageng Chen, Central China Normal University, Wuhan, China
• Jiqiang Lu, Beihang University, China
• David Gerault, Technology Innovation Institute, UAE
• Aron Gohr, Independent Researcher

Invited Speakers

• Jian Guo, Nanyang Technological University, Singapore

Publication

Workshop papers will be published by Springer as a volume of the Lecture Notes in Computer Science (LNCS) series, in parallel with the main ACNS workshop proceedings.

Venue

The workshop will be held in Kyoto, Japan, together with the main ACNS conference. Click here to visit the ACNS 2023 website.

Contact

All questions about submissions should be emailed to adsc.committee@proton.me.