blob: ac7bf65773e8f27c1aa19db90f09c09c95748c7f [file] [log] [blame]
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +01001/**
2 * PSA API multi-part AEAD demonstration.
Manuel Pégourié-Gonnard0e725c32022-01-27 11:15:33 +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é-Gonnard29088a42022-02-01 09:38:26 +01007 * It comes with a companion program cipher/cipher_aead_demo.c, which does the same
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +01008 * operations with the legacy Cipher 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é-Gonnard29088a42022-02-01 09:38:26 +010021 * This program and its companion cipher/cipher_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é-Gonnard398d4592022-01-07 12:26:32 +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é-Gonnard398d4592022-01-07 12:26:32 +010046#include "mbedtls/build_info.h"
47
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010048#include "psa/crypto.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_PSA_CRYPTO_C) || \
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010056 !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_GCM_C) || \
Manuel Pégourié-Gonnard9efbf532022-01-17 11:57:44 +010057 !defined(MBEDTLS_CHACHAPOLY_C) || \
58 defined(MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010059int main( void )
60{
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010061 printf( "MBEDTLS_PSA_CRYPTO_C and/or "
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010062 "MBEDTLS_AES_C and/or MBEDTLS_GCM_C and/or "
Manuel Pégourié-Gonnard9efbf532022-01-17 11:57:44 +010063 "MBEDTLS_CHACHAPOLY_C not defined, and/or "
64 "MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER defined\r\n" );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010065 return( 0 );
66}
67#else
68
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010069/* The real program starts here. */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010070
Manuel Pégourié-Gonnard6fdc9e82022-01-31 13:27:39 +010071const char usage[] = "Usage: aead_demo [aes128-gcm|aes256-gcm|aes128-gcm_8|chachapoly]";
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010072
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010073/* Dummy data for encryption: IV/nonce, additional data, 2-part message */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010074const unsigned char iv1[12] = { 0x00 };
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +010075const unsigned char add_data1[] = { 0x01, 0x02 };
76const unsigned char msg1_part1[] = { 0x03, 0x04 };
77const unsigned char msg1_part2[] = { 0x05, 0x06, 0x07 };
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010078
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010079/* Dummy data (2nd message) */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010080const unsigned char iv2[12] = { 0x10 };
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +010081const unsigned char add_data2[] = { 0x11, 0x12 };
82const unsigned char msg2_part1[] = { 0x13, 0x14 };
83const unsigned char msg2_part2[] = { 0x15, 0x16, 0x17 };
Manuel Pégourié-Gonnard3aae30c2022-01-27 11:56:24 +010084
Manuel Pégourié-Gonnard48bae022022-02-08 11:14:58 +010085/* Maximum total size of the messages */
86#define MSG1_SIZE ( sizeof( msg1_part1 ) + sizeof( msg1_part2 ) )
87#define MSG2_SIZE ( sizeof( msg2_part1 ) + sizeof( msg2_part2 ) )
88#define MSG_MAX_SIZE ( MSG1_SIZE > MSG2_SIZE ? MSG1_SIZE : MSG2_SIZE )
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010089
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010090/* Dummy key material - never do this in production!
91 * 32-byte is enough to all the key size supported by this program. */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010092const unsigned char key_bytes[32] = { 0x2a };
93
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010094/* Print the contents of a buffer in hex */
95void print_buf( const char *title, uint8_t *buf, size_t len )
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010096{
97 printf( "%s:", title );
98 for( size_t i = 0; i < len; i++ )
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010099 printf( " %02x", buf[i] );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100100 printf( "\n" );
101}
102
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100103/* Run a PSA function and bail out if it fails. */
104#define PSA_CHECK( expr ) \
105 do \
106 { \
107 status = ( expr ); \
108 if( status != PSA_SUCCESS ) \
109 { \
110 printf( "Error %d at line %d: %s\n", \
111 (int) status, \
112 __LINE__, \
113 #expr ); \
114 goto exit; \
115 } \
116 } \
117 while( 0 )
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100118
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100119/*
120 * Prepare encryption material:
121 * - interpret command-line argument
122 * - set up key
123 * - outputs: key and algorithm, which together hold all the information
124 */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100125static psa_status_t aead_prepare( const char *info,
126 psa_key_id_t *key,
127 psa_algorithm_t *alg )
128{
129 psa_status_t status;
130
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100131 /* Convert arg to alg + key_bits + key_type */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100132 size_t key_bits;
133 psa_key_type_t key_type;
Manuel Pégourié-Gonnard428a97e2022-01-27 11:35:12 +0100134 if( strcmp( info, "aes128-gcm" ) == 0 ) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100135 *alg = PSA_ALG_GCM;
136 key_bits = 128;
137 key_type = PSA_KEY_TYPE_AES;
Manuel Pégourié-Gonnard428a97e2022-01-27 11:35:12 +0100138 } else if( strcmp( info, "aes256-gcm" ) == 0 ) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100139 *alg = PSA_ALG_GCM;
140 key_bits = 256;
141 key_type = PSA_KEY_TYPE_AES;
Manuel Pégourié-Gonnard428a97e2022-01-27 11:35:12 +0100142 } else if( strcmp( info, "aes128-gcm_8" ) == 0 ) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100143 *alg = PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, 8);
144 key_bits = 128;
145 key_type = PSA_KEY_TYPE_AES;
146 } else if( strcmp( info, "chachapoly" ) == 0 ) {
147 *alg = PSA_ALG_CHACHA20_POLY1305;
148 key_bits = 256;
149 key_type = PSA_KEY_TYPE_CHACHA20;
150 } else {
151 puts( usage );
152 return( PSA_ERROR_INVALID_ARGUMENT );
153 }
154
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100155 /* Prepare key attibutes */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100156 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
157 psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_ENCRYPT );
158 psa_set_key_algorithm( &attributes, *alg );
159 psa_set_key_type( &attributes, key_type );
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100160 psa_set_key_bits( &attributes, key_bits ); // optional
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100161
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100162 /* Import key */
163 PSA_CHECK( psa_import_key( &attributes, key_bytes, key_bits / 8, key ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100164
165exit:
166 return( status );
167}
168
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100169/*
170 * Print out some information.
171 *
172 * All of this information was present in the command line argument, but his
173 * function demonstrates how each piece can be recovered from (key, alg).
174 */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100175static void aead_info( psa_key_id_t key, psa_algorithm_t alg )
176{
177 psa_key_attributes_t attr = PSA_KEY_ATTRIBUTES_INIT;
178 (void) psa_get_key_attributes( key, &attr );
179 psa_key_type_t key_type = psa_get_key_type( &attr );
180 size_t key_bits = psa_get_key_bits( &attr );
181 psa_algorithm_t base_alg = PSA_ALG_AEAD_WITH_DEFAULT_LENGTH_TAG( alg );
182 size_t tag_len = PSA_AEAD_TAG_LENGTH( key_type, key_bits, alg );
183
184 const char *type_str = key_type == PSA_KEY_TYPE_AES ? "AES"
185 : key_type == PSA_KEY_TYPE_CHACHA20 ? "Chacha"
186 : "???";
187 const char *base_str = base_alg == PSA_ALG_GCM ? "GCM"
188 : base_alg == PSA_ALG_CHACHA20_POLY1305 ? "ChachaPoly"
189 : "???";
190
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100191 printf( "%s, %u, %s, %u\n",
Manuel Pégourié-Gonnardaab52582022-01-18 09:30:51 +0100192 type_str, (unsigned) key_bits, base_str, (unsigned) tag_len );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100193}
194
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100195/*
196 * Encrypt a 2-part message.
197 */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100198static int aead_encrypt( psa_key_id_t key, psa_algorithm_t alg,
199 const unsigned char *iv, size_t iv_len,
200 const unsigned char *ad, size_t ad_len,
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100201 const unsigned char *part1, size_t part1_len,
202 const unsigned char *part2, size_t part2_len )
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100203{
204 psa_status_t status;
205 size_t olen, olen_tag;
Manuel Pégourié-Gonnardfd1d13c2022-01-28 12:52:35 +0100206 unsigned char out[PSA_AEAD_ENCRYPT_OUTPUT_MAX_SIZE(MSG_MAX_SIZE)];
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100207 unsigned char *p = out, *end = out + sizeof( out );
Manuel Pégourié-Gonnard3aae30c2022-01-27 11:56:24 +0100208 unsigned char tag[PSA_AEAD_TAG_MAX_SIZE];
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100209
210 psa_aead_operation_t op = PSA_AEAD_OPERATION_INIT;
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100211 PSA_CHECK( psa_aead_encrypt_setup( &op, key, alg ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100212
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100213 PSA_CHECK( psa_aead_set_nonce( &op, iv, iv_len ) );
214 PSA_CHECK( psa_aead_update_ad( &op, ad, ad_len ) );
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100215 PSA_CHECK( psa_aead_update( &op, part1, part1_len, p, end - p, &olen ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100216 p += olen;
Manuel Pégourié-Gonnardcf99beb2022-02-08 10:54:26 +0100217 PSA_CHECK( psa_aead_update( &op, part2, part2_len, p, end - p, &olen ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100218 p += olen;
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100219 PSA_CHECK( psa_aead_finish( &op, p, end - p, &olen,
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100220 tag, sizeof( tag ), &olen_tag ) );
221 p += olen;
222 memcpy( p, tag, olen_tag );
223 p += olen_tag;
224
225 olen = p - out;
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100226 print_buf( "out", out, olen );
Manuel Pégourié-Gonnard1a45c712022-01-27 12:17:20 +0100227
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100228exit:
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100229 psa_aead_abort( &op ); // required on errors, harmless on success
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100230 return( status );
231}
232
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100233/*
234 * AEAD demo: set up key/alg, print out info, encrypt messages.
235 */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +0100236static psa_status_t aead_demo( const char *info )
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100237{
238 psa_status_t status;
239
240 psa_key_id_t key;
241 psa_algorithm_t alg;
242
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100243 PSA_CHECK( aead_prepare( info, &key, &alg ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100244
245 aead_info( key, alg );
246
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100247 PSA_CHECK( aead_encrypt( key, alg,
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +0100248 iv1, sizeof( iv1 ), add_data1, sizeof( add_data1 ),
249 msg1_part1, sizeof( msg1_part1 ),
250 msg1_part2, sizeof( msg1_part2 ) ) );
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100251 PSA_CHECK( aead_encrypt( key, alg,
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +0100252 iv2, sizeof( iv2 ), add_data2, sizeof( add_data2 ),
253 msg2_part1, sizeof( msg2_part1 ),
254 msg2_part2, sizeof( msg2_part2 ) ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100255
256exit:
Manuel Pégourié-Gonnard1a45c712022-01-27 12:17:20 +0100257 psa_destroy_key( key );
258
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100259 return( status );
260}
261
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100262/*
263 * Main function
264 */
265int main( int argc, char **argv )
266{
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100267 psa_status_t status = PSA_SUCCESS;
268
269 /* Check usage */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100270 if( argc != 2 )
271 {
272 puts( usage );
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100273 return( EXIT_FAILURE );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100274 }
275
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100276 /* Initialize the PSA crypto library. */
277 PSA_CHECK( psa_crypto_init( ) );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100278
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100279 /* Run the demo */
280 PSA_CHECK( aead_demo( argv[1] ) );
281
282 /* Deinitialize the PSA crypto library. */
283 mbedtls_psa_crypto_free( );
284
285exit:
286 return( status == PSA_SUCCESS ? EXIT_SUCCESS : EXIT_FAILURE );
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100287}
288
289#endif