blob: 3f109d8395466177f9bd2ec9ab4e69f1f2db52ae [file] [log] [blame]
Bence Szépkúti700ee442020-05-26 00:33:31 +02001/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02002 * Copyright The Mbed TLS Contributors
Bence Szépkúti86974652020-06-15 11:59:37 +02003 * SPDX-License-Identifier: Apache-2.0
4 *
5 * Licensed under the Apache License, Version 2.0 (the "License"); you may
6 * not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
8 *
9 * http://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
13 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
Bence Szépkúti700ee442020-05-26 00:33:31 +020016 */
17
itayzafrir10366702018-07-11 13:44:41 +030018#include "psa/crypto.h"
19#include <string.h>
itayzafrir10366702018-07-11 13:44:41 +030020#include <stdio.h>
Jaeden Amerodb29ab52019-02-12 16:40:27 +000021#include <stdlib.h>
itayzafrir10366702018-07-11 13:44:41 +030022
Gilles Peskine449bd832023-01-11 14:50:10 +010023#define ASSERT(predicate) \
itayzafrir10366702018-07-11 13:44:41 +030024 do \
25 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010026 if (!(predicate)) \
itayzafrir10366702018-07-11 13:44:41 +030027 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010028 printf("\tassertion failed at %s:%d - '%s'\r\n", \
29 __FILE__, __LINE__, #predicate); \
itayzafrir10366702018-07-11 13:44:41 +030030 goto exit; \
31 } \
Gilles Peskine449bd832023-01-11 14:50:10 +010032 } while (0)
itayzafrir10366702018-07-11 13:44:41 +030033
Gilles Peskine449bd832023-01-11 14:50:10 +010034#define ASSERT_STATUS(actual, expected) \
itayzafrir10366702018-07-11 13:44:41 +030035 do \
36 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010037 if ((actual) != (expected)) \
itayzafrir10366702018-07-11 13:44:41 +030038 { \
Gilles Peskine449bd832023-01-11 14:50:10 +010039 printf("\tassertion failed at %s:%d - " \
40 "actual:%d expected:%d\r\n", __FILE__, __LINE__, \
41 (psa_status_t) actual, (psa_status_t) expected); \
itayzafrir10366702018-07-11 13:44:41 +030042 goto exit; \
43 } \
Gilles Peskine449bd832023-01-11 14:50:10 +010044 } while (0)
itayzafrir10366702018-07-11 13:44:41 +030045
itayzafrir18ac3312018-07-17 09:28:11 +030046#if !defined(MBEDTLS_PSA_CRYPTO_C) || !defined(MBEDTLS_AES_C) || \
47 !defined(MBEDTLS_CIPHER_MODE_CBC) || !defined(MBEDTLS_CIPHER_MODE_CTR) || \
Ronald Cronadc2ff22020-09-16 16:49:27 +020048 !defined(MBEDTLS_CIPHER_MODE_WITH_PADDING) || \
49 defined(MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER)
Gilles Peskine449bd832023-01-11 14:50:10 +010050int main(void)
itayzafrir18ac3312018-07-17 09:28:11 +030051{
Gilles Peskine449bd832023-01-11 14:50:10 +010052 printf("MBEDTLS_PSA_CRYPTO_C and/or MBEDTLS_AES_C and/or "
53 "MBEDTLS_CIPHER_MODE_CBC and/or MBEDTLS_CIPHER_MODE_CTR "
54 "and/or MBEDTLS_CIPHER_MODE_WITH_PADDING "
55 "not defined and/or MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER"
56 " defined.\r\n");
57 return 0;
itayzafrir18ac3312018-07-17 09:28:11 +030058}
59#else
60
Gilles Peskine449bd832023-01-11 14:50:10 +010061static psa_status_t cipher_operation(psa_cipher_operation_t *operation,
62 const uint8_t *input,
63 size_t input_size,
64 size_t part_size,
65 uint8_t *output,
66 size_t output_size,
67 size_t *output_len)
itayzafrir10366702018-07-11 13:44:41 +030068{
69 psa_status_t status;
70 size_t bytes_to_write = 0, bytes_written = 0, len = 0;
71
72 *output_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010073 while (bytes_written != input_size) {
74 bytes_to_write = (input_size - bytes_written > part_size ?
75 part_size :
76 input_size - bytes_written);
itayzafrir10366702018-07-11 13:44:41 +030077
Gilles Peskine449bd832023-01-11 14:50:10 +010078 status = psa_cipher_update(operation, input + bytes_written,
79 bytes_to_write, output + *output_len,
80 output_size - *output_len, &len);
81 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +030082
83 bytes_written += bytes_to_write;
84 *output_len += len;
85 }
86
Gilles Peskine449bd832023-01-11 14:50:10 +010087 status = psa_cipher_finish(operation, output + *output_len,
88 output_size - *output_len, &len);
89 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +030090 *output_len += len;
91
92exit:
Gilles Peskine449bd832023-01-11 14:50:10 +010093 return status;
itayzafrir10366702018-07-11 13:44:41 +030094}
95
Gilles Peskine449bd832023-01-11 14:50:10 +010096static psa_status_t cipher_encrypt(psa_key_id_t key,
97 psa_algorithm_t alg,
98 uint8_t *iv,
99 size_t iv_size,
100 const uint8_t *input,
101 size_t input_size,
102 size_t part_size,
103 uint8_t *output,
104 size_t output_size,
105 size_t *output_len)
itayzafrir10366702018-07-11 13:44:41 +0300106{
107 psa_status_t status;
Jaeden Amerob281f742019-02-20 10:40:20 +0000108 psa_cipher_operation_t operation = PSA_CIPHER_OPERATION_INIT;
itayzafrir10366702018-07-11 13:44:41 +0300109 size_t iv_len = 0;
110
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 memset(&operation, 0, sizeof(operation));
112 status = psa_cipher_encrypt_setup(&operation, key, alg);
113 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300114
Gilles Peskine449bd832023-01-11 14:50:10 +0100115 status = psa_cipher_generate_iv(&operation, iv, iv_size, &iv_len);
116 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300117
Gilles Peskine449bd832023-01-11 14:50:10 +0100118 status = cipher_operation(&operation, input, input_size, part_size,
119 output, output_size, output_len);
120 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300121
122exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 psa_cipher_abort(&operation);
124 return status;
itayzafrir10366702018-07-11 13:44:41 +0300125}
126
Gilles Peskine449bd832023-01-11 14:50:10 +0100127static psa_status_t cipher_decrypt(psa_key_id_t key,
128 psa_algorithm_t alg,
129 const uint8_t *iv,
130 size_t iv_size,
131 const uint8_t *input,
132 size_t input_size,
133 size_t part_size,
134 uint8_t *output,
135 size_t output_size,
136 size_t *output_len)
itayzafrir10366702018-07-11 13:44:41 +0300137{
138 psa_status_t status;
Jaeden Amerob281f742019-02-20 10:40:20 +0000139 psa_cipher_operation_t operation = PSA_CIPHER_OPERATION_INIT;
itayzafrir10366702018-07-11 13:44:41 +0300140
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 memset(&operation, 0, sizeof(operation));
142 status = psa_cipher_decrypt_setup(&operation, key, alg);
143 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300144
Gilles Peskine449bd832023-01-11 14:50:10 +0100145 status = psa_cipher_set_iv(&operation, iv, iv_size);
146 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300147
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 status = cipher_operation(&operation, input, input_size, part_size,
149 output, output_size, output_len);
150 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300151
152exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100153 psa_cipher_abort(&operation);
154 return status;
itayzafrir10366702018-07-11 13:44:41 +0300155}
156
157static psa_status_t
Gilles Peskine449bd832023-01-11 14:50:10 +0100158cipher_example_encrypt_decrypt_aes_cbc_nopad_1_block(void)
itayzafrir10366702018-07-11 13:44:41 +0300159{
160 enum {
Gilles Peskine449bd832023-01-11 14:50:10 +0100161 block_size = PSA_BLOCK_CIPHER_BLOCK_LENGTH(PSA_KEY_TYPE_AES),
itayzafrir10366702018-07-11 13:44:41 +0300162 key_bits = 256,
163 part_size = block_size,
164 };
Gilles Peskinedaea26f2018-08-21 14:02:45 +0200165 const psa_algorithm_t alg = PSA_ALG_CBC_NO_PADDING;
itayzafrir10366702018-07-11 13:44:41 +0300166
167 psa_status_t status;
Gilles Peskinedfea0a252019-04-18 13:39:40 +0200168 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Ronald Cronadc2ff22020-09-16 16:49:27 +0200169 psa_key_id_t key = 0;
itayzafrir10366702018-07-11 13:44:41 +0300170 size_t output_len = 0;
171 uint8_t iv[block_size];
172 uint8_t input[block_size];
173 uint8_t encrypt[block_size];
174 uint8_t decrypt[block_size];
175
Gilles Peskine449bd832023-01-11 14:50:10 +0100176 status = psa_generate_random(input, sizeof(input));
177 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300178
Gilles Peskine449bd832023-01-11 14:50:10 +0100179 psa_set_key_usage_flags(&attributes,
180 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
181 psa_set_key_algorithm(&attributes, alg);
182 psa_set_key_type(&attributes, PSA_KEY_TYPE_AES);
183 psa_set_key_bits(&attributes, key_bits);
Gilles Peskineb0edfb52018-12-03 16:24:51 +0100184
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 status = psa_generate_key(&attributes, &key);
186 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300187
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 status = cipher_encrypt(key, alg, iv, sizeof(iv),
189 input, sizeof(input), part_size,
190 encrypt, sizeof(encrypt), &output_len);
191 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300192
Gilles Peskine449bd832023-01-11 14:50:10 +0100193 status = cipher_decrypt(key, alg, iv, sizeof(iv),
194 encrypt, output_len, part_size,
195 decrypt, sizeof(decrypt), &output_len);
196 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300197
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 status = memcmp(input, decrypt, sizeof(input));
199 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300200
201exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100202 psa_destroy_key(key);
203 return status;
itayzafrir10366702018-07-11 13:44:41 +0300204}
205
Gilles Peskine449bd832023-01-11 14:50:10 +0100206static psa_status_t cipher_example_encrypt_decrypt_aes_cbc_pkcs7_multi(void)
itayzafrira2d08042018-07-12 10:27:58 +0300207{
208 enum {
Gilles Peskine449bd832023-01-11 14:50:10 +0100209 block_size = PSA_BLOCK_CIPHER_BLOCK_LENGTH(PSA_KEY_TYPE_AES),
itayzafrira2d08042018-07-12 10:27:58 +0300210 key_bits = 256,
211 input_size = 100,
212 part_size = 10,
213 };
214
Gilles Peskinedaea26f2018-08-21 14:02:45 +0200215 const psa_algorithm_t alg = PSA_ALG_CBC_PKCS7;
itayzafrira2d08042018-07-12 10:27:58 +0300216
217 psa_status_t status;
Gilles Peskinedfea0a252019-04-18 13:39:40 +0200218 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Ronald Cronadc2ff22020-09-16 16:49:27 +0200219 psa_key_id_t key = 0;
itayzafrira2d08042018-07-12 10:27:58 +0300220 size_t output_len = 0;
221 uint8_t iv[block_size], input[input_size],
222 encrypt[input_size + block_size], decrypt[input_size + block_size];
223
Gilles Peskine449bd832023-01-11 14:50:10 +0100224 status = psa_generate_random(input, sizeof(input));
225 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300226
Gilles Peskine449bd832023-01-11 14:50:10 +0100227 psa_set_key_usage_flags(&attributes,
228 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
229 psa_set_key_algorithm(&attributes, alg);
230 psa_set_key_type(&attributes, PSA_KEY_TYPE_AES);
231 psa_set_key_bits(&attributes, key_bits);
itayzafrira2d08042018-07-12 10:27:58 +0300232
Gilles Peskine449bd832023-01-11 14:50:10 +0100233 status = psa_generate_key(&attributes, &key);
234 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 status = cipher_encrypt(key, alg, iv, sizeof(iv),
237 input, sizeof(input), part_size,
238 encrypt, sizeof(encrypt), &output_len);
239 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300240
Gilles Peskine449bd832023-01-11 14:50:10 +0100241 status = cipher_decrypt(key, alg, iv, sizeof(iv),
242 encrypt, output_len, part_size,
243 decrypt, sizeof(decrypt), &output_len);
244 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300245
Gilles Peskine449bd832023-01-11 14:50:10 +0100246 status = memcmp(input, decrypt, sizeof(input));
247 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300248
249exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 psa_destroy_key(key);
251 return status;
itayzafrira2d08042018-07-12 10:27:58 +0300252}
253
Gilles Peskine449bd832023-01-11 14:50:10 +0100254static psa_status_t cipher_example_encrypt_decrypt_aes_ctr_multi(void)
itayzafrir44b09d22018-07-12 13:06:41 +0300255{
256 enum {
Gilles Peskine449bd832023-01-11 14:50:10 +0100257 block_size = PSA_BLOCK_CIPHER_BLOCK_LENGTH(PSA_KEY_TYPE_AES),
itayzafrir44b09d22018-07-12 13:06:41 +0300258 key_bits = 256,
259 input_size = 100,
260 part_size = 10,
261 };
262 const psa_algorithm_t alg = PSA_ALG_CTR;
263
264 psa_status_t status;
Gilles Peskinedfea0a252019-04-18 13:39:40 +0200265 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Ronald Cronadc2ff22020-09-16 16:49:27 +0200266 psa_key_id_t key = 0;
itayzafrir44b09d22018-07-12 13:06:41 +0300267 size_t output_len = 0;
268 uint8_t iv[block_size], input[input_size], encrypt[input_size],
269 decrypt[input_size];
270
Gilles Peskine449bd832023-01-11 14:50:10 +0100271 status = psa_generate_random(input, sizeof(input));
272 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300273
Gilles Peskine449bd832023-01-11 14:50:10 +0100274 psa_set_key_usage_flags(&attributes,
275 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
276 psa_set_key_algorithm(&attributes, alg);
277 psa_set_key_type(&attributes, PSA_KEY_TYPE_AES);
278 psa_set_key_bits(&attributes, key_bits);
itayzafrir44b09d22018-07-12 13:06:41 +0300279
Gilles Peskine449bd832023-01-11 14:50:10 +0100280 status = psa_generate_key(&attributes, &key);
281 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300282
Gilles Peskine449bd832023-01-11 14:50:10 +0100283 status = cipher_encrypt(key, alg, iv, sizeof(iv),
284 input, sizeof(input), part_size,
285 encrypt, sizeof(encrypt), &output_len);
286 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300287
Gilles Peskine449bd832023-01-11 14:50:10 +0100288 status = cipher_decrypt(key, alg, iv, sizeof(iv),
289 encrypt, output_len, part_size,
290 decrypt, sizeof(decrypt), &output_len);
291 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300292
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 status = memcmp(input, decrypt, sizeof(input));
294 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300295
296exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100297 psa_destroy_key(key);
298 return status;
itayzafrir44b09d22018-07-12 13:06:41 +0300299}
300
Gilles Peskine449bd832023-01-11 14:50:10 +0100301static void cipher_examples(void)
itayzafrir10366702018-07-11 13:44:41 +0300302{
303 psa_status_t status;
304
Gilles Peskine449bd832023-01-11 14:50:10 +0100305 printf("cipher encrypt/decrypt AES CBC no padding:\r\n");
306 status = cipher_example_encrypt_decrypt_aes_cbc_nopad_1_block();
307 if (status == PSA_SUCCESS) {
308 printf("\tsuccess!\r\n");
309 }
itayzafrira2d08042018-07-12 10:27:58 +0300310
Gilles Peskine449bd832023-01-11 14:50:10 +0100311 printf("cipher encrypt/decrypt AES CBC PKCS7 multipart:\r\n");
312 status = cipher_example_encrypt_decrypt_aes_cbc_pkcs7_multi();
313 if (status == PSA_SUCCESS) {
314 printf("\tsuccess!\r\n");
315 }
itayzafrir44b09d22018-07-12 13:06:41 +0300316
Gilles Peskine449bd832023-01-11 14:50:10 +0100317 printf("cipher encrypt/decrypt AES CTR multipart:\r\n");
318 status = cipher_example_encrypt_decrypt_aes_ctr_multi();
319 if (status == PSA_SUCCESS) {
320 printf("\tsuccess!\r\n");
321 }
itayzafrir10366702018-07-11 13:44:41 +0300322}
323
Gilles Peskine449bd832023-01-11 14:50:10 +0100324int main(void)
itayzafrira3ff8a62018-07-10 10:10:21 +0300325{
Gilles Peskine449bd832023-01-11 14:50:10 +0100326 ASSERT(psa_crypto_init() == PSA_SUCCESS);
327 cipher_examples();
itayzafrir10366702018-07-11 13:44:41 +0300328exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100329 mbedtls_psa_crypto_free();
330 return 0;
itayzafrira3ff8a62018-07-10 10:10:21 +0300331}
itayzafrir18ac3312018-07-17 09:28:11 +0300332#endif /* MBEDTLS_PSA_CRYPTO_C && MBEDTLS_AES_C && MBEDTLS_CIPHER_MODE_CBC &&
333 MBEDTLS_CIPHER_MODE_CTR && MBEDTLS_CIPHER_MODE_WITH_PADDING */