JAIST Repository >
School of Information Science >
JAIST PRESS Publications >
JAIST PRESS Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/18811

Title: Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023
Authors: Escobar, Santiago
Otmani, Ayoub
Akleylek, Sedat
Ogata, Kazuhiro
Issue Date: 26-Feb-2024
Publisher: JAIST Press
Abstract: Post-quantum cryptographic protocols refer to those replacements of classical cryptographic protocols as a precaution against future attacks from quantum computers. This has been motivated by the fact that the public-key cryptosystems used today will be no longer secure under largescale quantum computers, which are promisingly becoming available in the near future because of the huge research and development investment. Significant efforts have been spent to standardize post-quantum cryptographic primitives and protocols, especially after the Post-quantum Cryptography Standardization Project started by NIST (https://csrc.nist.gov/projects/postquantum-cryptography). Therefore, security analysis/verification of those post-quantum cryptographic protocols is an important factor in the construction of final secure cryptosystems. FAVPQC is organized as an event for researchers all over the world to report and discuss research related to the above-mentioned issue. Following the previously successful FAVPQC 2022, in 2023, the second workshop has been held in Brisbane, Australia. The workshop is a satellite event of the 24th International Conference on Formal Engineering Methods (ICFEM 2023). There were six papers submitted to the workshop and at least three reviewers who were PC members were assigned to each paper. Through the standard peer-review process, all six papers were accepted for presentation at the workshop. Five papers were presented physically at the venue, while one paper was presented online. The six papers are included in this volume. Note that any PC members (including PC co-chairs) who are co-authors of a paper was never involved in the peer-review process of the paper.
Description: The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023, Brisbane, Australia, November 21, 2023
Language: eng
URI: http://hdl.handle.net/10119/18811
ISBN: 978-4-903092-62-1
Appears in Collections:b70-1. JAIST PRESS 発行資料 (JAIST PRESS Articles)

Files in This Item:

File Description SizeFormat
ProcOfFACPQC2023.pdf5209KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology