Barthe, G., et al.. Symbolic Methods in Computational Cryptography Proofs. IEEE, 2019, doi:10.1109/csf.2019.00017.