Java-based Crypto Decoder Ring gets NIST FIPS 140-1 certification