blob: cff5e1d6ca6fe94aef3eeec103bc446ec16fe654 [file] [log] [blame]
Marko Kiiskilabf943392016-12-29 17:29:48 -08001/*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
19
Marko Kiiskila755daed2016-12-30 18:53:13 -080020#include <string.h>
21
Fabio Utzigba1fbe62017-07-21 14:01:20 -030022#ifdef MCUBOOT_MYNEWT
23#include "mcuboot_config/mcuboot_config.h"
Fabio Utzigeed80b62017-06-10 08:03:05 -030024#endif
25
Fabio Utzig19356bf2017-05-11 16:19:36 -030026#ifdef MCUBOOT_SIGN_EC256
Marko Kiiskilabf943392016-12-29 17:29:48 -080027#include "bootutil/sign_key.h"
28
29#include "mbedtls/oid.h"
30#include "mbedtls/asn1.h"
31
32#include "tinycrypt/ecc_dsa.h"
33#include "bootutil_priv.h"
34
35/*
36 * Declaring these like this adds NULL termination.
37 */
38static const uint8_t ec_pubkey_oid[] = MBEDTLS_OID_EC_ALG_UNRESTRICTED;
39static const uint8_t ec_secp256r1_oid[] = MBEDTLS_OID_EC_GRP_SECP256R1;
40
41/*
42 * Parse the public key used for signing.
43 */
44static int
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030045tinycrypt_import_key(uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -080046{
47 size_t len;
48 mbedtls_asn1_buf alg;
49 mbedtls_asn1_buf param;
50
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030051 if (mbedtls_asn1_get_tag(cp, end, &len,
Marko Kiiskilabf943392016-12-29 17:29:48 -080052 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
53 return -1;
54 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030055 end = *cp + len;
Marko Kiiskilabf943392016-12-29 17:29:48 -080056
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030057 /* ECParameters (RFC5480) */
58 if (mbedtls_asn1_get_alg(cp, end, &alg, &param)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -080059 return -2;
60 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030061 /* id-ecPublicKey (RFC5480) */
Marko Kiiskilabf943392016-12-29 17:29:48 -080062 if (alg.len != sizeof(ec_pubkey_oid) - 1 ||
63 memcmp(alg.p, ec_pubkey_oid, sizeof(ec_pubkey_oid) - 1)) {
64 return -3;
65 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030066 /* namedCurve (RFC5480) */
Marko Kiiskilabf943392016-12-29 17:29:48 -080067 if (param.len != sizeof(ec_secp256r1_oid) - 1 ||
68 memcmp(param.p, ec_secp256r1_oid, sizeof(ec_secp256r1_oid) - 1)) {
69 return -4;
70 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030071 /* ECPoint (RFC5480) */
72 if (mbedtls_asn1_get_bitstring_null(cp, end, &len)) {
Marko Kiiskilabf943392016-12-29 17:29:48 -080073 return -6;
74 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030075 if (*cp + len != end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -080076 return -7;
77 }
78
79 if (len != 2 * NUM_ECC_BYTES + 1) {
80 return -8;
81 }
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030082 /* Is uncompressed? */
83 if (*cp[0] != 0x04) {
Marko Kiiskilabf943392016-12-29 17:29:48 -080084 return -9;
85 }
86
Fabio Utzig33fa8ad2017-10-05 18:21:30 -030087 (*cp)++;
Marko Kiiskilabf943392016-12-29 17:29:48 -080088 return 0;
89}
90
91/*
92 * cp points to ASN1 string containing an integer.
93 * Verify the tag, and that the length is 32 bytes.
94 */
95static int
Szymon Janc16184882017-09-22 18:32:11 -030096tinycrypt_read_bigint(uint8_t i[NUM_ECC_BYTES], uint8_t **cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -080097{
98 size_t len;
99
100 if (mbedtls_asn1_get_tag(cp, end, &len, MBEDTLS_ASN1_INTEGER)) {
101 return -3;
102 }
Szymon Janc16184882017-09-22 18:32:11 -0300103
Marko Kiiskila755daed2016-12-30 18:53:13 -0800104 if (len > NUM_ECC_BYTES) {
Szymon Janc16184882017-09-22 18:32:11 -0300105 memcpy(i, *cp + len - NUM_ECC_BYTES, NUM_ECC_BYTES);
Marko Kiiskila755daed2016-12-30 18:53:13 -0800106 } else {
Szymon Janc16184882017-09-22 18:32:11 -0300107 memset(i + NUM_ECC_BYTES, 0, NUM_ECC_BYTES - len);
108 memcpy(i + NUM_ECC_BYTES - len, *cp, len);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800109 }
Marko Kiiskilabf943392016-12-29 17:29:48 -0800110 *cp += len;
111 return 0;
112}
113
114/*
115 * Read in signature. Signature has r and s encoded as integers.
116 */
117static int
Szymon Janc16184882017-09-22 18:32:11 -0300118tinycrypt_decode_sig(uint8_t signature[NUM_ECC_BYTES * 2], uint8_t *cp, uint8_t *end)
Marko Kiiskilabf943392016-12-29 17:29:48 -0800119{
120 int rc;
121 size_t len;
122
123 rc = mbedtls_asn1_get_tag(&cp, end, &len,
124 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE);
125 if (rc) {
126 return -1;
127 }
David Brownbaff96f2017-01-27 17:35:14 -0700128 if (cp + len > end) {
Marko Kiiskilabf943392016-12-29 17:29:48 -0800129 return -2;
130 }
Szymon Janc16184882017-09-22 18:32:11 -0300131
132 rc = tinycrypt_read_bigint(signature, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800133 if (rc) {
134 return -3;
135 }
Szymon Janc16184882017-09-22 18:32:11 -0300136 rc = tinycrypt_read_bigint(signature + NUM_ECC_BYTES, &cp, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800137 if (rc) {
138 return -4;
139 }
140 return 0;
141}
142
143int
144bootutil_verify_sig(uint8_t *hash, uint32_t hlen, uint8_t *sig, int slen,
145 uint8_t key_id)
146{
147 int rc;
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300148 uint8_t *pubkey;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800149 uint8_t *end;
Szymon Janc16184882017-09-22 18:32:11 -0300150
Szymon Janc16184882017-09-22 18:32:11 -0300151 uint8_t signature[2 * NUM_ECC_BYTES];
Marko Kiiskilabf943392016-12-29 17:29:48 -0800152
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300153 pubkey = (uint8_t *)bootutil_keys[key_id].key;
154 end = pubkey + *bootutil_keys[key_id].len;
Marko Kiiskilabf943392016-12-29 17:29:48 -0800155
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300156 rc = tinycrypt_import_key(&pubkey, end);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800157 if (rc) {
158 return -1;
159 }
160
Szymon Janc16184882017-09-22 18:32:11 -0300161 rc = tinycrypt_decode_sig(signature, sig, sig + slen);
Marko Kiiskilabf943392016-12-29 17:29:48 -0800162 if (rc) {
163 return -1;
164 }
165
166 /*
167 * This is simplified, as the hash length is also 32 bytes.
168 */
169 if (hlen != NUM_ECC_BYTES) {
170 return -1;
171 }
172
Fabio Utzig33fa8ad2017-10-05 18:21:30 -0300173 rc = uECC_verify(pubkey, hash, NUM_ECC_BYTES, signature, uECC_secp256r1());
Marko Kiiskilabf943392016-12-29 17:29:48 -0800174 if (rc == 1) {
175 return 0;
176 } else {
177 return -2;
178 }
179}
Fabio Utzig19356bf2017-05-11 16:19:36 -0300180#endif /* MCUBOOT_SIGN_EC256 */