=Volume=
{{Volume
|number=3280
|storemode=property
|wikidataid=Q115608342
|title=Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
|acronym=FAVPQC 2022
|url=http://ceur-ws.org/Vol-3280/
|date=2022-11-20
|dblp=conf/icfem/2022favqpc
|k10plus=1831591774
|urn=urn:nbn:de:0074-1155-8
}}