mbedtls/docs/PSACryptoDriverModelSpec.pdf