Login / Signup
FAVPQC@ICFEM
2022
2022
2022
Keyphrases
Publications
2022
Yuxin Deng
Invited talk: Formal Verification of Quantum Protocols.
FAVPQC@ICFEM
(2022)
Duong Dinh Tran
,
Canh Minh Do
,
Santiago Escobar
,
Kazuhiro Ogata
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.
FAVPQC@ICFEM
(2022)
Duong Dinh Tran
,
Kazuhiro Ogata
,
Santiago Escobar
,
Sedat Akleylek
,
Ayoub Otmani
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
FAVPQC@ICFEM
(2022)
Víctor García
,
Santiago Escobar
,
Kazuhiro Ogata
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.
FAVPQC@ICFEM
(2022)
Tsubasa Takagi
An Algebra of Quantum Programs with the Kleene Star Operator.
FAVPQC@ICFEM
(2022)
volume 3280, 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.
FAVPQC@ICFEM
3280 (2022)