blob: bdd72c65b3580819652893582dc2ddd98b273146 [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
6 *
7 * Original license:
8 *
Marko Kiiskilabf943392016-12-29 17:29:48 -08009 * Licensed to the Apache Software Foundation (ASF) under one
10 * or more contributor license agreements. See the NOTICE file
11 * distributed with this work for additional information
12 * regarding copyright ownership. The ASF licenses this file
13 * to you under the Apache License, Version 2.0 (the
14 * "License"); you may not use this file except in compliance
15 * with the License. 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,
20 * software distributed under the License is distributed on an
21 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
22 * KIND, either express or implied. See the License for the
23 * specific language governing permissions and limitations
24 * under the License.
25 */
26
Marko Kiiskila755daed2016-12-30 18:53:13 -080027#include <string.h>
28
Fabio Utzigba1fbe62017-07-21 14:01:20 -030029#include "mcuboot_config/mcuboot_config.h"
Fabio Utzigeed80b62017-06-10 08:03:05 -030030
Fabio Utzig19356bf2017-05-11 16:19:36 -030031#ifdef MCUBOOT_SIGN_EC256
Roman Okhrimenko1dcc73b2020-10-01 19:22:14 +030032/*TODO: remove this after cypress port mbedtls to abstract crypto api */
David Brown641af452021-02-19 12:16:48 -070033#if defined(MCUBOOT_USE_CC310) || defined(MCUBOOT_USE_MBED_TLS)
Sigvart Hovland59f1d292020-10-28 14:40:09 +010034#define NUM_ECC_BYTES (256 / 8)
35#endif
David Brown641af452021-02-19 12:16:48 -070036#if defined(MCUBOOT_USE_TINYCRYPT) || defined(MCUBOOT_USE_CC310) || \
37 defined(MCUBOOT_USE_MBED_TLS)
Marko Kiiskilabf943392016-12-29 17:29:48 -080038#include "bootutil/sign_key.h"
39
40#include "mbedtls/oid.h"
41#include "mbedtls/asn1.h"
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +090042#include "bootutil/crypto/ecdsa_p256.h"
Marko Kiiskilabf943392016-12-29 17:29:48 -080043#include "bootutil_priv.h"
44
45/*
46 * Declaring these like this adds NULL termination.
47 */
48static const uint8_t ec_pubkey_oid[] = MBEDTLS_OID_EC_ALG_UNRESTRICTED;
49static const uint8_t ec_secp256r1_oid[] = MBEDTLS_OID_EC_GRP_SECP256R1;
50
51/*
52 * Parse the public key used for signing.
53 */
Roman Okhrimenko2f045a22021-03-05 14:06:33 +020054#ifdef CY_MBEDTLS_HW_ACCELERATION
55static int
56bootutil_parse_eckey(mbedtls_ecdsa_context *ctx, uint8_t **p, uint8_t *end)
57{
58 size_t len;
59 mbedtls_asn1_buf alg;
60 mbedtls_asn1_buf param;
61
62 if (mbedtls_asn1_get_tag(p, end, &len,
63 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
64 return -1;
65 }
66 end = *p + len;
67
68 if (mbedtls_asn1_get_alg(p, end, &alg, &param)) {
69 return -2;
70 }
71 if (alg.len != sizeof(ec_pubkey_oid) - 1 ||
72 memcmp(alg.p, ec_pubkey_oid, sizeof(ec_pubkey_oid) - 1)) {
73 return -3;
74 }
75 if (param.len != sizeof(ec_secp256r1_oid) - 1||
76 memcmp(param.p, ec_secp256r1_oid, sizeof(ec_secp256r1_oid) - 1)) {
77 return -4;
78 }
79
80 if (mbedtls_ecp_group_load(&ctx->grp, MBEDTLS_ECP_DP_SECP256R1)) {
81 return -5;
82 }
83
84 if (mbedtls_asn1_get_bitstring_null(p, end, &len)) {
85 return -6;
86 }
87 if (*p + len != end) {
88 return -7;
89 }
90
91 if (mbedtls_ecp_point_read_binary(&ctx->grp, &ctx->Q, *p, end - *p)) {
92 return -8;
93 }
94
95 if (mbedtls_ecp_check_pubkey(&ctx->grp, &ctx->Q)) {
96 return -9;
97 }
98 return 0;
99}
Roman Okhrimenko13f79ed2021-03-11 19:05:41 +0200100#else /* !CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800101static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100102bootutil_import_key(uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800103{
104 size_t len;
105 mbedtls_asn1_buf alg;
106 mbedtls_asn1_buf param;
107
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300108 if (mbedtls_asn1_get_tag(cp, end, &len,
Marko Kiiskilabf943392016-12-29 17:29:48 -0800109 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
110 return -1;
111 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300112 end = *cp + len;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800113
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300114 /* ECParameters (RFC5480) */
115 if (mbedtls_asn1_get_alg(cp, end, &alg, &param)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800116 return -2;
117 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300118 /* id-ecPublicKey (RFC5480) */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800119 if (alg.len != sizeof(ec_pubkey_oid) - 1 ||
120 memcmp(alg.p, ec_pubkey_oid, sizeof(ec_pubkey_oid) - 1)) {
121 return -3;
122 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300123 /* namedCurve (RFC5480) */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800124 if (param.len != sizeof(ec_secp256r1_oid) - 1 ||
125 memcmp(param.p, ec_secp256r1_oid, sizeof(ec_secp256r1_oid) - 1)) {
126 return -4;
127 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300128 /* ECPoint (RFC5480) */
129 if (mbedtls_asn1_get_bitstring_null(cp, end, &len)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800130 return -6;
131 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300132 if (*cp + len != end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800133 return -7;
134 }
135
136 if (len != 2 * NUM_ECC_BYTES + 1) {
137 return -8;
138 }
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900139
Marko Kiiskilabf943392016-12-29 17:29:48 -0800140 return 0;
141}
Roman Okhrimenko13f79ed2021-03-11 19:05:41 +0200142#endif /* CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800143
David Brown641af452021-02-19 12:16:48 -0700144#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Marko Kiiskilabf943392016-12-29 17:29:48 -0800145/*
146 * cp points to ASN1 string containing an integer.
147 * Verify the tag, and that the length is 32 bytes.
148 */
149static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100150bootutil_read_bigint(uint8_t i[NUM_ECC_BYTES], uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800151{
152 size_t len;
153
154 if (mbedtls_asn1_get_tag(cp, end, &len, MBEDTLS_ASN1_INTEGER)) {
155 return -3;
156 }
Szymon Janc16184882017-09-22 18:32:11 -0300157
Fabio Utzig006994b2019-01-16 16:33:20 -0800158 if (len >= NUM_ECC_BYTES) {
Szymon Janc16184882017-09-22 18:32:11 -0300159 memcpy(i, *cp + len - NUM_ECC_BYTES, NUM_ECC_BYTES);
Marko Kiiskila755daed2016-12-30 18:53:13 -0800160 } else {
Fabio Utzig006994b2019-01-16 16:33:20 -0800161 memset(i, 0, NUM_ECC_BYTES - len);
Szymon Janc16184882017-09-22 18:32:11 -0300162 memcpy(i + NUM_ECC_BYTES - len, *cp, len);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800163 }
Marko Kiiskilabf943392016-12-29 17:29:48 -0800164 *cp += len;
165 return 0;
166}
167
168/*
169 * Read in signature. Signature has r and s encoded as integers.
170 */
171static int
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100172bootutil_decode_sig(uint8_t signature[NUM_ECC_BYTES * 2], uint8_t *cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800173{
174 int rc;
175 size_t len;
176
177 rc = mbedtls_asn1_get_tag(&cp, end, &len,
178 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE);
179 if (rc) {
180 return -1;
181 }
David Brownbaff96f2017-01-27 17:35:14 -0700182 if (cp + len > end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800183 return -2;
184 }
Szymon Janc16184882017-09-22 18:32:11 -0300185
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100186 rc = bootutil_read_bigint(signature, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800187 if (rc) {
188 return -3;
189 }
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100190 rc = bootutil_read_bigint(signature + NUM_ECC_BYTES, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800191 if (rc) {
192 return -4;
193 }
194 return 0;
195}
David Brown641af452021-02-19 12:16:48 -0700196#endif /* not MCUBOOT_ECDSA_NEED_ASN1_SIG */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800197
198int
Fabio Utzig1a927dd2017-12-05 10:30:26 -0200199bootutil_verify_sig(uint8_t *hash, uint32_t hlen, uint8_t *sig, size_t slen,
Marko Kiiskilabf943392016-12-29 17:29:48 -0800200 uint8_t key_id)
201{
202 int rc;
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900203 bootutil_ecdsa_p256_context ctx;
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300204 uint8_t *pubkey;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800205 uint8_t *end;
Szymon Janc16184882017-09-22 18:32:11 -0300206
David Brown641af452021-02-19 12:16:48 -0700207#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Szymon Janc16184882017-09-22 18:32:11 -0300208 uint8_t signature[2 * NUM_ECC_BYTES];
David Brown641af452021-02-19 12:16:48 -0700209#endif
Marko Kiiskilabf943392016-12-29 17:29:48 -0800210
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300211 pubkey = (uint8_t *)bootutil_keys[key_id].key;
212 end = pubkey + *bootutil_keys[key_id].len;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800213
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200214#ifdef CY_MBEDTLS_HW_ACCELERATION
215 mbedtls_ecdsa_init(&ctx);
216 rc = bootutil_parse_eckey(&ctx, &pubkey, end);
217#else
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100218 rc = bootutil_import_key(&pubkey, end);
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200219#endif
Marko Kiiskilabf943392016-12-29 17:29:48 -0800220 if (rc) {
221 return -1;
222 }
223
David Brown641af452021-02-19 12:16:48 -0700224#ifndef MCUBOOT_ECDSA_NEED_ASN1_SIG
Sigvart Hovland795cd0d2019-03-04 13:06:12 +0100225 rc = bootutil_decode_sig(signature, sig, sig + slen);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800226 if (rc) {
227 return -1;
228 }
David Brown641af452021-02-19 12:16:48 -0700229#endif
Marko Kiiskilabf943392016-12-29 17:29:48 -0800230
231 /*
232 * This is simplified, as the hash length is also 32 bytes.
233 */
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200234#ifdef CY_MBEDTLS_HW_ACCELERATION
235 while (sig[slen - 1] == '\0') {
236 slen--;
237 }
238 rc = mbedtls_ecdsa_read_signature(&ctx, hash, hlen, sig, slen);
239
240#else /* CY_MBEDTLS_HW_ACCELERATION */
Marko Kiiskilabf943392016-12-29 17:29:48 -0800241 if (hlen != NUM_ECC_BYTES) {
242 return -1;
243 }
244
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900245 bootutil_ecdsa_p256_init(&ctx);
David Brown641af452021-02-19 12:16:48 -0700246#ifdef MCUBOOT_ECDSA_NEED_ASN1_SIG
247 rc = bootutil_ecdsa_p256_verify(&ctx, pubkey, end - pubkey, hash, sig, slen);
248#else
249 rc = bootutil_ecdsa_p256_verify(&ctx, pubkey, end - pubkey, hash, signature,
250 2 * NUM_ECC_BYTES);
251#endif
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200252#endif /* CY_MBEDTLS_HW_ACCELERATION */
253
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900254 bootutil_ecdsa_p256_drop(&ctx);
Roman Okhrimenko2f045a22021-03-05 14:06:33 +0200255
Sigvart Hovland65a6ab22019-03-11 15:56:04 +0100256 return rc;
257}
Blaž Hrastnik4f4833d2020-09-14 13:53:31 +0900258
Roman Okhrimenko1dcc73b2020-10-01 19:22:14 +0300259#endif /* MCUBOOT_USE_TINYCRYPT || defined MCUBOOT_USE_CC310 */
Fabio Utzig19356bf2017-05-11 16:19:36 -0300260#endif /* MCUBOOT_SIGN_EC256 */