| 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 |  | 
| Manuel Pégourié-Gonnard | 1c32e37 | 2023-03-28 11:57:09 +0200 | [diff] [blame] | 32 | #include "mbedtls/platform_util.h" | 
|  | 33 |  | 
| Jerry Yu | b02ee18 | 2022-03-16 10:30:41 +0800 | [diff] [blame] | 34 | #if defined(MBEDTLS_PSA_CRYPTO_C) | 
| Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 35 |  | 
|  | 36 | #include "psa/crypto.h" | 
|  | 37 |  | 
| Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 38 | #include "mbedtls/ecp.h" | 
|  | 39 | #include "mbedtls/md.h" | 
|  | 40 | #include "mbedtls/pk.h" | 
|  | 41 | #include "mbedtls/oid.h" | 
| TRodziewicz | 3408d60 | 2021-04-21 13:25:25 +0200 | [diff] [blame] | 42 | #include "mbedtls/error.h" | 
| Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 43 |  | 
| Hanno Becker | f75f912 | 2019-01-07 15:36:51 +0000 | [diff] [blame] | 44 | #include <string.h> | 
|  | 45 |  | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 46 | /* Translations for symmetric crypto. */ | 
|  | 47 |  | 
| Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 48 | static inline psa_key_type_t mbedtls_psa_translate_cipher_type( | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 49 | mbedtls_cipher_type_t cipher) | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 50 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 51 | switch (cipher) { | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 52 | case MBEDTLS_CIPHER_AES_128_CCM: | 
|  | 53 | case MBEDTLS_CIPHER_AES_192_CCM: | 
|  | 54 | case MBEDTLS_CIPHER_AES_256_CCM: | 
| Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 55 | case MBEDTLS_CIPHER_AES_128_CCM_STAR_NO_TAG: | 
|  | 56 | case MBEDTLS_CIPHER_AES_192_CCM_STAR_NO_TAG: | 
|  | 57 | case MBEDTLS_CIPHER_AES_256_CCM_STAR_NO_TAG: | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 58 | case MBEDTLS_CIPHER_AES_128_GCM: | 
|  | 59 | case MBEDTLS_CIPHER_AES_192_GCM: | 
|  | 60 | case MBEDTLS_CIPHER_AES_256_GCM: | 
|  | 61 | case MBEDTLS_CIPHER_AES_128_CBC: | 
|  | 62 | case MBEDTLS_CIPHER_AES_192_CBC: | 
|  | 63 | case MBEDTLS_CIPHER_AES_256_CBC: | 
| Przemyslaw Stekiel | 80c6a8e | 2021-09-29 12:13:11 +0200 | [diff] [blame] | 64 | case MBEDTLS_CIPHER_AES_128_ECB: | 
| Przemyslaw Stekiel | 86de1b7 | 2021-09-29 19:43:40 +0200 | [diff] [blame] | 65 | case MBEDTLS_CIPHER_AES_192_ECB: | 
|  | 66 | case MBEDTLS_CIPHER_AES_256_ECB: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 67 | return PSA_KEY_TYPE_AES; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 68 |  | 
|  | 69 | /* ARIA not yet supported in PSA. */ | 
|  | 70 | /* case MBEDTLS_CIPHER_ARIA_128_CCM: | 
|  | 71 | case MBEDTLS_CIPHER_ARIA_192_CCM: | 
|  | 72 | case MBEDTLS_CIPHER_ARIA_256_CCM: | 
| Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 73 | case MBEDTLS_CIPHER_ARIA_128_CCM_STAR_NO_TAG: | 
|  | 74 | case MBEDTLS_CIPHER_ARIA_192_CCM_STAR_NO_TAG: | 
|  | 75 | case MBEDTLS_CIPHER_ARIA_256_CCM_STAR_NO_TAG: | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 76 | case MBEDTLS_CIPHER_ARIA_128_GCM: | 
|  | 77 | case MBEDTLS_CIPHER_ARIA_192_GCM: | 
|  | 78 | case MBEDTLS_CIPHER_ARIA_256_GCM: | 
|  | 79 | case MBEDTLS_CIPHER_ARIA_128_CBC: | 
|  | 80 | case MBEDTLS_CIPHER_ARIA_192_CBC: | 
|  | 81 | case MBEDTLS_CIPHER_ARIA_256_CBC: | 
|  | 82 | return( PSA_KEY_TYPE_ARIA ); */ | 
|  | 83 |  | 
|  | 84 | default: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 85 | return 0; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 86 | } | 
|  | 87 | } | 
|  | 88 |  | 
| Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 89 | static inline psa_algorithm_t mbedtls_psa_translate_cipher_mode( | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 90 | mbedtls_cipher_mode_t mode, size_t taglen) | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 91 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 92 | switch (mode) { | 
| Steven Cooreman | ed3c9ec | 2020-07-06 14:08:59 +0200 | [diff] [blame] | 93 | case MBEDTLS_MODE_ECB: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 94 | return PSA_ALG_ECB_NO_PADDING; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 95 | case MBEDTLS_MODE_GCM: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 96 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, taglen); | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 97 | case MBEDTLS_MODE_CCM: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, taglen); | 
| Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 99 | case MBEDTLS_MODE_CCM_STAR_NO_TAG: | 
|  | 100 | return PSA_ALG_CCM_STAR_NO_TAG; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 101 | case MBEDTLS_MODE_CBC: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 102 | if (taglen == 0) { | 
|  | 103 | return PSA_ALG_CBC_NO_PADDING; | 
|  | 104 | } else { | 
|  | 105 | return 0; | 
|  | 106 | } | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 107 | default: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 108 | return 0; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 109 | } | 
|  | 110 | } | 
|  | 111 |  | 
| Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 112 | static inline psa_key_usage_t mbedtls_psa_translate_cipher_operation( | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 113 | mbedtls_operation_t op) | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 114 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 115 | switch (op) { | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 116 | case MBEDTLS_ENCRYPT: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 117 | return PSA_KEY_USAGE_ENCRYPT; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 118 | case MBEDTLS_DECRYPT: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 119 | return PSA_KEY_USAGE_DECRYPT; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 120 | default: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 121 | return 0; | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 122 | } | 
|  | 123 | } | 
|  | 124 |  | 
| Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 125 | /* Translations for ECC. */ | 
|  | 126 |  | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 127 | static inline int mbedtls_psa_get_ecc_oid_from_id( | 
| Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 128 | psa_ecc_family_t curve, size_t bits, | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 129 | char const **oid, size_t *oid_len) | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 130 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 131 | switch (curve) { | 
| Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 132 | case PSA_ECC_FAMILY_SECP_R1: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 133 | switch (bits) { | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 134 | #if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 135 | case 192: | 
|  | 136 | *oid = MBEDTLS_OID_EC_GRP_SECP192R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 137 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192R1); | 
|  | 138 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 139 | #endif /* MBEDTLS_ECP_DP_SECP192R1_ENABLED */ | 
|  | 140 | #if defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 141 | case 224: | 
|  | 142 | *oid = MBEDTLS_OID_EC_GRP_SECP224R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 143 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224R1); | 
|  | 144 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 145 | #endif /* MBEDTLS_ECP_DP_SECP224R1_ENABLED */ | 
|  | 146 | #if defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 147 | case 256: | 
|  | 148 | *oid = MBEDTLS_OID_EC_GRP_SECP256R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 149 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256R1); | 
|  | 150 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 151 | #endif /* MBEDTLS_ECP_DP_SECP256R1_ENABLED */ | 
|  | 152 | #if defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 153 | case 384: | 
|  | 154 | *oid = MBEDTLS_OID_EC_GRP_SECP384R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 155 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP384R1); | 
|  | 156 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 157 | #endif /* MBEDTLS_ECP_DP_SECP384R1_ENABLED */ | 
|  | 158 | #if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 159 | case 521: | 
|  | 160 | *oid = MBEDTLS_OID_EC_GRP_SECP521R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 161 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP521R1); | 
|  | 162 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 163 | #endif /* MBEDTLS_ECP_DP_SECP521R1_ENABLED */ | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 164 | } | 
|  | 165 | break; | 
| Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 166 | case PSA_ECC_FAMILY_SECP_K1: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 167 | switch (bits) { | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 168 | #if defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 169 | case 192: | 
|  | 170 | *oid = MBEDTLS_OID_EC_GRP_SECP192K1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 171 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192K1); | 
|  | 172 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 173 | #endif /* MBEDTLS_ECP_DP_SECP192K1_ENABLED */ | 
|  | 174 | #if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 175 | case 224: | 
|  | 176 | *oid = MBEDTLS_OID_EC_GRP_SECP224K1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 177 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224K1); | 
|  | 178 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 179 | #endif /* MBEDTLS_ECP_DP_SECP224K1_ENABLED */ | 
|  | 180 | #if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 181 | case 256: | 
|  | 182 | *oid = MBEDTLS_OID_EC_GRP_SECP256K1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 183 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256K1); | 
|  | 184 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 185 | #endif /* MBEDTLS_ECP_DP_SECP256K1_ENABLED */ | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 186 | } | 
|  | 187 | break; | 
| Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 188 | case PSA_ECC_FAMILY_BRAINPOOL_P_R1: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 189 | switch (bits) { | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 190 | #if defined(MBEDTLS_ECP_DP_BP256R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 191 | case 256: | 
|  | 192 | *oid = MBEDTLS_OID_EC_GRP_BP256R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 193 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP256R1); | 
|  | 194 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 195 | #endif /* MBEDTLS_ECP_DP_BP256R1_ENABLED */ | 
|  | 196 | #if defined(MBEDTLS_ECP_DP_BP384R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 197 | case 384: | 
|  | 198 | *oid = MBEDTLS_OID_EC_GRP_BP384R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 199 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP384R1); | 
|  | 200 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 201 | #endif /* MBEDTLS_ECP_DP_BP384R1_ENABLED */ | 
|  | 202 | #if defined(MBEDTLS_ECP_DP_BP512R1_ENABLED) | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 203 | case 512: | 
|  | 204 | *oid = MBEDTLS_OID_EC_GRP_BP512R1; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 205 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP512R1); | 
|  | 206 | return 0; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 207 | #endif /* MBEDTLS_ECP_DP_BP512R1_ENABLED */ | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 208 | } | 
|  | 209 | break; | 
| valerio | 64e0184 | 2023-05-31 12:02:43 +0200 | [diff] [blame] | 210 | case PSA_ECC_FAMILY_MONTGOMERY: | 
|  | 211 | switch (bits) { | 
|  | 212 | #if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) | 
|  | 213 | case 255: | 
|  | 214 | *oid = MBEDTLS_OID_X25519; | 
|  | 215 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X25519); | 
|  | 216 | return 0; | 
|  | 217 | #endif /* MBEDTLS_ECP_DP_CURVE25519_ENABLED */ | 
|  | 218 | #if defined(MBEDTLS_ECP_DP_CURVE448_ENABLED) | 
|  | 219 | case 448: | 
|  | 220 | *oid = MBEDTLS_OID_X448; | 
|  | 221 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X448); | 
|  | 222 | return 0; | 
|  | 223 | #endif /* MBEDTLS_ECP_DP_CURVE448_ENABLED */ | 
|  | 224 | } | 
|  | 225 | break; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 226 | } | 
| Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 227 | (void) oid; | 
|  | 228 | (void) oid_len; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 229 | return -1; | 
| Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 230 | } | 
|  | 231 |  | 
| Manuel Pégourié-Gonnard | 5975376 | 2022-01-18 11:52:11 +0100 | [diff] [blame] | 232 | #define MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH \ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 233 | 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] | 234 |  | 
| Valerio Setti | 1337a4f | 2023-01-30 15:54:55 +0100 | [diff] [blame] | 235 | #define MBEDTLS_PSA_MAX_EC_KEY_PAIR_LENGTH \ | 
|  | 236 | PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) | 
|  | 237 |  | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 238 | /* Expose whatever RNG the PSA subsystem uses to applications using the | 
| Gilles Peskine | 996f216 | 2021-02-16 16:50:00 +0100 | [diff] [blame] | 239 | * mbedtls_xxx API. The declarations and definitions here need to be | 
|  | 240 | * consistent with the implementation in library/psa_crypto_random_impl.h. | 
|  | 241 | * See that file for implementation documentation. */ | 
| Jerry Yu | 406cf27 | 2022-03-22 11:33:42 +0800 | [diff] [blame] | 242 |  | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 243 |  | 
|  | 244 | /* The type of a `f_rng` random generator function that many library functions | 
|  | 245 | * take. | 
|  | 246 | * | 
|  | 247 | * This type name is not part of the Mbed TLS stable API. It may be renamed | 
|  | 248 | * or moved without warning. | 
|  | 249 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 250 | 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] | 251 |  | 
|  | 252 | #if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) | 
|  | 253 |  | 
|  | 254 | /** The random generator function for the PSA subsystem. | 
|  | 255 | * | 
|  | 256 | * This function is suitable as the `f_rng` random generator function | 
| Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 257 | * parameter of many `mbedtls_xxx` functions. Use #MBEDTLS_PSA_RANDOM_STATE | 
|  | 258 | * to obtain the \p p_rng parameter. | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 259 | * | 
|  | 260 | * The implementation of this function depends on the configuration of the | 
|  | 261 | * library. | 
| Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 262 | * | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 263 | * \note Depending on the configuration, this may be a function or | 
|  | 264 | *       a pointer to a function. | 
|  | 265 | * | 
|  | 266 | * \note This function may only be used if the PSA crypto subsystem is active. | 
|  | 267 | *       This means that you must call psa_crypto_init() before any call to | 
|  | 268 | *       this function, and you must not call this function after calling | 
|  | 269 | *       mbedtls_psa_crypto_free(). | 
|  | 270 | * | 
|  | 271 | * \param p_rng         The random generator context. This must be | 
|  | 272 | *                      #MBEDTLS_PSA_RANDOM_STATE. No other state is | 
|  | 273 | *                      supported. | 
|  | 274 | * \param output        The buffer to fill. It must have room for | 
|  | 275 | *                      \c output_size bytes. | 
|  | 276 | * \param output_size   The number of bytes to write to \p output. | 
|  | 277 | *                      This function may fail if \p output_size is too | 
|  | 278 | *                      large. It is guaranteed to accept any output size | 
|  | 279 | *                      requested by Mbed TLS library functions. The | 
|  | 280 | *                      maximum request size depends on the library | 
|  | 281 | *                      configuration. | 
|  | 282 | * | 
|  | 283 | * \return              \c 0 on success. | 
|  | 284 | * \return              An `MBEDTLS_ERR_ENTROPY_xxx`, | 
| Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 285 | *                      `MBEDTLS_ERR_PLATFORM_xxx, | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 286 | *                      `MBEDTLS_ERR_CTR_DRBG_xxx` or | 
|  | 287 | *                      `MBEDTLS_ERR_HMAC_DRBG_xxx` on error. | 
|  | 288 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 289 | int mbedtls_psa_get_random(void *p_rng, | 
|  | 290 | unsigned char *output, | 
|  | 291 | size_t output_size); | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 292 |  | 
|  | 293 | /** The random generator state for the PSA subsystem. | 
|  | 294 | * | 
|  | 295 | * This macro expands to an expression which is suitable as the `p_rng` | 
|  | 296 | * random generator state parameter of many `mbedtls_xxx` functions. | 
|  | 297 | * It must be used in combination with the random generator function | 
|  | 298 | * mbedtls_psa_get_random(). | 
|  | 299 | * | 
|  | 300 | * The implementation of this macro depends on the configuration of the | 
|  | 301 | * library. Do not make any assumption on its nature. | 
|  | 302 | */ | 
|  | 303 | #define MBEDTLS_PSA_RANDOM_STATE NULL | 
|  | 304 |  | 
|  | 305 | #else /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ | 
|  | 306 |  | 
|  | 307 | #if defined(MBEDTLS_CTR_DRBG_C) | 
|  | 308 | #include "mbedtls/ctr_drbg.h" | 
|  | 309 | typedef mbedtls_ctr_drbg_context mbedtls_psa_drbg_context_t; | 
|  | 310 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_ctr_drbg_random; | 
|  | 311 | #elif defined(MBEDTLS_HMAC_DRBG_C) | 
|  | 312 | #include "mbedtls/hmac_drbg.h" | 
|  | 313 | typedef mbedtls_hmac_drbg_context mbedtls_psa_drbg_context_t; | 
|  | 314 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_hmac_drbg_random; | 
|  | 315 | #endif | 
|  | 316 | extern mbedtls_psa_drbg_context_t *const mbedtls_psa_random_state; | 
|  | 317 |  | 
|  | 318 | #define MBEDTLS_PSA_RANDOM_STATE mbedtls_psa_random_state | 
|  | 319 |  | 
|  | 320 | #endif /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ | 
|  | 321 |  | 
| Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 322 | typedef struct { | 
| Gilles Peskine | b567f83 | 2023-05-02 21:38:11 +0200 | [diff] [blame] | 323 | /* Error codes used by PSA crypto are in -255..-128, fitting in 16 bits. */ | 
|  | 324 | int16_t psa_status; | 
|  | 325 | /* Error codes used by Mbed TLS are in one of the ranges | 
| Gilles Peskine | 4837e9d | 2023-05-07 20:27:13 +0200 | [diff] [blame] | 326 | * -127..-1 (low-level) or -32767..-4096 (high-level with a low-level | 
|  | 327 | * code optionally added), fitting in 16 bits. */ | 
| Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 328 | int16_t mbedtls_error; | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 329 | } mbedtls_error_pair_t; | 
| Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 330 |  | 
| Manuel Pégourié-Gonnard | 725d2e2 | 2023-03-29 12:38:37 +0200 | [diff] [blame] | 331 | #if defined(MBEDTLS_MD_LIGHT) | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 332 | extern const mbedtls_error_pair_t psa_to_md_errors[4]; | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 333 | #endif | 
| Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 334 |  | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 335 | #if defined(MBEDTLS_LMS_C) | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 336 | extern const mbedtls_error_pair_t psa_to_lms_errors[3]; | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 337 | #endif | 
|  | 338 |  | 
|  | 339 | #if defined(MBEDTLS_USE_PSA_CRYPTO) || defined(MBEDTLS_SSL_PROTO_TLS1_3) | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 340 | extern const mbedtls_error_pair_t psa_to_ssl_errors[7]; | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 341 | #endif | 
|  | 342 |  | 
|  | 343 | #if defined(PSA_WANT_KEY_TYPE_RSA_PUBLIC_KEY) ||    \ | 
| Valerio Setti | 8bb5763 | 2023-05-26 13:48:07 +0200 | [diff] [blame] | 344 | defined(MBEDTLS_PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_LEGACY) | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 345 | extern const mbedtls_error_pair_t psa_to_pk_rsa_errors[8]; | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 346 | #endif | 
|  | 347 |  | 
|  | 348 | #if defined(MBEDTLS_USE_PSA_CRYPTO) && \ | 
|  | 349 | defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 350 | extern const mbedtls_error_pair_t psa_to_pk_ecdsa_errors[7]; | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 351 | #endif | 
|  | 352 |  | 
| Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 353 | /* Generic fallback function for error translation, | 
|  | 354 | * when the received state was not module-specific. */ | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 355 | int psa_generic_status_to_mbedtls(psa_status_t status); | 
|  | 356 |  | 
| Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 357 | /* This function iterates over provided local error translations, | 
|  | 358 | * and if no match was found - calls the fallback error translation function. */ | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 359 | int psa_status_to_mbedtls(psa_status_t status, | 
| Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 360 | const mbedtls_error_pair_t *local_translations, | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 361 | size_t local_errors_num, | 
|  | 362 | int (*fallback_f)(psa_status_t)); | 
|  | 363 |  | 
| Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 364 | /* The second out of three-stage error handling functions of the pk module, | 
|  | 365 | * acts as a fallback after RSA / ECDSA error translation, and if no match | 
|  | 366 | * is found, it itself calls psa_generic_status_to_mbedtls. */ | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 367 | int psa_pk_status_to_mbedtls(psa_status_t status); | 
|  | 368 |  | 
| Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 369 | /* Utility macro to shorten the defines of error translator in modules. */ | 
| Valerio Setti | ab9dc66 | 2023-03-27 14:02:08 +0200 | [diff] [blame] | 370 | #define PSA_TO_MBEDTLS_ERR_LIST(status, error_list, fallback_f)       \ | 
|  | 371 | psa_status_to_mbedtls(status, error_list,                         \ | 
|  | 372 | sizeof(error_list)/sizeof(error_list[0]),   \ | 
|  | 373 | fallback_f) | 
| Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 374 |  | 
|  | 375 | #endif /* MBEDTLS_PSA_CRYPTO_C */ | 
| Hanno Becker | 186b65a | 2018-11-19 15:14:21 +0000 | [diff] [blame] | 376 | #endif /* MBEDTLS_PSA_UTIL_H */ |