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.
Published in: FAVPQC@ICFEM (2022)
Keyphrases
- international conference
- international workshop
- formal analysis
- cryptographic protocols
- web information systems and mining
- selected papers
- lecture notes in artificial intelligence
- revised selected papers
- computational molecular biology
- ifip wg
- book constitutes the refereed proceedings
- computational intelligence
- pacific rim
- artificial neural networks
- carefully reviewed and selected from submissions
- formal methods
- web intelligence
- acm sigmod
- object oriented