International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (Q115608343)
Jump to navigation
Jump to search
academic workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols |
academic workshop |
Statements
FAVPQC 2022 (English)
1 reference
5 December 2022
International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (English)
1 reference
5 December 2022
Identifiers
1 reference
5 December 2022