International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography 2022

Cryptographic protocols have an important role to achieve information security concepts in  real world. Those are nice applications of number theory, algebraic geometry, information theory and so on. The aim of this workshop is to bring together researchers and provide them with a platform to report on recent developments in logic, cyber security and cryptology.

The focus of the conference is on the foundations, theory and applications of cyber security and cryptology. This event is a part of the project (Formal Analysis and Verification of Post-Quantum Cryptographic Protocols – FAVPQC) supported by EIG Concert Japan.

Call for Papers

Original contributions on all technical aspects of logic, cyber security and cryptography are solicited for submission to this workshop. Submissions are welcomed on any logic and cryptographic topic including but not limited to:

• foundational theory and mathematics
• the design, proposal, and analysis of cryptographic primitives and protocols
• post-quantum cryptography
• formal verification tools
• security models
• applied aspects of cryptography

Abstract Submission

Interested researchers are invited to submit one page abstracts prepared in LaTeX. The abstract must contain title, full name of the authors, affiliations and e-mail addresses. The accepted abstracts will be made available electronically on the webpage before the conference. Abstracts must be electronically submitted in Tex and PDF via easychair.

The presented papers will be published in a post-proceedings. Details will be updated soon.

Important Dates

Program Committee (to be updated)

Sedat Akleylek, Ondokuz Mayis University, Turkey (co-chair)

Santiago Escobar, Polytechnic University of Valencia, Spain (co-chair)

Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan (co-chair)

Ayoub Otmani, University of Rouen Normandie, France (co-chair)

Organizing Committee

Sedat Akleylek, Ondokuz Mayis University, Turkey

Besik Dundua, Tbilisi State University, Georgia

Mikheil Rukhaia, Tbilisi State University, Georgia

Meryem Soysaldı Şahin, Ondokuz Mayis University, Turkey

Kübra Seyhan, Ondokuz Mayis University, Turkey

Contact

Any inquiries about the workshop can be sent to sedat.akleylek@bil.omu.edu.tr.