Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 1 | /** |
Hanno Becker | afebf5a | 2018-11-13 21:01:41 +0000 | [diff] [blame] | 2 | * \file psa_util.h |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 3 | * |
| 4 | * \brief Utility functions for the use of the PSA Crypto library. |
| 5 | * |
| 6 | * \warning This function is not part of the public API and may |
| 7 | * change at any time. |
| 8 | */ |
| 9 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 10 | * Copyright The Mbed TLS Contributors |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 11 | * SPDX-License-Identifier: Apache-2.0 |
| 12 | * |
| 13 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 14 | * not use this file except in compliance with the License. |
| 15 | * You may obtain a copy of the License at |
| 16 | * |
| 17 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 18 | * |
| 19 | * Unless required by applicable law or agreed to in writing, software |
| 20 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 21 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 22 | * See the License for the specific language governing permissions and |
| 23 | * limitations under the License. |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 24 | */ |
| 25 | |
Hanno Becker | 186b65a | 2018-11-19 15:14:21 +0000 | [diff] [blame] | 26 | #ifndef MBEDTLS_PSA_UTIL_H |
| 27 | #define MBEDTLS_PSA_UTIL_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 28 | #include "mbedtls/private_access.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 29 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 30 | #include "mbedtls/build_info.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 31 | |
Jerry Yu | b02ee18 | 2022-03-16 10:30:41 +0800 | [diff] [blame] | 32 | #if defined(MBEDTLS_PSA_CRYPTO_C) |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 33 | |
| 34 | #include "psa/crypto.h" |
| 35 | |
Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 36 | #include "mbedtls/ecp.h" |
| 37 | #include "mbedtls/md.h" |
| 38 | #include "mbedtls/pk.h" |
| 39 | #include "mbedtls/oid.h" |
TRodziewicz | 3408d60 | 2021-04-21 13:25:25 +0200 | [diff] [blame] | 40 | #include "mbedtls/error.h" |
Przemek Stekiel | cceb933 | 2023-05-18 14:31:10 +0200 | [diff] [blame^] | 41 | #include "mbedtls/ssl.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 42 | |
Hanno Becker | f75f912 | 2019-01-07 15:36:51 +0000 | [diff] [blame] | 43 | #include <string.h> |
| 44 | |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 45 | /* Translations for symmetric crypto. */ |
| 46 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 47 | static inline psa_key_type_t mbedtls_psa_translate_cipher_type( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 48 | mbedtls_cipher_type_t cipher) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 49 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | switch (cipher) { |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 51 | case MBEDTLS_CIPHER_AES_128_CCM: |
| 52 | case MBEDTLS_CIPHER_AES_192_CCM: |
| 53 | case MBEDTLS_CIPHER_AES_256_CCM: |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 54 | case MBEDTLS_CIPHER_AES_128_CCM_STAR_NO_TAG: |
| 55 | case MBEDTLS_CIPHER_AES_192_CCM_STAR_NO_TAG: |
| 56 | case MBEDTLS_CIPHER_AES_256_CCM_STAR_NO_TAG: |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 57 | case MBEDTLS_CIPHER_AES_128_GCM: |
| 58 | case MBEDTLS_CIPHER_AES_192_GCM: |
| 59 | case MBEDTLS_CIPHER_AES_256_GCM: |
| 60 | case MBEDTLS_CIPHER_AES_128_CBC: |
| 61 | case MBEDTLS_CIPHER_AES_192_CBC: |
| 62 | case MBEDTLS_CIPHER_AES_256_CBC: |
Przemyslaw Stekiel | 80c6a8e | 2021-09-29 12:13:11 +0200 | [diff] [blame] | 63 | case MBEDTLS_CIPHER_AES_128_ECB: |
Przemyslaw Stekiel | 86de1b7 | 2021-09-29 19:43:40 +0200 | [diff] [blame] | 64 | case MBEDTLS_CIPHER_AES_192_ECB: |
| 65 | case MBEDTLS_CIPHER_AES_256_ECB: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 66 | return PSA_KEY_TYPE_AES; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 67 | |
| 68 | /* ARIA not yet supported in PSA. */ |
| 69 | /* case MBEDTLS_CIPHER_ARIA_128_CCM: |
| 70 | case MBEDTLS_CIPHER_ARIA_192_CCM: |
| 71 | case MBEDTLS_CIPHER_ARIA_256_CCM: |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 72 | case MBEDTLS_CIPHER_ARIA_128_CCM_STAR_NO_TAG: |
| 73 | case MBEDTLS_CIPHER_ARIA_192_CCM_STAR_NO_TAG: |
| 74 | case MBEDTLS_CIPHER_ARIA_256_CCM_STAR_NO_TAG: |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 75 | case MBEDTLS_CIPHER_ARIA_128_GCM: |
| 76 | case MBEDTLS_CIPHER_ARIA_192_GCM: |
| 77 | case MBEDTLS_CIPHER_ARIA_256_GCM: |
| 78 | case MBEDTLS_CIPHER_ARIA_128_CBC: |
| 79 | case MBEDTLS_CIPHER_ARIA_192_CBC: |
| 80 | case MBEDTLS_CIPHER_ARIA_256_CBC: |
| 81 | return( PSA_KEY_TYPE_ARIA ); */ |
| 82 | |
| 83 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 84 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 85 | } |
| 86 | } |
| 87 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 88 | static inline psa_algorithm_t mbedtls_psa_translate_cipher_mode( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 89 | mbedtls_cipher_mode_t mode, size_t taglen) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 90 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 91 | switch (mode) { |
Steven Cooreman | ed3c9ec | 2020-07-06 14:08:59 +0200 | [diff] [blame] | 92 | case MBEDTLS_MODE_ECB: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 93 | return PSA_ALG_ECB_NO_PADDING; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 94 | case MBEDTLS_MODE_GCM: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 95 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, taglen); |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 96 | case MBEDTLS_MODE_CCM: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 97 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, taglen); |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 98 | case MBEDTLS_MODE_CCM_STAR_NO_TAG: |
| 99 | return PSA_ALG_CCM_STAR_NO_TAG; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 100 | case MBEDTLS_MODE_CBC: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 101 | if (taglen == 0) { |
| 102 | return PSA_ALG_CBC_NO_PADDING; |
| 103 | } else { |
| 104 | return 0; |
| 105 | } |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 106 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 107 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 108 | } |
| 109 | } |
| 110 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 111 | static inline psa_key_usage_t mbedtls_psa_translate_cipher_operation( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 112 | mbedtls_operation_t op) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 113 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 114 | switch (op) { |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 115 | case MBEDTLS_ENCRYPT: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 116 | return PSA_KEY_USAGE_ENCRYPT; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 117 | case MBEDTLS_DECRYPT: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 118 | return PSA_KEY_USAGE_DECRYPT; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 119 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 120 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 121 | } |
| 122 | } |
| 123 | |
| 124 | /* Translations for hashing. */ |
| 125 | |
Manuel Pégourié-Gonnard | abac037 | 2022-07-18 13:41:11 +0200 | [diff] [blame] | 126 | /* Note: this function should not be used from inside the library, use |
| 127 | * mbedtls_hash_info_psa_from_md() from the internal hash_info.h instead. |
| 128 | * It is kept only for compatibility in case applications were using it. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 129 | static inline psa_algorithm_t mbedtls_psa_translate_md(mbedtls_md_type_t md_alg) |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 130 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 131 | switch (md_alg) { |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 132 | #if defined(MBEDTLS_MD5_C) || defined(PSA_WANT_ALG_MD5) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 133 | case MBEDTLS_MD_MD5: |
| 134 | return PSA_ALG_MD5; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 135 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 136 | #if defined(MBEDTLS_SHA1_C) || defined(PSA_WANT_ALG_SHA_1) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 137 | case MBEDTLS_MD_SHA1: |
| 138 | return PSA_ALG_SHA_1; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 139 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 140 | #if defined(MBEDTLS_SHA224_C) || defined(PSA_WANT_ALG_SHA_224) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 141 | case MBEDTLS_MD_SHA224: |
| 142 | return PSA_ALG_SHA_224; |
Mateusz Starzyk | e3c48b4 | 2021-04-19 16:46:28 +0200 | [diff] [blame] | 143 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 144 | #if defined(MBEDTLS_SHA256_C) || defined(PSA_WANT_ALG_SHA_256) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 145 | case MBEDTLS_MD_SHA256: |
| 146 | return PSA_ALG_SHA_256; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 147 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 148 | #if defined(MBEDTLS_SHA384_C) || defined(PSA_WANT_ALG_SHA_384) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 149 | case MBEDTLS_MD_SHA384: |
| 150 | return PSA_ALG_SHA_384; |
Mateusz Starzyk | 3352a53 | 2021-04-06 14:28:22 +0200 | [diff] [blame] | 151 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 152 | #if defined(MBEDTLS_SHA512_C) || defined(PSA_WANT_ALG_SHA_512) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 153 | case MBEDTLS_MD_SHA512: |
| 154 | return PSA_ALG_SHA_512; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 155 | #endif |
Manuel Pégourié-Gonnard | bab73ab | 2022-07-08 09:53:17 +0200 | [diff] [blame] | 156 | #if defined(MBEDTLS_RIPEMD160_C) || defined(PSA_WANT_ALG_RIPEMD160) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 157 | case MBEDTLS_MD_RIPEMD160: |
| 158 | return PSA_ALG_RIPEMD160; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 159 | #endif |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 160 | case MBEDTLS_MD_NONE: |
| 161 | return 0; |
| 162 | default: |
| 163 | return 0; |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 164 | } |
| 165 | } |
| 166 | |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 167 | /* Translations for ECC. */ |
| 168 | |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 169 | static inline int mbedtls_psa_get_ecc_oid_from_id( |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 170 | psa_ecc_family_t curve, size_t bits, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 171 | char const **oid, size_t *oid_len) |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 172 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 173 | switch (curve) { |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 174 | case PSA_ECC_FAMILY_SECP_R1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 175 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 176 | #if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 177 | case 192: |
| 178 | *oid = MBEDTLS_OID_EC_GRP_SECP192R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 179 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192R1); |
| 180 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 181 | #endif /* MBEDTLS_ECP_DP_SECP192R1_ENABLED */ |
| 182 | #if defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 183 | case 224: |
| 184 | *oid = MBEDTLS_OID_EC_GRP_SECP224R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 185 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224R1); |
| 186 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 187 | #endif /* MBEDTLS_ECP_DP_SECP224R1_ENABLED */ |
| 188 | #if defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 189 | case 256: |
| 190 | *oid = MBEDTLS_OID_EC_GRP_SECP256R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 191 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256R1); |
| 192 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 193 | #endif /* MBEDTLS_ECP_DP_SECP256R1_ENABLED */ |
| 194 | #if defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 195 | case 384: |
| 196 | *oid = MBEDTLS_OID_EC_GRP_SECP384R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 197 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP384R1); |
| 198 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 199 | #endif /* MBEDTLS_ECP_DP_SECP384R1_ENABLED */ |
| 200 | #if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 201 | case 521: |
| 202 | *oid = MBEDTLS_OID_EC_GRP_SECP521R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 203 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP521R1); |
| 204 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 205 | #endif /* MBEDTLS_ECP_DP_SECP521R1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 206 | } |
| 207 | break; |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 208 | case PSA_ECC_FAMILY_SECP_K1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 209 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 210 | #if defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 211 | case 192: |
| 212 | *oid = MBEDTLS_OID_EC_GRP_SECP192K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 213 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192K1); |
| 214 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 215 | #endif /* MBEDTLS_ECP_DP_SECP192K1_ENABLED */ |
| 216 | #if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 217 | case 224: |
| 218 | *oid = MBEDTLS_OID_EC_GRP_SECP224K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 219 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224K1); |
| 220 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 221 | #endif /* MBEDTLS_ECP_DP_SECP224K1_ENABLED */ |
| 222 | #if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 223 | case 256: |
| 224 | *oid = MBEDTLS_OID_EC_GRP_SECP256K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 225 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256K1); |
| 226 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 227 | #endif /* MBEDTLS_ECP_DP_SECP256K1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 228 | } |
| 229 | break; |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 230 | case PSA_ECC_FAMILY_BRAINPOOL_P_R1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 231 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 232 | #if defined(MBEDTLS_ECP_DP_BP256R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 233 | case 256: |
| 234 | *oid = MBEDTLS_OID_EC_GRP_BP256R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 235 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP256R1); |
| 236 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 237 | #endif /* MBEDTLS_ECP_DP_BP256R1_ENABLED */ |
| 238 | #if defined(MBEDTLS_ECP_DP_BP384R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 239 | case 384: |
| 240 | *oid = MBEDTLS_OID_EC_GRP_BP384R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 241 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP384R1); |
| 242 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 243 | #endif /* MBEDTLS_ECP_DP_BP384R1_ENABLED */ |
| 244 | #if defined(MBEDTLS_ECP_DP_BP512R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 245 | case 512: |
| 246 | *oid = MBEDTLS_OID_EC_GRP_BP512R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 247 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP512R1); |
| 248 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 249 | #endif /* MBEDTLS_ECP_DP_BP512R1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 250 | } |
| 251 | break; |
valerio | 64e0184 | 2023-05-31 12:02:43 +0200 | [diff] [blame] | 252 | case PSA_ECC_FAMILY_MONTGOMERY: |
| 253 | switch (bits) { |
| 254 | #if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) |
| 255 | case 255: |
| 256 | *oid = MBEDTLS_OID_X25519; |
| 257 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X25519); |
| 258 | return 0; |
| 259 | #endif /* MBEDTLS_ECP_DP_CURVE25519_ENABLED */ |
| 260 | #if defined(MBEDTLS_ECP_DP_CURVE448_ENABLED) |
| 261 | case 448: |
| 262 | *oid = MBEDTLS_OID_X448; |
| 263 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X448); |
| 264 | return 0; |
| 265 | #endif /* MBEDTLS_ECP_DP_CURVE448_ENABLED */ |
| 266 | } |
| 267 | break; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 268 | } |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 269 | (void) oid; |
| 270 | (void) oid_len; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 271 | return -1; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 272 | } |
| 273 | |
Manuel Pégourié-Gonnard | 5975376 | 2022-01-18 11:52:11 +0100 | [diff] [blame] | 274 | #define MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH \ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 275 | PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) |
Hanno Becker | df51dbe | 2019-02-18 16:41:55 +0000 | [diff] [blame] | 276 | |
Valerio Setti | 1337a4f | 2023-01-30 15:54:55 +0100 | [diff] [blame] | 277 | #define MBEDTLS_PSA_MAX_EC_KEY_PAIR_LENGTH \ |
| 278 | PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) |
| 279 | |
Przemek Stekiel | cceb933 | 2023-05-18 14:31:10 +0200 | [diff] [blame^] | 280 | #define MBEDTLS_PSA_MAX_FFDH_PUBKEY_LENGTH \ |
| 281 | PSA_KEY_EXPORT_FFDH_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS) |
| 282 | |
| 283 | static inline psa_key_type_t mbedtls_psa_parse_tls_ffdh_group( |
| 284 | uint16_t tls_ecc_grp_reg_id, size_t *bits) |
| 285 | { |
| 286 | switch (tls_ecc_grp_reg_id) { |
| 287 | case MBEDTLS_SSL_IANA_TLS_GROUP_FFDHE2048: |
| 288 | *bits = 2048; |
| 289 | return PSA_KEY_TYPE_DH_KEY_PAIR(PSA_DH_FAMILY_RFC7919); |
| 290 | case MBEDTLS_SSL_IANA_TLS_GROUP_FFDHE3072: |
| 291 | *bits = 3072; |
| 292 | return PSA_KEY_TYPE_DH_KEY_PAIR(PSA_DH_FAMILY_RFC7919); |
| 293 | case MBEDTLS_SSL_IANA_TLS_GROUP_FFDHE4096: |
| 294 | *bits = 4096; |
| 295 | return PSA_KEY_TYPE_DH_KEY_PAIR(PSA_DH_FAMILY_RFC7919); |
| 296 | case MBEDTLS_SSL_IANA_TLS_GROUP_FFDHE6144: |
| 297 | *bits = 6144; |
| 298 | return PSA_KEY_TYPE_DH_KEY_PAIR(PSA_DH_FAMILY_RFC7919); |
| 299 | case MBEDTLS_SSL_IANA_TLS_GROUP_FFDHE8192: |
| 300 | *bits = 8192; |
| 301 | return PSA_KEY_TYPE_DH_KEY_PAIR(PSA_DH_FAMILY_RFC7919); |
| 302 | default: |
| 303 | return 0; |
| 304 | } |
| 305 | } |
| 306 | |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 307 | /* Expose whatever RNG the PSA subsystem uses to applications using the |
Gilles Peskine | 996f216 | 2021-02-16 16:50:00 +0100 | [diff] [blame] | 308 | * mbedtls_xxx API. The declarations and definitions here need to be |
| 309 | * consistent with the implementation in library/psa_crypto_random_impl.h. |
| 310 | * See that file for implementation documentation. */ |
Jerry Yu | 406cf27 | 2022-03-22 11:33:42 +0800 | [diff] [blame] | 311 | |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 312 | |
| 313 | /* The type of a `f_rng` random generator function that many library functions |
| 314 | * take. |
| 315 | * |
| 316 | * This type name is not part of the Mbed TLS stable API. It may be renamed |
| 317 | * or moved without warning. |
| 318 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 319 | typedef int mbedtls_f_rng_t(void *p_rng, unsigned char *output, size_t output_size); |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 320 | |
| 321 | #if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) |
| 322 | |
| 323 | /** The random generator function for the PSA subsystem. |
| 324 | * |
| 325 | * This function is suitable as the `f_rng` random generator function |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 326 | * parameter of many `mbedtls_xxx` functions. Use #MBEDTLS_PSA_RANDOM_STATE |
| 327 | * to obtain the \p p_rng parameter. |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 328 | * |
| 329 | * The implementation of this function depends on the configuration of the |
| 330 | * library. |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 331 | * |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 332 | * \note Depending on the configuration, this may be a function or |
| 333 | * a pointer to a function. |
| 334 | * |
| 335 | * \note This function may only be used if the PSA crypto subsystem is active. |
| 336 | * This means that you must call psa_crypto_init() before any call to |
| 337 | * this function, and you must not call this function after calling |
| 338 | * mbedtls_psa_crypto_free(). |
| 339 | * |
| 340 | * \param p_rng The random generator context. This must be |
| 341 | * #MBEDTLS_PSA_RANDOM_STATE. No other state is |
| 342 | * supported. |
| 343 | * \param output The buffer to fill. It must have room for |
| 344 | * \c output_size bytes. |
| 345 | * \param output_size The number of bytes to write to \p output. |
| 346 | * This function may fail if \p output_size is too |
| 347 | * large. It is guaranteed to accept any output size |
| 348 | * requested by Mbed TLS library functions. The |
| 349 | * maximum request size depends on the library |
| 350 | * configuration. |
| 351 | * |
| 352 | * \return \c 0 on success. |
| 353 | * \return An `MBEDTLS_ERR_ENTROPY_xxx`, |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 354 | * `MBEDTLS_ERR_PLATFORM_xxx, |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 355 | * `MBEDTLS_ERR_CTR_DRBG_xxx` or |
| 356 | * `MBEDTLS_ERR_HMAC_DRBG_xxx` on error. |
| 357 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 358 | int mbedtls_psa_get_random(void *p_rng, |
| 359 | unsigned char *output, |
| 360 | size_t output_size); |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 361 | |
| 362 | /** The random generator state for the PSA subsystem. |
| 363 | * |
| 364 | * This macro expands to an expression which is suitable as the `p_rng` |
| 365 | * random generator state parameter of many `mbedtls_xxx` functions. |
| 366 | * It must be used in combination with the random generator function |
| 367 | * mbedtls_psa_get_random(). |
| 368 | * |
| 369 | * The implementation of this macro depends on the configuration of the |
| 370 | * library. Do not make any assumption on its nature. |
| 371 | */ |
| 372 | #define MBEDTLS_PSA_RANDOM_STATE NULL |
| 373 | |
| 374 | #else /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ |
| 375 | |
| 376 | #if defined(MBEDTLS_CTR_DRBG_C) |
| 377 | #include "mbedtls/ctr_drbg.h" |
| 378 | typedef mbedtls_ctr_drbg_context mbedtls_psa_drbg_context_t; |
| 379 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_ctr_drbg_random; |
| 380 | #elif defined(MBEDTLS_HMAC_DRBG_C) |
| 381 | #include "mbedtls/hmac_drbg.h" |
| 382 | typedef mbedtls_hmac_drbg_context mbedtls_psa_drbg_context_t; |
| 383 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_hmac_drbg_random; |
| 384 | #endif |
| 385 | extern mbedtls_psa_drbg_context_t *const mbedtls_psa_random_state; |
| 386 | |
| 387 | #define MBEDTLS_PSA_RANDOM_STATE mbedtls_psa_random_state |
| 388 | |
| 389 | #endif /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ |
| 390 | |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 391 | typedef struct { |
Gilles Peskine | b567f83 | 2023-05-02 21:38:11 +0200 | [diff] [blame] | 392 | /* Error codes used by PSA crypto are in -255..-128, fitting in 16 bits. */ |
| 393 | int16_t psa_status; |
| 394 | /* Error codes used by Mbed TLS are in one of the ranges |
Gilles Peskine | 4837e9d | 2023-05-07 20:27:13 +0200 | [diff] [blame] | 395 | * -127..-1 (low-level) or -32767..-4096 (high-level with a low-level |
| 396 | * code optionally added), fitting in 16 bits. */ |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 397 | int16_t mbedtls_error; |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 398 | } mbedtls_error_pair_t; |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 399 | |
Andrzej Kurek | daf5b56 | 2023-03-03 05:52:28 -0500 | [diff] [blame] | 400 | #if !defined(MBEDTLS_MD_C) || !defined(MBEDTLS_MD5_C) || defined(MBEDTLS_USE_PSA_CRYPTO) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 401 | extern const mbedtls_error_pair_t psa_to_md_errors[4]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 402 | #endif |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 403 | |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 404 | #if defined(MBEDTLS_LMS_C) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 405 | extern const mbedtls_error_pair_t psa_to_lms_errors[3]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 406 | #endif |
| 407 | |
| 408 | #if defined(MBEDTLS_USE_PSA_CRYPTO) || defined(MBEDTLS_SSL_PROTO_TLS1_3) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 409 | extern const mbedtls_error_pair_t psa_to_ssl_errors[7]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 410 | #endif |
| 411 | |
| 412 | #if defined(PSA_WANT_KEY_TYPE_RSA_PUBLIC_KEY) || \ |
| 413 | defined(PSA_WANT_KEY_TYPE_RSA_KEY_PAIR) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 414 | extern const mbedtls_error_pair_t psa_to_pk_rsa_errors[8]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 415 | #endif |
| 416 | |
| 417 | #if defined(MBEDTLS_USE_PSA_CRYPTO) && \ |
| 418 | defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 419 | extern const mbedtls_error_pair_t psa_to_pk_ecdsa_errors[7]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 420 | #endif |
| 421 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 422 | /* Generic fallback function for error translation, |
| 423 | * when the received state was not module-specific. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 424 | int psa_generic_status_to_mbedtls(psa_status_t status); |
| 425 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 426 | /* This function iterates over provided local error translations, |
| 427 | * and if no match was found - calls the fallback error translation function. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 428 | int psa_status_to_mbedtls(psa_status_t status, |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 429 | const mbedtls_error_pair_t *local_translations, |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 430 | size_t local_errors_num, |
| 431 | int (*fallback_f)(psa_status_t)); |
| 432 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 433 | /* The second out of three-stage error handling functions of the pk module, |
| 434 | * acts as a fallback after RSA / ECDSA error translation, and if no match |
| 435 | * is found, it itself calls psa_generic_status_to_mbedtls. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 436 | int psa_pk_status_to_mbedtls(psa_status_t status); |
| 437 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 438 | /* Utility macro to shorten the defines of error translator in modules. */ |
Valerio Setti | ab9dc66 | 2023-03-27 14:02:08 +0200 | [diff] [blame] | 439 | #define PSA_TO_MBEDTLS_ERR_LIST(status, error_list, fallback_f) \ |
| 440 | psa_status_to_mbedtls(status, error_list, \ |
| 441 | sizeof(error_list)/sizeof(error_list[0]), \ |
| 442 | fallback_f) |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 443 | |
| 444 | #endif /* MBEDTLS_PSA_CRYPTO_C */ |
Hanno Becker | 186b65a | 2018-11-19 15:14:21 +0000 | [diff] [blame] | 445 | #endif /* MBEDTLS_PSA_UTIL_H */ |