Mechanical Backdoors in Cold War Encryption Machines