共 50 条
[42]
Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review
[J].
ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024,
2025, 14784
:346-366
[49]
Integrating Post-Quantum Cryptography into CoAP and MQTT-SN Protocols
[J].
2024 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, ISCC 2024,
2024,
[50]
Finite Field Arithmetic in Large Characteristic for Classical and Post-quantum Cryptography
[J].
ARITHMETIC OF FINITE FIELDS, WAIFI 2022,
2023, 13638
:79-106