Validating the Correctness of Hardware Implementations of the NBS Data Encryption Standardby Jason Gait1980