Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (Q115608342)

Proceedings of FAVPQC 2022 workshop

Language	Label	Description	Also known as
English	Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols	Proceedings of FAVPQC 2022 workshop

Statements

instance of

proceedings

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

short name

FAVPQC 2022 (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

title

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

part of the series

CEUR Workshop Proceedings

volume

3280

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

publication date

20 November 2022

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

described at URL

http://ceur-ws.org/Vol-3280/

language of work or name

English

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

full work available at URL

http://ceur-ws.org/Vol-3280/

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

is proceedings from

International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

Identifiers

DBLP publication ID

conf/icfem/2022favqpc

0 references

K10plus PPN ID

1831591774

0 references

URN-NBN

urn:nbn:de:0074-3280-0

1 reference

reference URL

http://ceur-ws.org/Vol-3280/

retrieved

5 December 2022

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (Q115608342)

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Navigation menu

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (Q115608342)

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Navigation menu

Search