blob: 0cee51f7cf4b2b42619619302071482dfb89013f [file] [log] [blame]
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +01001/**
2 * Cipher API multi-part AEAD demonstration.
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +01003 *
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +01004 * This program AEAD-encrypts a message, using the algorithm and key size
5 * specified on the command line, using the multi-part API.
6 *
Manuel Pégourié-Gonnard6fdc9e82022-01-31 13:27:39 +01007 * It comes with a companion program psa/aead_demo.c, which does the same
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +01008 * operations with the PSA Crypto API. The goal is that comparing the two
9 * programs will help people migrating to the PSA Crypto API.
10 *
11 * When used with multi-part AEAD operations, the `mbedtls_cipher_context`
12 * serves a triple purpose (1) hold the key, (2) store the algorithm when no
13 * operation is active, and (3) save progress information for the current
14 * operation. With PSA those roles are held by disinct objects: (1) a
15 * psa_key_id_t to hold the key, a (2) psa_algorithm_t to represent the
16 * algorithm, and (3) a psa_operation_t for multi-part progress.
17 *
18 * On the other hand, with PSA, the algorithms encodes the desired tag length;
19 * with Cipher the desired tag length needs to be tracked separately.
20 *
Manuel Pégourié-Gonnard6fdc9e82022-01-31 13:27:39 +010021 * This program and its companion psa/aead_demo.c illustrate this by doing the
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010022 * same sequence of multi-part AEAD computation with both APIs; looking at the
23 * two side by side should make the differences and similarities clear.
24 */
25
26/*
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010027 * Copyright The Mbed TLS Contributors
28 * SPDX-License-Identifier: Apache-2.0
29 *
30 * Licensed under the Apache License, Version 2.0 (the "License"); you may
31 * not use this file except in compliance with the License.
32 * You may obtain a copy of the License at
33 *
34 * http://www.apache.org/licenses/LICENSE-2.0
35 *
36 * Unless required by applicable law or agreed to in writing, software
37 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
38 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
39 * See the License for the specific language governing permissions and
40 * limitations under the License.
41 */
42
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010043/* First include Mbed TLS headers to get the Mbed TLS configuration and
44 * platform definitions that we'll use in this program. Also include
45 * standard C headers for functions we'll use here. */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010046#include "mbedtls/build_info.h"
47
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010048#include "mbedtls/cipher.h"
49
50#include <stdlib.h>
51#include <stdio.h>
52#include <string.h>
53
54/* If the build options we need are not enabled, compile a placeholder. */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010055#if !defined(MBEDTLS_CIPHER_C) || \
56 !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_GCM_C) || \
57 !defined(MBEDTLS_CHACHAPOLY_C)
58int main( void )
59{
60 printf( "MBEDTLS_MD_C and/or "
61 "MBEDTLS_AES_C and/or MBEDTLS_GCM_C and/or "
62 "MBEDTLS_CHACHAPOLY_C not defined\r\n" );
63 return( 0 );
64}
65#else
66
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010067/* The real program starts here. */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010068
Manuel Pégourié-Gonnard29088a42022-02-01 09:38:26 +010069const char usage[] = "Usage: cipher_aead_demo [aes128-gcm|aes256-gcm|aes128-gcm_8|chachapoly]";
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010070
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010071/* Dummy data for encryption: IV/nonce, additional data, 2-part message */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010072const unsigned char iv1[12] = { 0x00 };
73const unsigned char add_data1[] = { 0x01, 0x02 };
74const unsigned char msg1_part1[] = { 0x03, 0x04 };
75const unsigned char msg1_part2[] = { 0x05, 0x06, 0x07 };
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010076
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010077/* Dummy data (2nd message) */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010078const unsigned char iv2[12] = { 0x10 };
79const unsigned char add_data2[] = { 0x11, 0x12 };
80const unsigned char msg2_part1[] = { 0x13, 0x14 };
81const unsigned char msg2_part2[] = { 0x15, 0x16, 0x17 };
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010082
Manuel Pégourié-Gonnard48bae022022-02-08 11:14:58 +010083/* Maximum total size of the messages */
84#define MSG1_SIZE ( sizeof( msg1_part1 ) + sizeof( msg1_part2 ) )
85#define MSG2_SIZE ( sizeof( msg2_part1 ) + sizeof( msg2_part2 ) )
86#define MSG_MAX_SIZE ( MSG1_SIZE > MSG2_SIZE ? MSG1_SIZE : MSG2_SIZE )
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010087
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010088/* Dummy key material - never do this in production!
89 * 32-byte is enough to all the key size supported by this program. */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010090const unsigned char key_bytes[32] = { 0x2a };
91
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010092/* Print the contents of a buffer in hex */
93void print_buf( const char *title, unsigned char *buf, size_t len )
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010094{
95 printf( "%s:", title );
96 for( size_t i = 0; i < len; i++ )
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010097 printf( " %02x", buf[i] );
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010098 printf( "\n" );
99}
100
Manuel Pégourié-Gonnard340808c2022-02-08 11:15:26 +0100101/* Run an Mbed TLS function and bail out if it fails.
102 * A string description of the error code can be recovered with:
103 * programs/util/strerror <value> */
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100104#define CHK( expr ) \
105 do \
106 { \
107 ret = ( expr ); \
108 if( ret != 0 ) \
109 { \
110 printf( "Error %d at line %d: %s\n", \
111 ret, \
112 __LINE__, \
113 #expr ); \
114 goto exit; \
115 } \
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100116 } while( 0 )
117
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100118/*
119 * Prepare encryption material:
120 * - interpret command-line argument
121 * - set up key
122 * - outputs: context and tag length, which together hold all the information
123 */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100124static int aead_prepare( const char *info,
125 mbedtls_cipher_context_t *ctx,
126 size_t *tag_len )
127{
128 int ret;
129
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100130 /* Convert arg to type + tag_len */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100131 mbedtls_cipher_type_t type;
132 if( strcmp( info, "aes128-gcm" ) == 0 ) {
133 type = MBEDTLS_CIPHER_AES_128_GCM;
134 *tag_len = 16;
135 } else if( strcmp( info, "aes256-gcm" ) == 0 ) {
136 type = MBEDTLS_CIPHER_AES_256_GCM;
137 *tag_len = 16;
138 } else if( strcmp( info, "aes128-gcm_8" ) == 0 ) {
139 type = MBEDTLS_CIPHER_AES_128_GCM;
140 *tag_len = 8;
141 } else if( strcmp( info, "chachapoly" ) == 0 ) {
142 type = MBEDTLS_CIPHER_CHACHA20_POLY1305;
143 *tag_len = 16;
144 } else {
145 puts( usage );
146 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
147 }
148
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100149 /* Prepare context for the given type */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100150 CHK( mbedtls_cipher_setup( ctx,
151 mbedtls_cipher_info_from_type( type ) ) );
152
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100153 /* Import key */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100154 int key_len = mbedtls_cipher_get_key_bitlen( ctx );
155 CHK( mbedtls_cipher_setkey( ctx, key_bytes, key_len, MBEDTLS_ENCRYPT ) );
156
157exit:
158 return( ret );
159}
160
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100161/*
162 * Print out some information.
163 *
164 * All of this information was present in the command line argument, but his
165 * function demonstrates how each piece can be recovered from (ctx, tag_len).
166 */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100167static void aead_info( const mbedtls_cipher_context_t *ctx, size_t tag_len )
168{
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100169 // no convenient way to get the just cipher type (for example, AES)
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100170 const char *ciph = "???";
171 int key_bits = mbedtls_cipher_get_key_bitlen( ctx );
172 mbedtls_cipher_mode_t mode = mbedtls_cipher_get_cipher_mode( ctx );
173
174 const char *mode_str = mode == MBEDTLS_MODE_GCM ? "GCM"
175 : mode == MBEDTLS_MODE_CHACHAPOLY ? "ChachaPoly"
176 : "???";
177
178 printf( "cipher: %s, %d, %s, %u\n", ciph, key_bits, mode_str, (unsigned) tag_len );
179}
180
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100181/*
182 * Encrypt a 2-part message.
183 */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100184static int aead_encrypt( mbedtls_cipher_context_t *ctx, size_t tag_len,
185 const unsigned char *iv, size_t iv_len,
186 const unsigned char *ad, size_t ad_len,
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100187 const unsigned char *part1, size_t part1_len,
188 const unsigned char *part2, size_t part2_len )
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100189{
190 int ret;
191 size_t olen;
Manuel Pégourié-Gonnardfd1d13c2022-01-28 12:52:35 +0100192 unsigned char out[MSG_MAX_SIZE + 16];
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100193 unsigned char *p = out;
194
195 CHK( mbedtls_cipher_set_iv( ctx, iv, iv_len ) );
196 CHK( mbedtls_cipher_reset( ctx ) );
197 CHK( mbedtls_cipher_update_ad( ctx, ad, ad_len ) );
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100198 CHK( mbedtls_cipher_update( ctx, part1, part1_len, p, &olen ) );
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100199 p += olen;
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100200 CHK( mbedtls_cipher_update( ctx, part2, part2_len, p, &olen ) );
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100201 p += olen;
202 CHK( mbedtls_cipher_finish( ctx, p, &olen ) );
203 p += olen;
204 CHK( mbedtls_cipher_write_tag( ctx, p, tag_len ) );
205 p += tag_len;
206
207 olen = p - out;
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100208 print_buf( "cipher", out, olen );
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100209
210exit:
211 return( ret );
212}
213
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100214/*
215 * AEAD demo: set up key/alg, print out info, encrypt messages.
216 */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100217static int aead_demo( const char *info )
218{
219 int ret = 0;
220
221 mbedtls_cipher_context_t ctx;
222 size_t tag_len;
223
224 mbedtls_cipher_init( &ctx );
225
226 CHK( aead_prepare( info, &ctx, &tag_len ) );
227
228 aead_info( &ctx, tag_len );
229
230 CHK( aead_encrypt( &ctx, tag_len,
231 iv1, sizeof( iv1 ), add_data1, sizeof( add_data1 ),
232 msg1_part1, sizeof( msg1_part1 ),
233 msg1_part2, sizeof( msg1_part2 ) ) );
234 CHK( aead_encrypt( &ctx, tag_len,
235 iv2, sizeof( iv2 ), add_data2, sizeof( add_data2 ),
236 msg2_part1, sizeof( msg2_part1 ),
237 msg2_part2, sizeof( msg2_part2 ) ) );
238
239exit:
240 mbedtls_cipher_free( &ctx );
241
242 return( ret );
243}
244
245
246/*
247 * Main function
248 */
249int main( int argc, char **argv )
250{
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100251 /* Check usage */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100252 if( argc != 2 )
253 {
254 puts( usage );
255 return( 1 );
256 }
257
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100258 int ret;
259
260 /* Run the demo */
261 CHK( aead_demo( argv[1] ) );
262
263exit:
264 return( ret == 0 ? EXIT_SUCCESS : EXIT_FAILURE );
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100265}
266
267#endif