On the Practical (In-)Security of 64-bit Block Ciphers | Synapse