/* Copyright (C) 2017 Fortanix, Inc.
This file is part of Graphene Library OS.
Graphene Library OS is free software: you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
as published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.
Graphene Library OS is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with this program. If not, see . */
#include
#include
#include
#include "pal.h"
#include "pal_crypto.h"
#include "pal_error.h"
#include "pal_debug.h"
#include "assert.h"
#include "crypto/mbedtls/mbedtls/cmac.h"
#include "crypto/mbedtls/mbedtls/sha256.h"
#include "crypto/mbedtls/mbedtls/rsa.h"
#define BITS_PER_BYTE 8
/* This is declared in pal_internal.h, but that can't be included here. */
int _DkRandomBitsRead(void *buffer, int size);
/* Wrapper to provide mbedtls the RNG interface it expects. It passes an
* extra context parameter, and expects a return value of 0 for success
* and nonzero for failure. */
static int RandomWrapper(void *private, unsigned char *data, size_t size)
{
return _DkRandomBitsRead(data, size) != size;
}
#define BITS_PER_BYTE 8
int lib_SHA256Init(LIB_SHA256_CONTEXT *context)
{
mbedtls_sha256_init(context);
mbedtls_sha256_starts(context, 0 /* 0 = use SSH256 */);
return 0;
}
int lib_SHA256Update(LIB_SHA256_CONTEXT *context, const uint8_t *data,
uint64_t len)
{
/* For compatibility with other SHA256 providers, don't support
* large lengths. */
if (len > UINT32_MAX) {
return -PAL_ERROR_INVAL;
}
mbedtls_sha256_update(context, data, len);
return 0;
}
int lib_SHA256Final(LIB_SHA256_CONTEXT *context, uint8_t *output)
{
mbedtls_sha256_finish(context, output);
/* This function is called free, but it doesn't actually free the memory.
* It zeroes out the context to avoid potentially leaking information
* about the hash that was just performed. */
mbedtls_sha256_free(context);
return 0;
}
int lib_AESCMAC(const uint8_t *key, uint64_t key_len, const uint8_t *input,
uint64_t input_len, uint8_t *mac, uint64_t mac_len) {
mbedtls_cipher_type_t cipher;
switch (key_len) {
case 16:
cipher = MBEDTLS_CIPHER_AES_128_ECB;
break;
case 24:
cipher = MBEDTLS_CIPHER_AES_192_ECB;
break;
case 32:
cipher = MBEDTLS_CIPHER_AES_256_ECB;
break;
default:
return -PAL_ERROR_INVAL;
}
const mbedtls_cipher_info_t *cipher_info =
mbedtls_cipher_info_from_type(cipher);
if (mac_len < cipher_info->block_size) {
return -PAL_ERROR_INVAL;
}
return mbedtls_cipher_cmac(cipher_info,
key, key_len * BITS_PER_BYTE,
input, input_len, mac);
}
int lib_AESCMACInit(LIB_AESCMAC_CONTEXT * context,
const uint8_t *key, uint64_t key_len)
{
int ret;
switch (key_len) {
case 16:
context->cipher = MBEDTLS_CIPHER_AES_128_ECB;
break;
case 24:
context->cipher = MBEDTLS_CIPHER_AES_192_ECB;
break;
case 32:
context->cipher = MBEDTLS_CIPHER_AES_256_ECB;
break;
default:
return -PAL_ERROR_INVAL;
}
const mbedtls_cipher_info_t *cipher_info =
mbedtls_cipher_info_from_type(context->cipher);
if ( ( ret = mbedtls_cipher_setup( &context->ctx, cipher_info ) ) != 0 )
return ret;
return mbedtls_cipher_cmac_starts( &context->ctx, key,
key_len * BITS_PER_BYTE );
}
int lib_AESCMACUpdate(LIB_AESCMAC_CONTEXT * context, const uint8_t * input,
uint64_t input_len)
{
return mbedtls_cipher_cmac_update( &context->ctx, input, input_len );
}
int lib_AESCMACFinish(LIB_AESCMAC_CONTEXT * context, uint8_t * mac,
uint64_t mac_len)
{
const mbedtls_cipher_info_t *cipher_info =
mbedtls_cipher_info_from_type(context->cipher);
int ret = -PAL_ERROR_INVAL;
if (mac_len < cipher_info->block_size)
goto exit;
ret = mbedtls_cipher_cmac_finish( &context->ctx, mac );
exit:
mbedtls_cipher_free( &context->ctx );
return( ret );
}
int lib_RSAInitKey(LIB_RSA_KEY *key)
{
/* For now, we only need PKCS_V15 type padding. If we need to support
* multiple padding types, I guess we'll need to add the padding type
* to this API. We might need to add a wrapper type around the crypto
* library's key/context type, since not all crypto providers store this
* in the conext, and instead require you to pass it on each call. */
/* Last parameter here is the hash type, which is only used for
* PKCS padding type 2.0. */
mbedtls_rsa_init(key, MBEDTLS_RSA_PKCS_V15, 0);
return 0;
}
int lib_RSAGenerateKey(LIB_RSA_KEY *key, uint64_t length_in_bits, uint64_t exponent)
{
if (length_in_bits > UINT_MAX) {
return -PAL_ERROR_INVAL;
}
if (exponent > UINT_MAX || (int) exponent < 0) {
return -PAL_ERROR_INVAL;
}
return mbedtls_rsa_gen_key(key, RandomWrapper, NULL, length_in_bits,
exponent);
}
int lib_RSAExportPublicKey(LIB_RSA_KEY *key, uint8_t *e, uint64_t *e_size,
uint8_t *n, uint64_t *n_size)
{
int ret;
/* Public exponent. */
if ((ret = mbedtls_mpi_write_binary(&key->E, e, *e_size)) != 0) {
return ret;
}
/* Modulus. */
if ((ret = mbedtls_mpi_write_binary(&key->N, n, *n_size)) != 0) {
return ret;
}
return 0;
}
int lib_RSAImportPublicKey(LIB_RSA_KEY *key, const uint8_t *e, uint64_t e_size,
const uint8_t *n, uint64_t n_size)
{
int ret;
/* Public exponent. */
if ((ret = mbedtls_mpi_read_binary(&key->E, e, e_size)) != 0) {
return ret;
}
/* Modulus. */
if ((ret = mbedtls_mpi_read_binary(&key->N, n, n_size)) != 0) {
return ret;
}
/* This length is in bytes. */
key->len = (mbedtls_mpi_bitlen(&key->N) + 7) >> 3;
return 0;
}
int lib_RSAVerifySHA256(LIB_RSA_KEY *key, const uint8_t *signature,
uint64_t signature_len, uint8_t *signed_data_out,
uint64_t signed_data_out_len)
{
size_t real_data_out_len;
/* The mbedtls decrypt API assumes that you have a memory buffer that
* is as large as the key size and take the length as a parameter. We
* check, so that in the event the caller makes a mistake, you'll get
* an error instead of reading off the end of the buffer. */
if (signature_len != key->len) {
return -PAL_ERROR_INVAL;
}
int ret = mbedtls_rsa_rsaes_pkcs1_v15_decrypt(key, NULL, NULL,
MBEDTLS_RSA_PUBLIC,
&real_data_out_len,
signature,
signed_data_out,
signed_data_out_len);
if (ret == 0) {
if (real_data_out_len != SHA256_DIGEST_LEN) {
return -PAL_ERROR_INVAL;
}
}
return ret;
}
int lib_RSAFreeKey(LIB_RSA_KEY *key)
{
mbedtls_rsa_free(key);
return 0;
}