Pošalji tekstualnu poruku: Validating the correctness of hardware implementations of the NBS data encryption standard / Jason Gait.