@misc{1160491, author = {Jason Gait}, title = {Validating the correctness of hardware implementations of the NBS data encryption standard:}, year = {1977}, month = {1977-01-01 05:01:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NBS.SP.500-20e1977}, language = {en}, }