# Semi-automated verification of security proofs of quantum cryptographic protocols

> Research article (Journal of Symbolic Computation, 2015) · cited 21× · AI/ML

**Wikidata**: [openalex:W1430738455](https://www.wikidata.org/wiki/openalex:W1430738455)  
**Source**: https://4ort.xyz/entity/semi-automated-verification-of-security-proofs-of-quantum-cryptographic-protocols