Model checking quantum key distribution protocols

Baichuan Huang, Yan Huang, Jiaming Kong, Xin Huang

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model checking quantum key distribution protocols'. Together they form a unique fingerprint.

Computer Science