Title: Validating the correctness of hardware implementations of the NBS data encryption standard
Subjects: Access control, Code words, Computers, Data encryption (Computer science), Monte Carlo method, Passwords, Testing