Semi-automated verification of security proofs of quantum cryptographic protocols
scientific article; zbMATH DE number 6475170
scientific article