ab4f87413a
To enable private key operations Signed-off-by: Raef Coles <raef.coles@arm.com>
116 lines
3.9 KiB
C
116 lines
3.9 KiB
C
/* BEGIN_HEADER */
|
|
#include "lmots.h"
|
|
#include "mbedtls/lms.h"
|
|
|
|
#include "mbedtls/entropy.h"
|
|
#include "mbedtls/ctr_drbg.h"
|
|
|
|
/* END_HEADER */
|
|
|
|
/* BEGIN_DEPENDENCIES
|
|
* depends_on:MBEDTLS_LMS_C:MBEDTLS_LMS_PRIVATE:MBEDTLS_PSA_CRYPTO_C:MBEDTLS_CTR_DRBG_C
|
|
* END_DEPENDENCIES
|
|
*/
|
|
|
|
/* BEGIN_CASE */
|
|
void lmots_sign_verify_test ( data_t * msg )
|
|
{
|
|
mbedtls_lmots_public_t pub_ctx;
|
|
mbedtls_lmots_private_t priv_ctx;
|
|
unsigned char sig[MBEDTLS_LMOTS_SIG_LEN];
|
|
mbedtls_entropy_context entropy_ctx;
|
|
mbedtls_ctr_drbg_context drbg_ctx;
|
|
uint8_t seed[16];
|
|
|
|
mbedtls_entropy_init( &entropy_ctx );
|
|
mbedtls_ctr_drbg_init( &drbg_ctx );
|
|
mbedtls_lmots_init_public( &pub_ctx );
|
|
mbedtls_lmots_init_private( &priv_ctx );
|
|
|
|
TEST_ASSERT( mbedtls_ctr_drbg_seed( &drbg_ctx, mbedtls_entropy_func,
|
|
&entropy_ctx, (uint8_t*)"", 0 ) == 0 );
|
|
TEST_ASSERT( mbedtls_ctr_drbg_random( &drbg_ctx, seed, sizeof( seed ) ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_lmots_generate_private_key(&priv_ctx, MBEDTLS_LMOTS_SHA256_N32_W8,
|
|
(uint8_t[16]){0}, 0x12, seed, sizeof( seed ) ) == 0 );
|
|
TEST_ASSERT( mbedtls_lmots_calculate_public_key(&pub_ctx, &priv_ctx) == 0 );
|
|
TEST_ASSERT( mbedtls_lmots_sign(&priv_ctx, mbedtls_ctr_drbg_random, &drbg_ctx,
|
|
msg->x, msg->len, sig, sizeof(sig), NULL ) == 0 );
|
|
TEST_ASSERT( mbedtls_lmots_verify(&pub_ctx, msg->x, msg->len, sig, sizeof(sig)) == 0 );
|
|
|
|
exit:
|
|
mbedtls_entropy_free( &entropy_ctx );
|
|
mbedtls_ctr_drbg_free( &drbg_ctx );
|
|
mbedtls_lmots_free_public( &pub_ctx );
|
|
mbedtls_lmots_free_private( &priv_ctx );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE */
|
|
void lmots_verify_test ( data_t * msg, data_t * sig, data_t * pub_key,
|
|
int expected_rc )
|
|
{
|
|
mbedtls_lmots_public_t ctx;
|
|
|
|
mbedtls_lmots_init_public( &ctx );
|
|
|
|
mbedtls_lmots_import_public_key( &ctx, pub_key->x, pub_key->len );
|
|
|
|
TEST_ASSERT(mbedtls_lmots_verify( &ctx, msg->x, msg->len, sig->x, sig->len ) == expected_rc );
|
|
|
|
exit:
|
|
mbedtls_lmots_free_public( &ctx );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE */
|
|
void lmots_import_export_test ( data_t * pub_key )
|
|
{
|
|
mbedtls_lmots_public_t ctx;
|
|
uint8_t exported_pub_key[MBEDTLS_LMOTS_PUBLIC_KEY_LEN];
|
|
|
|
mbedtls_lmots_init_public( &ctx );
|
|
TEST_ASSERT( mbedtls_lmots_import_public_key( &ctx, pub_key->x, pub_key->len ) == 0 );
|
|
TEST_ASSERT( mbedtls_lmots_export_public_key( &ctx, exported_pub_key, sizeof( exported_pub_key ), NULL ) == 0 );
|
|
|
|
TEST_ASSERT( memcmp( pub_key->x, exported_pub_key, MBEDTLS_LMOTS_PUBLIC_KEY_LEN ) == 0 );
|
|
|
|
exit:
|
|
mbedtls_lmots_free_public( &ctx );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE */
|
|
void lmots_reuse_test ( data_t * msg )
|
|
{
|
|
mbedtls_lmots_private_t ctx;
|
|
unsigned char sig[MBEDTLS_LMOTS_SIG_LEN];
|
|
mbedtls_entropy_context entropy_ctx;
|
|
mbedtls_ctr_drbg_context drbg_ctx;
|
|
uint8_t seed[16];
|
|
|
|
mbedtls_entropy_init( &entropy_ctx );
|
|
mbedtls_ctr_drbg_init( &drbg_ctx );
|
|
TEST_ASSERT( mbedtls_ctr_drbg_seed(&drbg_ctx, mbedtls_entropy_func,
|
|
&entropy_ctx, (uint8_t*)"", 0 ) == 0 );
|
|
|
|
mbedtls_ctr_drbg_random( &drbg_ctx, seed, sizeof( seed ) );
|
|
|
|
mbedtls_lmots_init_private( &ctx );
|
|
TEST_ASSERT( mbedtls_lmots_generate_private_key(&ctx, MBEDTLS_LMOTS_SHA256_N32_W8,
|
|
(uint8_t[16]){0}, 0x12, seed, sizeof( seed ) ) == 0 );
|
|
TEST_ASSERT( mbedtls_lmots_sign(&ctx, mbedtls_ctr_drbg_random, &drbg_ctx,
|
|
msg->x, msg->len, sig, sizeof( sig ), NULL ) == 0 );
|
|
|
|
/* Running another sign operation should fail, since the key should now have
|
|
* been erased.
|
|
*/
|
|
TEST_ASSERT( mbedtls_lmots_sign(&ctx, mbedtls_ctr_drbg_random, &drbg_ctx,
|
|
msg->x, msg->len, sig, sizeof( sig ), NULL ) != 0 );
|
|
|
|
exit:
|
|
mbedtls_entropy_free( &entropy_ctx );
|
|
mbedtls_ctr_drbg_free( &drbg_ctx );
|
|
mbedtls_lmots_free_private( &ctx );
|
|
}
|
|
/* END_CASE */
|