Cite
MLA Citation
Takahiro Kubota et al.. “Semi-automated verification of security proofs of quantum cryptographic protocols.” Journal of symbolic computation, vol. 73, 2016, pp. 192–220. http://access.bl.uk/ark:/81055/vdc_100073473849.0x000001