blob: 2f5c77c2c77beedc6fdb9ab69e48d4f4cf90c46b [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02003/* END_HEADER */
4
5/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02006 * depends_on:MBEDTLS_CCM_C
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02007 * END_DEPENDENCIES
8 */
9
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST:MBEDTLS_AES_C */
11void mbedtls_ccm_self_test( )
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020012{
Andres AG93012e82016-09-09 09:10:28 +010013 TEST_ASSERT( mbedtls_ccm_self_test( 1 ) == 0 );
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020014}
15/* END_CASE */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020016
17/* BEGIN_CASE */
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020018void mbedtls_ccm_setkey( int cipher_id, int key_size, int result )
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020019{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020021 unsigned char key[32];
22 int ret;
23
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020024 mbedtls_ccm_init( &ctx );
25
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020026 memset( key, 0x2A, sizeof( key ) );
27 TEST_ASSERT( (unsigned) key_size <= 8 * sizeof( key ) );
28
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020029 ret = mbedtls_ccm_setkey( &ctx, cipher_id, key, key_size );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020030 TEST_ASSERT( ret == result );
31
Paul Bakkerbd51b262014-07-10 15:26:12 +020032exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020034}
35/* END_CASE */
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020036
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037/* BEGIN_CASE depends_on:MBEDTLS_AES_C */
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020038void ccm_lengths( int msg_len, int iv_len, int add_len, int tag_len, int res )
39{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020041 unsigned char key[16];
42 unsigned char msg[10];
43 unsigned char iv[14];
44 unsigned char add[10];
45 unsigned char out[10];
46 unsigned char tag[18];
47 int decrypt_ret;
48
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020049 mbedtls_ccm_init( &ctx );
50
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020051 memset( key, 0, sizeof( key ) );
52 memset( msg, 0, sizeof( msg ) );
53 memset( iv, 0, sizeof( iv ) );
54 memset( add, 0, sizeof( add ) );
55 memset( out, 0, sizeof( out ) );
56 memset( tag, 0, sizeof( tag ) );
57
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020058 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, MBEDTLS_CIPHER_ID_AES,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020059 key, 8 * sizeof( key ) ) == 0 );
60
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020062 msg, out, tag, tag_len ) == res );
63
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064 decrypt_ret = mbedtls_ccm_auth_decrypt( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020065 msg, out, tag, tag_len );
66
67 if( res == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 TEST_ASSERT( decrypt_ret == MBEDTLS_ERR_CCM_AUTH_FAILED );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020069 else
70 TEST_ASSERT( decrypt_ret == res );
71
Paul Bakkerbd51b262014-07-10 15:26:12 +020072exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard87df5ba2014-05-06 18:07:24 +020074}
75/* END_CASE */
76
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020077/* BEGIN_CASE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078void mbedtls_ccm_encrypt_and_tag( int cipher_id,
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020079 char *key_hex, char *msg_hex,
80 char *iv_hex, char *add_hex,
81 char *result_hex )
82{
Manuel Pégourié-Gonnarde8b8d012014-05-06 18:19:06 +020083 unsigned char key[32];
84 unsigned char msg[50];
85 unsigned char iv[13];
86 unsigned char add[32];
Manuel Pégourié-Gonnarde8b8d012014-05-06 18:19:06 +020087 unsigned char result[50];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020088 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020089 size_t key_len, msg_len, iv_len, add_len, tag_len, result_len;
90
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020091 mbedtls_ccm_init( &ctx );
92
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020093 memset( key, 0x00, sizeof( key ) );
94 memset( msg, 0x00, sizeof( msg ) );
95 memset( iv, 0x00, sizeof( iv ) );
96 memset( add, 0x00, sizeof( add ) );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +020097 memset( result, 0x00, sizeof( result ) );
98
99 key_len = unhexify( key, key_hex );
100 msg_len = unhexify( msg, msg_hex );
101 iv_len = unhexify( iv, iv_hex );
102 add_len = unhexify( add, add_hex );
103 result_len = unhexify( result, result_hex );
104 tag_len = result_len - msg_len;
105
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200106 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key, key_len * 8 ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200107
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200108 /* Test with input == output */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200109 TEST_ASSERT( mbedtls_ccm_encrypt_and_tag( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200110 msg, msg, msg + msg_len, tag_len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200111
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200112 TEST_ASSERT( memcmp( msg, result, result_len ) == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200113
114 /* Check we didn't write past the end */
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200115 TEST_ASSERT( msg[result_len] == 0 && msg[result_len + 1] == 0 );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200116
Paul Bakkerbd51b262014-07-10 15:26:12 +0200117exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200119}
120/* END_CASE */
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200121
122/* BEGIN_CASE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123void mbedtls_ccm_auth_decrypt( int cipher_id,
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200124 char *key_hex, char *msg_hex,
125 char *iv_hex, char *add_hex,
126 int tag_len, char *result_hex )
127{
Manuel Pégourié-Gonnarde8b8d012014-05-06 18:19:06 +0200128 unsigned char key[32];
129 unsigned char msg[50];
130 unsigned char iv[13];
131 unsigned char add[32];
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200132 unsigned char tag[16];
Manuel Pégourié-Gonnarde8b8d012014-05-06 18:19:06 +0200133 unsigned char result[50];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134 mbedtls_ccm_context ctx;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200135 size_t key_len, msg_len, iv_len, add_len, result_len;
136 int ret;
137
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200138 mbedtls_ccm_init( &ctx );
139
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200140 memset( key, 0x00, sizeof( key ) );
141 memset( msg, 0x00, sizeof( msg ) );
142 memset( iv, 0x00, sizeof( iv ) );
143 memset( add, 0x00, sizeof( add ) );
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200144 memset( tag, 0x00, sizeof( tag ) );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200145 memset( result, 0x00, sizeof( result ) );
146
147 key_len = unhexify( key, key_hex );
148 msg_len = unhexify( msg, msg_hex );
149 iv_len = unhexify( iv, iv_hex );
150 add_len = unhexify( add, add_hex );
151 msg_len -= tag_len;
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200152 memcpy( tag, msg + msg_len, tag_len );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200153
154 if( strcmp( "FAIL", result_hex ) == 0 )
155 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200156 ret = MBEDTLS_ERR_CCM_AUTH_FAILED;
Rich Evans63adb492015-02-10 12:44:07 +0000157 result_len = -1;
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200158 }
159 else
160 {
161 ret = 0;
162 result_len = unhexify( result, result_hex );
163 }
164
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200165 TEST_ASSERT( mbedtls_ccm_setkey( &ctx, cipher_id, key, key_len * 8 ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200166
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200167 /* Test with input == output */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200168 TEST_ASSERT( mbedtls_ccm_auth_decrypt( &ctx, msg_len, iv, iv_len, add, add_len,
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200169 msg, msg, msg + msg_len, tag_len ) == ret );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200170
171 if( ret == 0 )
172 {
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200173 TEST_ASSERT( memcmp( msg, result, result_len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200174 }
175 else
176 {
177 size_t i;
178
179 for( i = 0; i < msg_len; i++ )
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200180 TEST_ASSERT( msg[i] == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200181 }
182
Manuel Pégourié-Gonnard0f6b66d2014-05-07 14:43:46 +0200183 /* Check we didn't write past the end (where the original tag is) */
184 TEST_ASSERT( memcmp( msg + msg_len, tag, tag_len ) == 0 );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200185
Paul Bakkerbd51b262014-07-10 15:26:12 +0200186exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 mbedtls_ccm_free( &ctx );
Manuel Pégourié-Gonnardce77d552014-05-06 18:06:52 +0200188}
189/* END_CASE */