Steel, 2015. Automated Proof and Flaw-Finding Tools in Cryptography 13.. https://doi.org/10.1109/msp.2015.22