TY - RPRT TI - Validating the correctness of hardware implementations of the NBS data encryption standard AU - Gait, Jason PY - 1977 PB - National Bureau of Standards CY - Gaithersburg, MD SN - NBS SP 500-20e1977 DO - 10.6028/NBS.SP.500-20e1977 ER -