A cryptographic library with analysis and embedded capabilities.