Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA.