Quantum Bisimulation-Based Acceleration Method for Quantum Cryptographic Protocol Verification

View at publisher
Authors: Min Guan, Juan Xu, Lei Jian
Cited by: 0
References: 19

Fields of Study & Subjects

Quantum Information and Cryptography Quantum Computing Algorithms and Architecture Quantum Mechanics and Applications

Publication details

Journal / source
Lecture notes in computer science
Pages
373–387
Publication date
1 January 2026
Language
EN