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
David Horstmannceeaeb92023-01-05 15:44:23 +000023#define ASSERT(predicate) \
itayzafrir10366702018-07-11 13:44:41 +030024 do \
25 { \
David Horstmannceeaeb92023-01-05 15:44:23 +000026 if (!(predicate)) \
itayzafrir10366702018-07-11 13:44:41 +030027 { \
David Horstmannceeaeb92023-01-05 15:44:23 +000028 printf("\tassertion failed at %s:%d - '%s'\r\n", \
29 __FILE__, __LINE__, #predicate); \
itayzafrir10366702018-07-11 13:44:41 +030030 goto exit; \
31 } \
David Horstmannceeaeb92023-01-05 15:44:23 +000032 } while (0)
itayzafrir10366702018-07-11 13:44:41 +030033
David Horstmannceeaeb92023-01-05 15:44:23 +000034#define ASSERT_STATUS(actual, expected) \
itayzafrir10366702018-07-11 13:44:41 +030035 do \
36 { \
David Horstmannceeaeb92023-01-05 15:44:23 +000037 if ((actual) != (expected)) \
itayzafrir10366702018-07-11 13:44:41 +030038 { \
David Horstmannceeaeb92023-01-05 15:44:23 +000039 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 } \
David Horstmannceeaeb92023-01-05 15:44:23 +000044 } 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)
David Horstmannceeaeb92023-01-05 15:44:23 +000050int main(void)
itayzafrir18ac3312018-07-17 09:28:11 +030051{
David Horstmannceeaeb92023-01-05 15:44:23 +000052 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
David Horstmannceeaeb92023-01-05 15:44:23 +000061static 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;
David Horstmannceeaeb92023-01-05 15:44:23 +000073 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
David Horstmannceeaeb92023-01-05 15:44:23 +000078 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
David Horstmannceeaeb92023-01-05 15:44:23 +000087 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:
David Horstmannceeaeb92023-01-05 15:44:23 +000093 return status;
itayzafrir10366702018-07-11 13:44:41 +030094}
95
David Horstmannceeaeb92023-01-05 15:44:23 +000096static 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000111 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000115 status = psa_cipher_generate_iv(&operation, iv, iv_size, &iv_len);
116 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300117
David Horstmannceeaeb92023-01-05 15:44:23 +0000118 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:
David Horstmannceeaeb92023-01-05 15:44:23 +0000123 psa_cipher_abort(&operation);
124 return status;
itayzafrir10366702018-07-11 13:44:41 +0300125}
126
David Horstmannceeaeb92023-01-05 15:44:23 +0000127static 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000141 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000145 status = psa_cipher_set_iv(&operation, iv, iv_size);
146 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300147
David Horstmannceeaeb92023-01-05 15:44:23 +0000148 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:
David Horstmannceeaeb92023-01-05 15:44:23 +0000153 psa_cipher_abort(&operation);
154 return status;
itayzafrir10366702018-07-11 13:44:41 +0300155}
156
157static psa_status_t
David Horstmannceeaeb92023-01-05 15:44:23 +0000158cipher_example_encrypt_decrypt_aes_cbc_nopad_1_block(void)
itayzafrir10366702018-07-11 13:44:41 +0300159{
160 enum {
David Horstmannceeaeb92023-01-05 15:44:23 +0000161 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000176 status = psa_generate_random(input, sizeof(input));
177 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300178
David Horstmannceeaeb92023-01-05 15:44:23 +0000179 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000185 status = psa_generate_key(&attributes, &key);
186 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300187
David Horstmannceeaeb92023-01-05 15:44:23 +0000188 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000193 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000198 status = memcmp(input, decrypt, sizeof(input));
199 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir10366702018-07-11 13:44:41 +0300200
201exit:
David Horstmannceeaeb92023-01-05 15:44:23 +0000202 psa_destroy_key(key);
203 return status;
itayzafrir10366702018-07-11 13:44:41 +0300204}
205
David Horstmannceeaeb92023-01-05 15:44:23 +0000206static psa_status_t cipher_example_encrypt_decrypt_aes_cbc_pkcs7_multi(void)
itayzafrira2d08042018-07-12 10:27:58 +0300207{
208 enum {
David Horstmannceeaeb92023-01-05 15:44:23 +0000209 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000224 status = psa_generate_random(input, sizeof(input));
225 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300226
David Horstmannceeaeb92023-01-05 15:44:23 +0000227 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000233 status = psa_generate_key(&attributes, &key);
234 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300235
David Horstmannceeaeb92023-01-05 15:44:23 +0000236 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000241 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000246 status = memcmp(input, decrypt, sizeof(input));
247 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrira2d08042018-07-12 10:27:58 +0300248
249exit:
David Horstmannceeaeb92023-01-05 15:44:23 +0000250 psa_destroy_key(key);
251 return status;
itayzafrira2d08042018-07-12 10:27:58 +0300252}
253
David Horstmannceeaeb92023-01-05 15:44:23 +0000254static psa_status_t cipher_example_encrypt_decrypt_aes_ctr_multi(void)
itayzafrir44b09d22018-07-12 13:06:41 +0300255{
256 enum {
David Horstmannceeaeb92023-01-05 15:44:23 +0000257 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000271 status = psa_generate_random(input, sizeof(input));
272 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300273
David Horstmannceeaeb92023-01-05 15:44:23 +0000274 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000280 status = psa_generate_key(&attributes, &key);
281 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300282
David Horstmannceeaeb92023-01-05 15:44:23 +0000283 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000288 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000293 status = memcmp(input, decrypt, sizeof(input));
294 ASSERT_STATUS(status, PSA_SUCCESS);
itayzafrir44b09d22018-07-12 13:06:41 +0300295
296exit:
David Horstmannceeaeb92023-01-05 15:44:23 +0000297 psa_destroy_key(key);
298 return status;
itayzafrir44b09d22018-07-12 13:06:41 +0300299}
300
David Horstmannceeaeb92023-01-05 15:44:23 +0000301static void cipher_examples(void)
itayzafrir10366702018-07-11 13:44:41 +0300302{
303 psa_status_t status;
304
David Horstmannceeaeb92023-01-05 15:44:23 +0000305 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000311 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000317 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
David Horstmannceeaeb92023-01-05 15:44:23 +0000324int main(void)
itayzafrira3ff8a62018-07-10 10:10:21 +0300325{
David Horstmannceeaeb92023-01-05 15:44:23 +0000326 ASSERT(psa_crypto_init() == PSA_SUCCESS);
327 cipher_examples();
itayzafrir10366702018-07-11 13:44:41 +0300328exit:
David Horstmannceeaeb92023-01-05 15:44:23 +0000329 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 */