@misc{210136, author = {Jason Gait}, title = {Validating the Correctness of Hardware Implementations of the NBS Data Encryption Standard}, year = {1980}, month = {1980-09-01}, publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NBS.SP.500-20e1980}, language = {en}, }