Security Verification of Artificial Neural Networks Used to Error Correction in Quantum Cryptography | IEEE Conference Publication | IEEE Xplore