Vol-3280
urn:nbn:de:0074-3280-0

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

FAVPQC 2022
Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022)

Madrid, Spain, October 24, 2022.

Edited by

Sedat Akleylek *
Santiago Escobar
Kazuhiro Ogata *
Ayoub Otmani ****

* Ondokuz Mayis University, Turkey and University of Tartu, Estonia
** Polytechnic University of Valencia, Spain
*** Japan Advanced Institute of Science and Technology, Japan
**** University of Rouen Normandie, France

Table of Contents

Preface
Summary: There were 6 papers submitted for peer-review to the workshop. Out of these, 5 papers were accepted for presentation at the workshop, and 4 among the 5 papers and one keynote (invited) talk abstract are included in this volume.

Invited talk: Formal Verification of Quantum Protocols 1
Yuxin Deng
An Algebra of Quantum Programs with the Kleene Star Operator 2-15
Tsubasa Takagi
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude 16-31
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude 32-49
Víctor García, Santiago Escobar, Kazuhiro Ogata
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis 50-64
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

2022-11-08: submitted by Kazuhiro Ogata, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-20: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|