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
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.
|July 15, 2022||−||Deadline for abstract submission|
|July 30, 2022||−||Abstract acceptance notification|
|September 22-23, 2022||−||Conference|
|October 31, 2022||−||Full paper submission|
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)
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
Any inquiries about the workshop can be sent to email@example.com.