blob: 51addea0f763cf811ca345277632599b2b6d2b0e [file] [log] [blame]
Raef Coles8ff6df52021-07-21 12:42:15 +01001/* BEGIN_HEADER */
2#include "mbedtls/lms.h"
Raef Coles8ff6df52021-07-21 12:42:15 +01003
4/* END_HEADER */
5
6/* BEGIN_DEPENDENCIES
Raef Coles76563392022-10-12 15:50:57 +01007 * depends_on:MBEDTLS_LMS_C:PSA_WANT_ALG_SHA_256
Raef Coles8ff6df52021-07-21 12:42:15 +01008 * END_DEPENDENCIES
9 */
10
Raef Coles5127e852022-10-07 10:35:56 +010011/* BEGIN_CASE depends_on:MBEDTLS_LMS_PRIVATE */
Raef Colesf5919e22022-09-02 16:05:10 +010012void lms_sign_verify_test ( data_t *msg, data_t *seed )
Raef Coles8ff6df52021-07-21 12:42:15 +010013{
Raef Coles01c71a12022-08-31 15:55:00 +010014 mbedtls_lms_public_t pub_ctx;
15 mbedtls_lms_private_t priv_ctx;
Raef Colese9479a02022-09-01 16:06:35 +010016 unsigned char sig[MBEDTLS_LMS_SIG_LEN(MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8)];
Raef Coles8ff6df52021-07-21 12:42:15 +010017
Raef Colesbe3bdd82022-10-07 12:04:24 +010018 mbedtls_lms_public_init( &pub_ctx );
19 mbedtls_lms_private_init( &priv_ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010020
Raef Colesf5919e22022-09-02 16:05:10 +010021 /* Allocation failure isn't a test failure, since it likely just means
22 * there's not enough memory to run the test.
23 */
Raef Colesd137c862022-10-12 15:55:25 +010024 TEST_EQUAL( mbedtls_lms_generate_private_key( &priv_ctx, MBEDTLS_LMS_SHA256_M32_H10,
Raef Coles01c71a12022-08-31 15:55:00 +010025 MBEDTLS_LMOTS_SHA256_N32_W8,
Raef Colesf5919e22022-09-02 16:05:10 +010026 mbedtls_test_rnd_std_rand, NULL,
Raef Colesd137c862022-10-12 15:55:25 +010027 seed->x, seed->len ), 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010028
Raef Colesd0c70122022-10-12 14:19:52 +010029 TEST_EQUAL( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ), 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010030
Raef Colesd0c70122022-10-12 14:19:52 +010031 TEST_EQUAL( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL,
Raef Colesf5919e22022-09-02 16:05:10 +010032 msg->x, msg->len, sig, sizeof( sig ),
Raef Colesd0c70122022-10-12 14:19:52 +010033 NULL ), 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010034
Raef Colesd0c70122022-10-12 14:19:52 +010035 TEST_EQUAL( mbedtls_lms_verify( &pub_ctx, msg->x, msg->len, sig,
36 sizeof( sig ) ), 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010037
38exit:
Raef Colesbe3bdd82022-10-07 12:04:24 +010039 mbedtls_lms_public_free( &pub_ctx );
40 mbedtls_lms_private_free( &priv_ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010041}
42/* END_CASE */
43
Raef Coles5127e852022-10-07 10:35:56 +010044/* BEGIN_CASE depends_on:MBEDTLS_LMS_PRIVATE */
Raef Coles9c9027b2022-09-02 18:26:31 +010045void lms_sign_verify_null_msg_test( data_t *seed )
46{
47 mbedtls_lms_public_t pub_ctx;
48 mbedtls_lms_private_t priv_ctx;
49 unsigned char sig[MBEDTLS_LMS_SIG_LEN(MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8)];
Raef Coles9c9027b2022-09-02 18:26:31 +010050
Raef Colesbe3bdd82022-10-07 12:04:24 +010051 mbedtls_lms_public_init( &pub_ctx );
52 mbedtls_lms_private_init( &priv_ctx );
Raef Coles9c9027b2022-09-02 18:26:31 +010053
54 /* Allocation failure isn't a test failure, since it likely just means
55 * there's not enough memory to run the test.
56 */
Raef Colesd137c862022-10-12 15:55:25 +010057 TEST_EQUAL( mbedtls_lms_generate_private_key( &priv_ctx, MBEDTLS_LMS_SHA256_M32_H10,
Raef Coles9c9027b2022-09-02 18:26:31 +010058 MBEDTLS_LMOTS_SHA256_N32_W8,
59 mbedtls_test_rnd_std_rand, NULL,
Raef Colesd137c862022-10-12 15:55:25 +010060 seed->x, seed->len ), 0 );
Raef Coles9c9027b2022-09-02 18:26:31 +010061
Raef Colesd0c70122022-10-12 14:19:52 +010062 TEST_EQUAL( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ), 0 );
Raef Coles9c9027b2022-09-02 18:26:31 +010063
Raef Colesd0c70122022-10-12 14:19:52 +010064 TEST_EQUAL( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL,
Raef Coles9c9027b2022-09-02 18:26:31 +010065 NULL, 0, sig, sizeof( sig ),
Raef Colesd0c70122022-10-12 14:19:52 +010066 NULL ), 0 );
Raef Coles9c9027b2022-09-02 18:26:31 +010067
Raef Colesd0c70122022-10-12 14:19:52 +010068 TEST_EQUAL( mbedtls_lms_verify( &pub_ctx, NULL, 0, sig,
69 sizeof( sig ) ), 0 );
Raef Coles9c9027b2022-09-02 18:26:31 +010070
71exit:
Raef Colesbe3bdd82022-10-07 12:04:24 +010072 mbedtls_lms_public_free( &pub_ctx );
73 mbedtls_lms_private_free( &priv_ctx );
Raef Coles9c9027b2022-09-02 18:26:31 +010074}
75/* END_CASE */
76
77/* BEGIN_CASE */
Raef Coles8ff6df52021-07-21 12:42:15 +010078void lms_verify_test ( data_t * msg, data_t * sig, data_t * pub_key,
79 int expected_rc )
80{
Raef Coles01c71a12022-08-31 15:55:00 +010081 mbedtls_lms_public_t ctx;
Raef Coles0dc604e2022-10-10 17:35:26 +010082 unsigned int size;
83 unsigned char *tmp_sig = NULL;
Raef Coles8ff6df52021-07-21 12:42:15 +010084
Raef Colesbe3bdd82022-10-07 12:04:24 +010085 mbedtls_lms_public_init( &ctx);
Raef Coles8ff6df52021-07-21 12:42:15 +010086
Raef Coles0dc604e2022-10-10 17:35:26 +010087 TEST_EQUAL(mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ), 0);
Raef Coles8ff6df52021-07-21 12:42:15 +010088
Raef Coles0dc604e2022-10-10 17:35:26 +010089 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ), expected_rc);
90
91 /* Test negative cases if the input data is valid */
92 if( expected_rc == 0 )
93 {
Raef Coles90e13fc2022-10-11 12:48:18 +010094 if( msg->len >= 1 )
95 {
96 /* Altering first message byte must cause verification failure */
97 msg->x[0] ^= 1;
98 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ),
99 MBEDTLS_ERR_LMS_VERIFY_FAILED);
100 msg->x[0] ^= 1;
Raef Coles0dc604e2022-10-10 17:35:26 +0100101
Raef Coles90e13fc2022-10-11 12:48:18 +0100102 /* Altering last message byte must cause verification failure */
103 msg->x[msg->len - 1] ^= 1;
104 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ),
105 MBEDTLS_ERR_LMS_VERIFY_FAILED);
106 msg->x[msg->len - 1] ^= 1;
107 }
Raef Coles0dc604e2022-10-10 17:35:26 +0100108
Raef Coles90e13fc2022-10-11 12:48:18 +0100109 if( sig->len >= 1 )
110 {
111 /* Altering first signature byte must cause verification failure */
112 sig->x[0] ^= 1;
113 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ),
114 MBEDTLS_ERR_LMS_VERIFY_FAILED);
115 sig->x[0] ^= 1;
Raef Coles0dc604e2022-10-10 17:35:26 +0100116
Raef Coles90e13fc2022-10-11 12:48:18 +0100117 /* Altering last signature byte must cause verification failure */
118 sig->x[sig->len - 1] ^= 1;
119 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ),
120 MBEDTLS_ERR_LMS_VERIFY_FAILED);
121 sig->x[sig->len - 1] ^= 1;
122 }
Raef Coles0dc604e2022-10-10 17:35:26 +0100123
124 /* Signatures of all sizes must not verify, whether shorter or longer */
125 for( size = 0; size < sig->len; size++ ) {
126 if( size == sig->len )
127 continue;
128
129 ASSERT_ALLOC( tmp_sig, size );
130 if( tmp_sig != NULL )
131 memcpy( tmp_sig, sig->x, MIN(size, sig->len) );
132
133 TEST_EQUAL(mbedtls_lms_verify( &ctx, msg->x, msg->len, tmp_sig, size ),
134 MBEDTLS_ERR_LMS_VERIFY_FAILED);
135 mbedtls_free( tmp_sig );
136 tmp_sig = NULL;
137 }
138 }
Raef Coles8ff6df52021-07-21 12:42:15 +0100139
140exit:
Raef Coles20d2e062022-10-13 09:28:18 +0100141 if( tmp_sig != NULL )
142 mbedtls_free( tmp_sig );
Raef Colesbe3bdd82022-10-07 12:04:24 +0100143 mbedtls_lms_public_free( &ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +0100144}
145/* END_CASE */
146
Raef Coles370cc432022-10-07 16:07:33 +0100147/* BEGIN_CASE */
Raef Colesd6adcb62022-10-11 15:34:56 +0100148void lms_import_export_test ( data_t * pub_key, int expected_import_rc )
Raef Coles8ff6df52021-07-21 12:42:15 +0100149{
Raef Coles01c71a12022-08-31 15:55:00 +0100150 mbedtls_lms_public_t ctx;
Raef Colesd6adcb62022-10-11 15:34:56 +0100151 size_t exported_pub_key_buf_size = 0;
152 size_t exported_pub_key_size = 0;
153 unsigned char *exported_pub_key = NULL;
Raef Coles8ff6df52021-07-21 12:42:15 +0100154
Raef Colesbe3bdd82022-10-07 12:04:24 +0100155 mbedtls_lms_public_init(&ctx);
Raef Colesf9b85022022-10-12 12:42:28 +0100156 TEST_EQUAL( mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ),
157 expected_import_rc );
Raef Coles8ff6df52021-07-21 12:42:15 +0100158
Raef Colesd6adcb62022-10-11 15:34:56 +0100159 if( expected_import_rc == 0 )
160 {
161 exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10);
162 ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size );
163
164 TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key,
165 exported_pub_key_buf_size,
166 &exported_pub_key_size ), 0 );
167
Raef Coles534f66f2022-10-13 09:39:01 +0100168 TEST_EQUAL( exported_pub_key_size,
169 MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10 ) );
170 ASSERT_COMPARE( pub_key->x, pub_key->len,
171 exported_pub_key, exported_pub_key_size );
Raef Colesd6adcb62022-10-11 15:34:56 +0100172 mbedtls_free(exported_pub_key);
173 exported_pub_key = NULL;
174
175 /* Export into too-small buffer should fail */
176 exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) - 1;
177 ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size);
178 TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key,
179 exported_pub_key_buf_size, NULL ),
180 MBEDTLS_ERR_LMS_BUFFER_TOO_SMALL );
181 mbedtls_free(exported_pub_key);
182 exported_pub_key = NULL;
Raef Coles6b2c5732022-10-13 09:41:39 +0100183
184 /* Export into too-large buffer should succeed */
185 exported_pub_key_buf_size = MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) + 1;
186 ASSERT_ALLOC( exported_pub_key, exported_pub_key_buf_size);
187 TEST_EQUAL( mbedtls_lms_export_public_key( &ctx, exported_pub_key,
188 exported_pub_key_buf_size, NULL ),
189 0 );
190 mbedtls_free(exported_pub_key);
191 exported_pub_key = NULL;
Raef Colesd6adcb62022-10-11 15:34:56 +0100192 }
Raef Coles8ff6df52021-07-21 12:42:15 +0100193
194exit:
Raef Coles20d2e062022-10-13 09:28:18 +0100195 if( exported_pub_key != NULL )
196 mbedtls_free( exported_pub_key );
Raef Colesbe3bdd82022-10-07 12:04:24 +0100197 mbedtls_lms_public_free( &ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +0100198}
199/* END_CASE */
200