High-Assurance Embedded Cryptographic Toolkit by Green Hills Software provides FIPS 140-2 cryptography for secure over-the-air (OTA) updates, secure boot, data storage, and networking in embedded devices. The Embedded Cryptographic Toolkit is designed to protect embedded devices from cyber attacks post-deployment.