University of Birmingham Dismantling the AUT64 Automotive Cipher