blob: 3d0830e98ebe1496b45df03e8b4b8ff9f392bc3c [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/gcm.h"
Paul Bakker33b43f12013-08-20 11:48:36 +02003/* END_HEADER */
Paul Bakker89e80c92012-03-20 13:50:09 +00004
Paul Bakker33b43f12013-08-20 11:48:36 +02005/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02006 * depends_on:MBEDTLS_GCM_C
Paul Bakker33b43f12013-08-20 11:48:36 +02007 * END_DEPENDENCIES
8 */
Paul Bakker89e80c92012-03-20 13:50:09 +00009
Paul Bakker33b43f12013-08-20 11:48:36 +020010/* BEGIN_CASE */
Ron Eldor5a21fd62016-12-16 16:15:56 +020011void gcm_bad_parameters( int cipher_id, int direction,
12 char *hex_key_string, char *hex_src_string,
13 char *hex_iv_string, char *hex_add_string,
14 int tag_len_bits, int gcm_result )
15{
16 unsigned char key_str[128];
17 unsigned char src_str[128];
18 unsigned char dst_str[257];
19 unsigned char iv_str[128];
20 unsigned char add_str[128];
21 unsigned char tag_str[128];
22 unsigned char output[128];
23 unsigned char tag_output[16];
24 mbedtls_gcm_context ctx;
25 unsigned int key_len;
26 size_t pt_len, iv_len, add_len, tag_len = tag_len_bits / 8;
27
28 mbedtls_gcm_init( &ctx );
29
30 memset( key_str, 0x00, sizeof( key_str ) );
31 memset( src_str, 0x00, sizeof( src_str ) );
32 memset( dst_str, 0x00, sizeof( dst_str ) );
33 memset( iv_str, 0x00, sizeof( iv_str ) );
34 memset( add_str, 0x00, sizeof( add_str ) );
35 memset( tag_str, 0x00, sizeof( tag_str ) );
36 memset( output, 0x00, sizeof( output ) );
37 memset( tag_output, 0x00, sizeof( tag_output ) );
Darryl Green11999bb2018-03-13 15:22:58 +000038
Ron Eldor5a21fd62016-12-16 16:15:56 +020039 key_len = unhexify( key_str, hex_key_string );
40 pt_len = unhexify( src_str, hex_src_string );
41 iv_len = unhexify( iv_str, hex_iv_string );
42 add_len = unhexify( add_str, hex_add_string );
43
44 TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str, key_len * 8 ) == 0 );
45 TEST_ASSERT( mbedtls_gcm_crypt_and_tag( &ctx, direction, pt_len, iv_str, iv_len,
46 add_str, add_len, src_str, output, tag_len, tag_output ) == gcm_result );
47
48exit:
49 mbedtls_gcm_free( &ctx );
50}
51/* END_CASE */
52
53/* BEGIN_CASE */
Manuel Pégourié-Gonnard083d6682013-10-24 12:06:54 +020054void gcm_encrypt_and_tag( int cipher_id,
55 char *hex_key_string, char *hex_src_string,
Paul Bakker33b43f12013-08-20 11:48:36 +020056 char *hex_iv_string, char *hex_add_string,
57 char *hex_dst_string, int tag_len_bits,
58 char *hex_tag_string, int init_result )
Paul Bakker89e80c92012-03-20 13:50:09 +000059{
60 unsigned char key_str[128];
61 unsigned char src_str[128];
62 unsigned char dst_str[257];
63 unsigned char iv_str[128];
64 unsigned char add_str[128];
65 unsigned char tag_str[128];
66 unsigned char output[128];
67 unsigned char tag_output[16];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 mbedtls_gcm_context ctx;
Paul Bakker89e80c92012-03-20 13:50:09 +000069 unsigned int key_len;
Paul Bakker33b43f12013-08-20 11:48:36 +020070 size_t pt_len, iv_len, add_len, tag_len = tag_len_bits / 8;
Paul Bakker89e80c92012-03-20 13:50:09 +000071
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020072 mbedtls_gcm_init( &ctx );
73
Paul Bakker89e80c92012-03-20 13:50:09 +000074 memset(key_str, 0x00, 128);
75 memset(src_str, 0x00, 128);
Paul Bakker68b6d882012-09-08 14:04:13 +000076 memset(dst_str, 0x00, 257);
Paul Bakker89e80c92012-03-20 13:50:09 +000077 memset(iv_str, 0x00, 128);
78 memset(add_str, 0x00, 128);
79 memset(tag_str, 0x00, 128);
80 memset(output, 0x00, 128);
81 memset(tag_output, 0x00, 16);
82
Paul Bakker33b43f12013-08-20 11:48:36 +020083 key_len = unhexify( key_str, hex_key_string );
84 pt_len = unhexify( src_str, hex_src_string );
85 iv_len = unhexify( iv_str, hex_iv_string );
86 add_len = unhexify( add_str, hex_add_string );
Paul Bakker89e80c92012-03-20 13:50:09 +000087
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020088 TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str, key_len * 8 ) == init_result );
Paul Bakker33b43f12013-08-20 11:48:36 +020089 if( init_result == 0 )
Paul Bakker89e80c92012-03-20 13:50:09 +000090 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091 TEST_ASSERT( mbedtls_gcm_crypt_and_tag( &ctx, MBEDTLS_GCM_ENCRYPT, pt_len, iv_str, iv_len, add_str, add_len, src_str, output, tag_len, tag_output ) == 0 );
Paul Bakker89e80c92012-03-20 13:50:09 +000092 hexify( dst_str, output, pt_len );
93 hexify( tag_str, tag_output, tag_len );
94
Paul Bakker33b43f12013-08-20 11:48:36 +020095 TEST_ASSERT( strcmp( (char *) dst_str, hex_dst_string ) == 0 );
96 TEST_ASSERT( strcmp( (char *) tag_str, hex_tag_string ) == 0 );
Paul Bakker89e80c92012-03-20 13:50:09 +000097 }
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +020098
Paul Bakkerbd51b262014-07-10 15:26:12 +020099exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100 mbedtls_gcm_free( &ctx );
Paul Bakker89e80c92012-03-20 13:50:09 +0000101}
Paul Bakker33b43f12013-08-20 11:48:36 +0200102/* END_CASE */
Paul Bakker89e80c92012-03-20 13:50:09 +0000103
Paul Bakker33b43f12013-08-20 11:48:36 +0200104/* BEGIN_CASE */
Manuel Pégourié-Gonnard083d6682013-10-24 12:06:54 +0200105void gcm_decrypt_and_verify( int cipher_id,
106 char *hex_key_string, char *hex_src_string,
Paul Bakker33b43f12013-08-20 11:48:36 +0200107 char *hex_iv_string, char *hex_add_string,
108 int tag_len_bits, char *hex_tag_string,
109 char *pt_result, int init_result )
Paul Bakker89e80c92012-03-20 13:50:09 +0000110{
111 unsigned char key_str[128];
112 unsigned char src_str[128];
113 unsigned char dst_str[257];
114 unsigned char iv_str[128];
115 unsigned char add_str[128];
116 unsigned char tag_str[128];
117 unsigned char output[128];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 mbedtls_gcm_context ctx;
Paul Bakker89e80c92012-03-20 13:50:09 +0000119 unsigned int key_len;
Paul Bakker33b43f12013-08-20 11:48:36 +0200120 size_t pt_len, iv_len, add_len, tag_len = tag_len_bits / 8;
Paul Bakker89e80c92012-03-20 13:50:09 +0000121 int ret;
122
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200123 mbedtls_gcm_init( &ctx );
124
Paul Bakker89e80c92012-03-20 13:50:09 +0000125 memset(key_str, 0x00, 128);
126 memset(src_str, 0x00, 128);
Paul Bakker68b6d882012-09-08 14:04:13 +0000127 memset(dst_str, 0x00, 257);
Paul Bakker89e80c92012-03-20 13:50:09 +0000128 memset(iv_str, 0x00, 128);
129 memset(add_str, 0x00, 128);
130 memset(tag_str, 0x00, 128);
131 memset(output, 0x00, 128);
132
Paul Bakker33b43f12013-08-20 11:48:36 +0200133 key_len = unhexify( key_str, hex_key_string );
134 pt_len = unhexify( src_str, hex_src_string );
135 iv_len = unhexify( iv_str, hex_iv_string );
136 add_len = unhexify( add_str, hex_add_string );
137 unhexify( tag_str, hex_tag_string );
Paul Bakker89e80c92012-03-20 13:50:09 +0000138
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200139 TEST_ASSERT( mbedtls_gcm_setkey( &ctx, cipher_id, key_str, key_len * 8 ) == init_result );
Paul Bakker33b43f12013-08-20 11:48:36 +0200140 if( init_result == 0 )
Paul Bakker89e80c92012-03-20 13:50:09 +0000141 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200142 ret = mbedtls_gcm_auth_decrypt( &ctx, pt_len, iv_str, iv_len, add_str, add_len, tag_str, tag_len, src_str, output );
Paul Bakker89e80c92012-03-20 13:50:09 +0000143
Paul Bakker33b43f12013-08-20 11:48:36 +0200144 if( strcmp( "FAIL", pt_result ) == 0 )
Paul Bakker89e80c92012-03-20 13:50:09 +0000145 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200146 TEST_ASSERT( ret == MBEDTLS_ERR_GCM_AUTH_FAILED );
Paul Bakker89e80c92012-03-20 13:50:09 +0000147 }
148 else
149 {
Manuel Pégourié-Gonnardf7ce67f2013-09-03 20:17:35 +0200150 TEST_ASSERT( ret == 0 );
Paul Bakker89e80c92012-03-20 13:50:09 +0000151 hexify( dst_str, output, pt_len );
152
Paul Bakker33b43f12013-08-20 11:48:36 +0200153 TEST_ASSERT( strcmp( (char *) dst_str, pt_result ) == 0 );
Paul Bakker89e80c92012-03-20 13:50:09 +0000154 }
155 }
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200156
Paul Bakkerbd51b262014-07-10 15:26:12 +0200157exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158 mbedtls_gcm_free( &ctx );
Paul Bakker89e80c92012-03-20 13:50:09 +0000159}
Paul Bakker33b43f12013-08-20 11:48:36 +0200160/* END_CASE */
Paul Bakker89e80c92012-03-20 13:50:09 +0000161
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
Paul Bakker33b43f12013-08-20 11:48:36 +0200163void gcm_selftest()
Paul Bakker89e80c92012-03-20 13:50:09 +0000164{
Andres AG93012e82016-09-09 09:10:28 +0100165 TEST_ASSERT( mbedtls_gcm_self_test( 1 ) == 0 );
Paul Bakker89e80c92012-03-20 13:50:09 +0000166}
Paul Bakker33b43f12013-08-20 11:48:36 +0200167/* END_CASE */