ADSC 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. 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.

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

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.

If there are any questions, please contact us at adsc.committee@proton.me

Authors submitting to ADSC should in principle ensure that their paper can be presented at the conference in person. However, we are monitoring the situation regarding the COVID pandemic, and hybrid mode, including allowing for remote presentations, may be considered if significant travel restrictions remain by the time of the conference.

Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to any journal or conference/workshop that publishes proceedings. Authors may not submit the work to any other venue with published proceedings until after the date of notification of acceptance/rejection, or after formally withdrawing their submission from ADSC. Accepted submissions may not appear in any other conference or workshop that publishes proceedings. The ADSC chair reserves the right to share information about submissions with other program committees to detect parallel submissions.

The program co-chairs require cooperation from both authors and program committee members to prevent submissions from being evaluated by reviewers who have a conflict of interest. During the submission process, we will ask authors to identify members of the program committee with whom they share a conflict of interest.

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 20 pages in total, 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 conference proceedings.

See here Springer for past workshop proceedings.

Program Co-chairs

• Je Sen Teh, Universiti Sains Malaysia, Malaysia
• Aleksei Udovenko, University of Luxembourg, Luxembourg

Technical Program Commitee

• 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

Jian Guo, Nanyang Technological University, Singapore