Automated Symbolic Verification of Quantum Cryptographic Protocols

Lecture notes in computer science 2026

View at publisher Summarise with VIRAT

Authors: Rolando Trujillo-Rasúa, Jesse Laeuchli, Reynaldo Gil-Pons

DOI: 10.1007/978-3-032-20684-8_14

Cited by: 0

References: 20

Summary

No summary yet. VIRAT can read this paper and write a plain-language summary of its aim, methods, key findings and limitations.

Summarise with VIRAT Free to try with your Science Catalogs account.

Quantum Information and Cryptography Advanced Authentication Protocols Security Cryptography and Data Security

References 20