Vol-3279⫷ Vol-3280 ⫸Vol-3281
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 |