Differential Cryptanalysis of reduced-round DES in Rust