Validating the correctness of hardware implementations of the NBS data encryption standard | NiceBooksReads