TY - GEN AU - Jason Gait C2 - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD DA - 1980-09-01 DO - https://doi.org/10.6028/NBS.SP.500-20e1980 LA - en PB - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD PY - 1980 TI - Validating the Correctness of Hardware Implementations of the NBS Data Encryption Standard ER -