blob: e5c0cd6802b76f22197b7acbd71eb5ca5a321ab2 [file] [log] [blame]
Marko Kiiskilabf943392016-12-29 17:29:48 -08001/*
David Brownaac71112020-02-03 16:13:42 -07002 * SPDX-License-Identifier: Apache-2.0
3 *
4 * Copyright (c) 2016-2019 JUUL Labs
5 * Copyright (c) 2017 Linaro LTD
Roman Okhrimenko977b3752022-03-31 14:40:48 +03006 * Copyright (C) 2021 Arm Limited
David Brownaac71112020-02-03 16:13:42 -07007 *
8 * Original license:
9 *
Marko Kiiskilabf943392016-12-29 17:29:48 -080010 * Licensed to the Apache Software Foundation (ASF) under one
11 * or more contributor license agreements. See the NOTICE file
12 * distributed with this work for additional information
13 * regarding copyright ownership. The ASF licenses this file
14 * to you under the Apache License, Version 2.0 (the
15 * "License"); you may not use this file except in compliance
16 * with the License. You may obtain a copy of the License at
17 *
18 * http://www.apache.org/licenses/LICENSE-2.0
19 *
20 * Unless required by applicable law or agreed to in writing,
21 * software distributed under the License is distributed on an
22 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
23 * KIND, either express or implied. See the License for the
24 * specific language governing permissions and limitations
25 * under the License.
26 */
27
Marko Kiiskila755daed2016-12-30 18:53:13 -080028#include <string.h>
29
Fabio Utzigba1fbe62017-07-21 14:01:20 -030030#include "mcuboot_config/mcuboot_config.h"
Fabio Utzigeed80b62017-06-10 08:03:05 -030031
Fabio Utzig19356bf2017-05-11 16:19:36 -030032#ifdef MCUBOOT_SIGN_EC256
Roman Okhrimenko1dcc73b2020-10-01 19:22:14 +030033/*TODO: remove this after cypress port mbedtls to abstract crypto api */
David Brown641af452021-02-19 12:16:48 -070034#if defined(MCUBOOT_USE_CC310) || defined(MCUBOOT_USE_MBED_TLS)
Sigvart Hovland59f1d292020-10-28 14:40:09 +010035#define NUM_ECC_BYTES (256 / 8)
36#endif
David Brown641af452021-02-19 12:16:48 -070037#if defined(MCUBOOT_USE_TINYCRYPT) || defined(MCUBOOT_USE_CC310) || \
38 defined(MCUBOOT_USE_MBED_TLS)
Marko Kiiskilabf943392016-12-29 17:29:48 -080039#include "bootutil/sign_key.h"
40
41#include "mbedtls/oid.h"
42#include "mbedtls/asn1.h"
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +090043#include "bootutil/crypto/ecdsa_p256.h"
Roman Okhrimenko977b3752022-03-31 14:40:48 +030044#include "bootutil/crypto/common.h"
Marko Kiiskilabf943392016-12-29 17:29:48 -080045#include "bootutil_priv.h"
46
47/*
48 * Declaring these like this adds NULL termination.
49 */
50static const uint8_t ec_pubkey_oid[] = MBEDTLS_OID_EC_ALG_UNRESTRICTED;
51static const uint8_t ec_secp256r1_oid[] = MBEDTLS_OID_EC_GRP_SECP256R1;
52
53/*
54 * Parse the public key used for signing.
55 */
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020056#ifdef CY_MBEDTLS_HW_ACCELERATION
57static int
58bootutil_parse_eckey(mbedtls_ecdsa_context *ctx, uint8_t **p, uint8_t *end)
59{
60 size_t len;
61 mbedtls_asn1_buf alg;
62 mbedtls_asn1_buf param;
63
64 if (mbedtls_asn1_get_tag(p, end, &len,
65 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
66 return -1;
67 }
68 end = *p + len;
69
70 if (mbedtls_asn1_get_alg(p, end, &alg, &param)) {
71 return -2;
72 }
Roman Okhrimenko977b3752022-03-31 14:40:48 +030073 if (alg.MBEDTLS_CONTEXT_MEMBER(len) != sizeof(ec_pubkey_oid) - 1 ||
74 memcmp(alg.MBEDTLS_CONTEXT_MEMBER(p), ec_pubkey_oid, sizeof(ec_pubkey_oid) - 1)) {
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020075 return -3;
76 }
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +030077 if (param.MBEDTLS_CONTEXT_MEMBER(len) != sizeof(ec_secp256r1_oid) - 1 ||
Roman Okhrimenko977b3752022-03-31 14:40:48 +030078 memcmp(param.MBEDTLS_CONTEXT_MEMBER(p), ec_secp256r1_oid, sizeof(ec_secp256r1_oid) - 1)) {
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020079 return -4;
80 }
81
Dovhal Artem (CSUKR CSS ICW SW FW 1)f7a3d1b2022-04-01 15:07:37 +000082 if (mbedtls_ecp_group_load(&ctx->MBEDTLS_CONTEXT_MEMBER(grp), MBEDTLS_ECP_DP_SECP256R1)) {
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020083 return -5;
84 }
85
86 if (mbedtls_asn1_get_bitstring_null(p, end, &len)) {
87 return -6;
88 }
89 if (*p + len != end) {
90 return -7;
91 }
92
Dovhal Artem (CSUKR CSS ICW SW FW 1)f7a3d1b2022-04-01 15:07:37 +000093 if (mbedtls_ecp_point_read_binary(&ctx->MBEDTLS_CONTEXT_MEMBER(grp),
94 &ctx->MBEDTLS_CONTEXT_MEMBER(Q),
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +030095 *p, end - *p)) {
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020096 return -8;
97 }
98
Dovhal Artem (CSUKR CSS ICW SW FW 1)f7a3d1b2022-04-01 15:07:37 +000099 if (mbedtls_ecp_check_pubkey(&ctx->MBEDTLS_CONTEXT_MEMBER(grp),
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300100 &ctx->MBEDTLS_CONTEXT_MEMBER(Q))) {
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200101 return -9;
102 }
103 return 0;
104}
Roman Okhrimenko13f79ed2021-03-11 19:05:41 +0200105#else /* !CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800106static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100107bootutil_import_key(uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800108{
109 size_t len;
110 mbedtls_asn1_buf alg;
111 mbedtls_asn1_buf param;
112
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300113 if (mbedtls_asn1_get_tag(cp, end, &len,
Marko Kiiskilabf943392016-12-29 17:29:48 -0800114 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
115 return -1;
116 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300117 end = *cp + len;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800118
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300119 /* ECParameters (RFC5480) */
120 if (mbedtls_asn1_get_alg(cp, end, &alg, &param)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800121 return -2;
122 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300123 /* id-ecPublicKey (RFC5480) */
Roman Okhrimenko977b3752022-03-31 14:40:48 +0300124 if (alg.MBEDTLS_CONTEXT_MEMBER(len) != sizeof(ec_pubkey_oid) - 1 ||
125 memcmp(alg.MBEDTLS_CONTEXT_MEMBER(p), ec_pubkey_oid, sizeof(ec_pubkey_oid) - 1)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800126 return -3;
127 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300128 /* namedCurve (RFC5480) */
Roman Okhrimenko977b3752022-03-31 14:40:48 +0300129 if (param.MBEDTLS_CONTEXT_MEMBER(len) != sizeof(ec_secp256r1_oid) - 1 ||
130 memcmp(param.MBEDTLS_CONTEXT_MEMBER(p), ec_secp256r1_oid, sizeof(ec_secp256r1_oid) - 1)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800131 return -4;
132 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300133 /* ECPoint (RFC5480) */
134 if (mbedtls_asn1_get_bitstring_null(cp, end, &len)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800135 return -6;
136 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300137 if (*cp + len != end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800138 return -7;
139 }
140
141 if (len != 2 * NUM_ECC_BYTES + 1) {
142 return -8;
143 }
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900144
Marko Kiiskilabf943392016-12-29 17:29:48 -0800145 return 0;
146}
Roman Okhrimenko13f79ed2021-03-11 19:05:41 +0200147#endif /* CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800148
David Brown641af452021-02-19 12:16:48 -0700149#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Marko Kiiskilabf943392016-12-29 17:29:48 -0800150/*
151 * cp points to ASN1 string containing an integer.
152 * Verify the tag, and that the length is 32 bytes.
153 */
154static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100155bootutil_read_bigint(uint8_t i[NUM_ECC_BYTES], uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800156{
157 size_t len;
158
159 if (mbedtls_asn1_get_tag(cp, end, &len, MBEDTLS_ASN1_INTEGER)) {
160 return -3;
161 }
Szymon Janc16184882017-09-22 18:32:11 -0300162
Fabio Utzig006994b2019-01-16 16:33:20 -0800163 if (len >= NUM_ECC_BYTES) {
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300164 (void)memcpy(i, *cp + len - NUM_ECC_BYTES, NUM_ECC_BYTES);
Marko Kiiskila755daed2016-12-30 18:53:13 -0800165 } else {
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300166 (void)memset(i, 0, NUM_ECC_BYTES - len);
167 (void)memcpy(i + NUM_ECC_BYTES - len, *cp, len);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800168 }
Marko Kiiskilabf943392016-12-29 17:29:48 -0800169 *cp += len;
170 return 0;
171}
172
173/*
174 * Read in signature. Signature has r and s encoded as integers.
175 */
176static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100177bootutil_decode_sig(uint8_t signature[NUM_ECC_BYTES * 2], uint8_t *cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800178{
179 int rc;
180 size_t len;
181
182 rc = mbedtls_asn1_get_tag(&cp, end, &len,
183 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE);
184 if (rc) {
185 return -1;
186 }
David Brownbaff96f2017-01-27 17:35:14 -0700187 if (cp + len > end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800188 return -2;
189 }
Szymon Janc16184882017-09-22 18:32:11 -0300190
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100191 rc = bootutil_read_bigint(signature, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800192 if (rc) {
193 return -3;
194 }
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100195 rc = bootutil_read_bigint(signature + NUM_ECC_BYTES, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800196 if (rc) {
197 return -4;
198 }
199 return 0;
200}
David Brown641af452021-02-19 12:16:48 -0700201#endif /* not MCUBOOT_ECDSA_NEED_ASN1_SIG */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800202
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300203fih_int
Fabio Utzig1a927dd2017-12-05 10:30:26 -0200204bootutil_verify_sig(uint8_t *hash, uint32_t hlen, uint8_t *sig, size_t slen,
Marko Kiiskilabf943392016-12-29 17:29:48 -0800205 uint8_t key_id)
206{
207 int rc;
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900208 bootutil_ecdsa_p256_context ctx;
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300209 uint8_t *pubkey;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800210 uint8_t *end;
Szymon Janc16184882017-09-22 18:32:11 -0300211
David Brown641af452021-02-19 12:16:48 -0700212#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Szymon Janc16184882017-09-22 18:32:11 -0300213 uint8_t signature[2 * NUM_ECC_BYTES];
David Brown641af452021-02-19 12:16:48 -0700214#endif
Marko Kiiskilabf943392016-12-29 17:29:48 -0800215
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300216 pubkey = (uint8_t *)bootutil_keys[key_id].key;
217 end = pubkey + *bootutil_keys[key_id].len;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800218
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200219#ifdef CY_MBEDTLS_HW_ACCELERATION
220 mbedtls_ecdsa_init(&ctx);
221 rc = bootutil_parse_eckey(&ctx, &pubkey, end);
222#else
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100223 rc = bootutil_import_key(&pubkey, end);
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200224#endif
Dovhal Artem (CSUKR CSS ICW SW FW 1)f7a3d1b2022-04-01 15:07:37 +0000225 if (rc != 0) {
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300226 return FIH_FAILURE;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800227 }
228
David Brown641af452021-02-19 12:16:48 -0700229#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100230 rc = bootutil_decode_sig(signature, sig, sig + slen);
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300231 if (rc != 0) {
232 return FIH_FAILURE;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800233 }
David Brown641af452021-02-19 12:16:48 -0700234#endif
Marko Kiiskilabf943392016-12-29 17:29:48 -0800235
236 /*
237 * This is simplified, as the hash length is also 32 bytes.
238 */
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200239#ifdef CY_MBEDTLS_HW_ACCELERATION
Dovhal Artem (CSUKR CSS ICW SW FW 1)f7a3d1b2022-04-01 15:07:37 +0000240
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200241 rc = mbedtls_ecdsa_read_signature(&ctx, hash, hlen, sig, slen);
242
243#else /* CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800244 if (hlen != NUM_ECC_BYTES) {
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300245 return FIH_FAILURE;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800246 }
247
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900248 bootutil_ecdsa_p256_init(&ctx);
David Brown641af452021-02-19 12:16:48 -0700249#ifdef MCUBOOT_ECDSA_NEED_ASN1_SIG
250 rc = bootutil_ecdsa_p256_verify(&ctx, pubkey, end - pubkey, hash, sig, slen);
251#else
252 rc = bootutil_ecdsa_p256_verify(&ctx, pubkey, end - pubkey, hash, signature,
253 2 * NUM_ECC_BYTES);
254#endif
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200255#endif /* CY_MBEDTLS_HW_ACCELERATION */
256
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900257 bootutil_ecdsa_p256_drop(&ctx);
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200258
Roman Okhrimenkodc0ca082023-06-21 20:49:51 +0300259 FIH_RET(fih_int_encode_zero_equality(rc));
Sigvart Hovland65a6ab22019-03-11 15:56:04 +0100260}
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900261
Roman Okhrimenko1dcc73b2020-10-01 19:22:14 +0300262#endif /* MCUBOOT_USE_TINYCRYPT || defined MCUBOOT_USE_CC310 */
Fabio Utzig19356bf2017-05-11 16:19:36 -0300263#endif /* MCUBOOT_SIGN_EC256 */