blob: 2d99e3cbec590e68eaea714000bb244fd32b2270 [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é-Gonnard64754e12022-02-08 11:21:14 +01007 * It comes with a companion program cipher/cipher_aead_demo.c, which does the
8 * same operations with the legacy Cipher API. The goal is that comparing the
9 * two programs will help people migrating to the PSA Crypto API.
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010010 *
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é-Gonnard64754e12022-02-08 11:21:14 +010021 * This program and its companion cipher/cipher_aead_demo.c illustrate this by
22 * doing the same sequence of multi-part AEAD computation with both APIs;
23 * looking at the two side by side should make the differences and
24 * similarities clear.
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010025 */
26
27/*
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010028 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000029 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010030 */
31
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010032/* First include Mbed TLS headers to get the Mbed TLS configuration and
33 * platform definitions that we'll use in this program. Also include
34 * standard C headers for functions we'll use here. */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010035#include "mbedtls/build_info.h"
36
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010037#include "psa/crypto.h"
38
39#include <stdlib.h>
40#include <stdio.h>
41#include <string.h>
42
43/* If the build options we need are not enabled, compile a placeholder. */
Manuel Pégourié-Gonnard7d5ef172022-01-27 13:09:13 +010044#if !defined(MBEDTLS_PSA_CRYPTO_C) || \
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010045 !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_GCM_C) || \
Manuel Pégourié-Gonnard9efbf532022-01-17 11:57:44 +010046 !defined(MBEDTLS_CHACHAPOLY_C) || \
47 defined(MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER)
Gilles Peskine449bd832023-01-11 14:50:10 +010048int main(void)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010049{
Gilles Peskine449bd832023-01-11 14:50:10 +010050 printf("MBEDTLS_PSA_CRYPTO_C and/or "
51 "MBEDTLS_AES_C and/or MBEDTLS_GCM_C and/or "
52 "MBEDTLS_CHACHAPOLY_C not defined, and/or "
53 "MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER defined\r\n");
54 return 0;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010055}
56#else
57
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010058/* The real program starts here. */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010059
Manuel Pégourié-Gonnard64754e12022-02-08 11:21:14 +010060const char usage[] =
Gilles Peskine449bd832023-01-11 14:50:10 +010061 "Usage: aead_demo [aes128-gcm|aes256-gcm|aes128-gcm_8|chachapoly]";
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010062
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010063/* Dummy data for encryption: IV/nonce, additional data, 2-part message */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010064const unsigned char iv1[12] = { 0x00 };
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +010065const unsigned char add_data1[] = { 0x01, 0x02 };
66const unsigned char msg1_part1[] = { 0x03, 0x04 };
67const unsigned char msg1_part2[] = { 0x05, 0x06, 0x07 };
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010068
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010069/* Dummy data (2nd message) */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010070const unsigned char iv2[12] = { 0x10 };
Manuel Pégourié-Gonnardbeef9c22022-01-27 11:42:47 +010071const unsigned char add_data2[] = { 0x11, 0x12 };
72const unsigned char msg2_part1[] = { 0x13, 0x14 };
73const unsigned char msg2_part2[] = { 0x15, 0x16, 0x17 };
Manuel Pégourié-Gonnard3aae30c2022-01-27 11:56:24 +010074
Manuel Pégourié-Gonnard48bae022022-02-08 11:14:58 +010075/* Maximum total size of the messages */
Gilles Peskine449bd832023-01-11 14:50:10 +010076#define MSG1_SIZE (sizeof(msg1_part1) + sizeof(msg1_part2))
77#define MSG2_SIZE (sizeof(msg2_part1) + sizeof(msg2_part2))
78#define MSG_MAX_SIZE (MSG1_SIZE > MSG2_SIZE ? MSG1_SIZE : MSG2_SIZE)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010079
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010080/* Dummy key material - never do this in production!
81 * 32-byte is enough to all the key size supported by this program. */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +010082const unsigned char key_bytes[32] = { 0x2a };
83
Michael Schuster9bf18752024-07-21 00:44:33 +020084/* Print the contents of a buffer in hex */
Michael Schuster58305052024-07-21 00:46:10 +020085static void print_buf(const char *title, uint8_t *buf, size_t len)
Michael Schuster9bf18752024-07-21 00:44:33 +020086{
87 printf("%s:", title);
88 for (size_t i = 0; i < len; i++) {
89 printf(" %02x", buf[i]);
90 }
91 printf("\n");
92}
93
Manuel Pégourié-Gonnard340808c2022-02-08 11:15:26 +010094/* Run a PSA function and bail out if it fails.
95 * The symbolic name of the error code can be recovered using:
Tom Cosgrove1797b052022-12-04 17:19:59 +000096 * programs/psa/psa_constant_name status <value> */
Gilles Peskine449bd832023-01-11 14:50:10 +010097#define PSA_CHECK(expr) \
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +010098 do \
99 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 status = (expr); \
101 if (status != PSA_SUCCESS) \
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100102 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100103 printf("Error %d at line %d: %s\n", \
104 (int) status, \
105 __LINE__, \
106 #expr); \
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100107 goto exit; \
108 } \
109 } \
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 while (0)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100111
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100112/*
113 * Prepare encryption material:
114 * - interpret command-line argument
115 * - set up key
116 * - outputs: key and algorithm, which together hold all the information
117 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100118static psa_status_t aead_prepare(const char *info,
119 psa_key_id_t *key,
120 psa_algorithm_t *alg)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100121{
122 psa_status_t status;
123
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100124 /* Convert arg to alg + key_bits + key_type */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100125 size_t key_bits;
126 psa_key_type_t key_type;
Gilles Peskine449bd832023-01-11 14:50:10 +0100127 if (strcmp(info, "aes128-gcm") == 0) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100128 *alg = PSA_ALG_GCM;
129 key_bits = 128;
130 key_type = PSA_KEY_TYPE_AES;
Gilles Peskine449bd832023-01-11 14:50:10 +0100131 } else if (strcmp(info, "aes256-gcm") == 0) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100132 *alg = PSA_ALG_GCM;
133 key_bits = 256;
134 key_type = PSA_KEY_TYPE_AES;
Gilles Peskine449bd832023-01-11 14:50:10 +0100135 } else if (strcmp(info, "aes128-gcm_8") == 0) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100136 *alg = PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, 8);
137 key_bits = 128;
138 key_type = PSA_KEY_TYPE_AES;
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 } else if (strcmp(info, "chachapoly") == 0) {
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100140 *alg = PSA_ALG_CHACHA20_POLY1305;
141 key_bits = 256;
142 key_type = PSA_KEY_TYPE_CHACHA20;
143 } else {
Gilles Peskine449bd832023-01-11 14:50:10 +0100144 puts(usage);
145 return PSA_ERROR_INVALID_ARGUMENT;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100146 }
147
Andrzej Kurek5c65c572022-04-13 14:28:52 -0400148 /* Prepare key attributes */
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100149 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 psa_set_key_usage_flags(&attributes, PSA_KEY_USAGE_ENCRYPT);
151 psa_set_key_algorithm(&attributes, *alg);
152 psa_set_key_type(&attributes, key_type);
153 psa_set_key_bits(&attributes, key_bits); // optional
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100154
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100155 /* Import key */
Gilles Peskine449bd832023-01-11 14:50:10 +0100156 PSA_CHECK(psa_import_key(&attributes, key_bytes, key_bits / 8, key));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100157
158exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 return status;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100160}
161
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100162/*
163 * Print out some information.
164 *
165 * All of this information was present in the command line argument, but his
166 * function demonstrates how each piece can be recovered from (key, alg).
167 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100168static void aead_info(psa_key_id_t key, psa_algorithm_t alg)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100169{
170 psa_key_attributes_t attr = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100171 (void) psa_get_key_attributes(key, &attr);
172 psa_key_type_t key_type = psa_get_key_type(&attr);
173 size_t key_bits = psa_get_key_bits(&attr);
174 psa_algorithm_t base_alg = PSA_ALG_AEAD_WITH_DEFAULT_LENGTH_TAG(alg);
175 size_t tag_len = PSA_AEAD_TAG_LENGTH(key_type, key_bits, alg);
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100176
177 const char *type_str = key_type == PSA_KEY_TYPE_AES ? "AES"
178 : key_type == PSA_KEY_TYPE_CHACHA20 ? "Chacha"
179 : "???";
180 const char *base_str = base_alg == PSA_ALG_GCM ? "GCM"
181 : base_alg == PSA_ALG_CHACHA20_POLY1305 ? "ChachaPoly"
182 : "???";
183
Gilles Peskine449bd832023-01-11 14:50:10 +0100184 printf("%s, %u, %s, %u\n",
185 type_str, (unsigned) key_bits, base_str, (unsigned) tag_len);
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100186}
187
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100188/*
189 * Encrypt a 2-part message.
190 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100191static int aead_encrypt(psa_key_id_t key, psa_algorithm_t alg,
192 const unsigned char *iv, size_t iv_len,
193 const unsigned char *ad, size_t ad_len,
194 const unsigned char *part1, size_t part1_len,
195 const unsigned char *part2, size_t part2_len)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100196{
197 psa_status_t status;
198 size_t olen, olen_tag;
Manuel Pégourié-Gonnardfd1d13c2022-01-28 12:52:35 +0100199 unsigned char out[PSA_AEAD_ENCRYPT_OUTPUT_MAX_SIZE(MSG_MAX_SIZE)];
Gilles Peskine449bd832023-01-11 14:50:10 +0100200 unsigned char *p = out, *end = out + sizeof(out);
Manuel Pégourié-Gonnard3aae30c2022-01-27 11:56:24 +0100201 unsigned char tag[PSA_AEAD_TAG_MAX_SIZE];
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100202
203 psa_aead_operation_t op = PSA_AEAD_OPERATION_INIT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100204 PSA_CHECK(psa_aead_encrypt_setup(&op, key, alg));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100205
Gilles Peskine449bd832023-01-11 14:50:10 +0100206 PSA_CHECK(psa_aead_set_nonce(&op, iv, iv_len));
207 PSA_CHECK(psa_aead_update_ad(&op, ad, ad_len));
208 PSA_CHECK(psa_aead_update(&op, part1, part1_len, p, end - p, &olen));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100209 p += olen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100210 PSA_CHECK(psa_aead_update(&op, part2, part2_len, p, end - p, &olen));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100211 p += olen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100212 PSA_CHECK(psa_aead_finish(&op, p, end - p, &olen,
213 tag, sizeof(tag), &olen_tag));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100214 p += olen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 memcpy(p, tag, olen_tag);
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100216 p += olen_tag;
217
218 olen = p - out;
Michael Schuster9bf18752024-07-21 00:44:33 +0200219 print_buf("out", out, olen);
Manuel Pégourié-Gonnard1a45c712022-01-27 12:17:20 +0100220
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100221exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100222 psa_aead_abort(&op); // required on errors, harmless on success
223 return status;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100224}
225
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100226/*
227 * AEAD demo: set up key/alg, print out info, encrypt messages.
228 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100229static psa_status_t aead_demo(const char *info)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100230{
231 psa_status_t status;
232
233 psa_key_id_t key;
234 psa_algorithm_t alg;
235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 PSA_CHECK(aead_prepare(info, &key, &alg));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100237
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 aead_info(key, alg);
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100239
Gilles Peskine449bd832023-01-11 14:50:10 +0100240 PSA_CHECK(aead_encrypt(key, alg,
241 iv1, sizeof(iv1), add_data1, sizeof(add_data1),
242 msg1_part1, sizeof(msg1_part1),
243 msg1_part2, sizeof(msg1_part2)));
244 PSA_CHECK(aead_encrypt(key, alg,
245 iv2, sizeof(iv2), add_data2, sizeof(add_data2),
246 msg2_part1, sizeof(msg2_part1),
247 msg2_part2, sizeof(msg2_part2)));
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100248
249exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 psa_destroy_key(key);
Manuel Pégourié-Gonnard1a45c712022-01-27 12:17:20 +0100251
Gilles Peskine449bd832023-01-11 14:50:10 +0100252 return status;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100253}
254
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100255/*
256 * Main function
257 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100258int main(int argc, char **argv)
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100259{
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100260 psa_status_t status = PSA_SUCCESS;
261
262 /* Check usage */
Gilles Peskine449bd832023-01-11 14:50:10 +0100263 if (argc != 2) {
264 puts(usage);
265 return EXIT_FAILURE;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100266 }
267
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100268 /* Initialize the PSA crypto library. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100269 PSA_CHECK(psa_crypto_init());
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100270
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100271 /* Run the demo */
Gilles Peskine449bd832023-01-11 14:50:10 +0100272 PSA_CHECK(aead_demo(argv[1]));
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100273
274 /* Deinitialize the PSA crypto library. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 mbedtls_psa_crypto_free();
Manuel Pégourié-Gonnard248b3852022-01-31 12:56:39 +0100276
277exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100278 return status == PSA_SUCCESS ? EXIT_SUCCESS : EXIT_FAILURE;
Manuel Pégourié-Gonnard398d4592022-01-07 12:26:32 +0100279}
280
281#endif