1*54fd6939SJiyong Park /*
2*54fd6939SJiyong Park * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved.
3*54fd6939SJiyong Park *
4*54fd6939SJiyong Park * SPDX-License-Identifier: BSD-3-Clause
5*54fd6939SJiyong Park */
6*54fd6939SJiyong Park
7*54fd6939SJiyong Park #include <assert.h>
8*54fd6939SJiyong Park #include <stddef.h>
9*54fd6939SJiyong Park #include <string.h>
10*54fd6939SJiyong Park
11*54fd6939SJiyong Park /* mbed TLS headers */
12*54fd6939SJiyong Park #include <mbedtls/gcm.h>
13*54fd6939SJiyong Park #include <mbedtls/md.h>
14*54fd6939SJiyong Park #include <mbedtls/memory_buffer_alloc.h>
15*54fd6939SJiyong Park #include <mbedtls/oid.h>
16*54fd6939SJiyong Park #include <mbedtls/platform.h>
17*54fd6939SJiyong Park #include <mbedtls/x509.h>
18*54fd6939SJiyong Park
19*54fd6939SJiyong Park #include <common/debug.h>
20*54fd6939SJiyong Park #include <drivers/auth/crypto_mod.h>
21*54fd6939SJiyong Park #include <drivers/auth/mbedtls/mbedtls_common.h>
22*54fd6939SJiyong Park #include <drivers/auth/mbedtls/mbedtls_config.h>
23*54fd6939SJiyong Park #include <plat/common/platform.h>
24*54fd6939SJiyong Park
25*54fd6939SJiyong Park #define LIB_NAME "mbed TLS"
26*54fd6939SJiyong Park
27*54fd6939SJiyong Park /*
28*54fd6939SJiyong Park * AlgorithmIdentifier ::= SEQUENCE {
29*54fd6939SJiyong Park * algorithm OBJECT IDENTIFIER,
30*54fd6939SJiyong Park * parameters ANY DEFINED BY algorithm OPTIONAL
31*54fd6939SJiyong Park * }
32*54fd6939SJiyong Park *
33*54fd6939SJiyong Park * SubjectPublicKeyInfo ::= SEQUENCE {
34*54fd6939SJiyong Park * algorithm AlgorithmIdentifier,
35*54fd6939SJiyong Park * subjectPublicKey BIT STRING
36*54fd6939SJiyong Park * }
37*54fd6939SJiyong Park *
38*54fd6939SJiyong Park * DigestInfo ::= SEQUENCE {
39*54fd6939SJiyong Park * digestAlgorithm AlgorithmIdentifier,
40*54fd6939SJiyong Park * digest OCTET STRING
41*54fd6939SJiyong Park * }
42*54fd6939SJiyong Park */
43*54fd6939SJiyong Park
44*54fd6939SJiyong Park /*
45*54fd6939SJiyong Park * Initialize the library and export the descriptor
46*54fd6939SJiyong Park */
init(void)47*54fd6939SJiyong Park static void init(void)
48*54fd6939SJiyong Park {
49*54fd6939SJiyong Park /* Initialize mbed TLS */
50*54fd6939SJiyong Park mbedtls_init();
51*54fd6939SJiyong Park }
52*54fd6939SJiyong Park
53*54fd6939SJiyong Park /*
54*54fd6939SJiyong Park * Verify a signature.
55*54fd6939SJiyong Park *
56*54fd6939SJiyong Park * Parameters are passed using the DER encoding format following the ASN.1
57*54fd6939SJiyong Park * structures detailed above.
58*54fd6939SJiyong Park */
verify_signature(void * data_ptr,unsigned int data_len,void * sig_ptr,unsigned int sig_len,void * sig_alg,unsigned int sig_alg_len,void * pk_ptr,unsigned int pk_len)59*54fd6939SJiyong Park static int verify_signature(void *data_ptr, unsigned int data_len,
60*54fd6939SJiyong Park void *sig_ptr, unsigned int sig_len,
61*54fd6939SJiyong Park void *sig_alg, unsigned int sig_alg_len,
62*54fd6939SJiyong Park void *pk_ptr, unsigned int pk_len)
63*54fd6939SJiyong Park {
64*54fd6939SJiyong Park mbedtls_asn1_buf sig_oid, sig_params;
65*54fd6939SJiyong Park mbedtls_asn1_buf signature;
66*54fd6939SJiyong Park mbedtls_md_type_t md_alg;
67*54fd6939SJiyong Park mbedtls_pk_type_t pk_alg;
68*54fd6939SJiyong Park mbedtls_pk_context pk = {0};
69*54fd6939SJiyong Park int rc;
70*54fd6939SJiyong Park void *sig_opts = NULL;
71*54fd6939SJiyong Park const mbedtls_md_info_t *md_info;
72*54fd6939SJiyong Park unsigned char *p, *end;
73*54fd6939SJiyong Park unsigned char hash[MBEDTLS_MD_MAX_SIZE];
74*54fd6939SJiyong Park
75*54fd6939SJiyong Park /* Get pointers to signature OID and parameters */
76*54fd6939SJiyong Park p = (unsigned char *)sig_alg;
77*54fd6939SJiyong Park end = (unsigned char *)(p + sig_alg_len);
78*54fd6939SJiyong Park rc = mbedtls_asn1_get_alg(&p, end, &sig_oid, &sig_params);
79*54fd6939SJiyong Park if (rc != 0) {
80*54fd6939SJiyong Park return CRYPTO_ERR_SIGNATURE;
81*54fd6939SJiyong Park }
82*54fd6939SJiyong Park
83*54fd6939SJiyong Park /* Get the actual signature algorithm (MD + PK) */
84*54fd6939SJiyong Park rc = mbedtls_x509_get_sig_alg(&sig_oid, &sig_params, &md_alg, &pk_alg, &sig_opts);
85*54fd6939SJiyong Park if (rc != 0) {
86*54fd6939SJiyong Park return CRYPTO_ERR_SIGNATURE;
87*54fd6939SJiyong Park }
88*54fd6939SJiyong Park
89*54fd6939SJiyong Park /* Parse the public key */
90*54fd6939SJiyong Park mbedtls_pk_init(&pk);
91*54fd6939SJiyong Park p = (unsigned char *)pk_ptr;
92*54fd6939SJiyong Park end = (unsigned char *)(p + pk_len);
93*54fd6939SJiyong Park rc = mbedtls_pk_parse_subpubkey(&p, end, &pk);
94*54fd6939SJiyong Park if (rc != 0) {
95*54fd6939SJiyong Park rc = CRYPTO_ERR_SIGNATURE;
96*54fd6939SJiyong Park goto end2;
97*54fd6939SJiyong Park }
98*54fd6939SJiyong Park
99*54fd6939SJiyong Park /* Get the signature (bitstring) */
100*54fd6939SJiyong Park p = (unsigned char *)sig_ptr;
101*54fd6939SJiyong Park end = (unsigned char *)(p + sig_len);
102*54fd6939SJiyong Park signature.tag = *p;
103*54fd6939SJiyong Park rc = mbedtls_asn1_get_bitstring_null(&p, end, &signature.len);
104*54fd6939SJiyong Park if (rc != 0) {
105*54fd6939SJiyong Park rc = CRYPTO_ERR_SIGNATURE;
106*54fd6939SJiyong Park goto end1;
107*54fd6939SJiyong Park }
108*54fd6939SJiyong Park signature.p = p;
109*54fd6939SJiyong Park
110*54fd6939SJiyong Park /* Calculate the hash of the data */
111*54fd6939SJiyong Park md_info = mbedtls_md_info_from_type(md_alg);
112*54fd6939SJiyong Park if (md_info == NULL) {
113*54fd6939SJiyong Park rc = CRYPTO_ERR_SIGNATURE;
114*54fd6939SJiyong Park goto end1;
115*54fd6939SJiyong Park }
116*54fd6939SJiyong Park p = (unsigned char *)data_ptr;
117*54fd6939SJiyong Park rc = mbedtls_md(md_info, p, data_len, hash);
118*54fd6939SJiyong Park if (rc != 0) {
119*54fd6939SJiyong Park rc = CRYPTO_ERR_SIGNATURE;
120*54fd6939SJiyong Park goto end1;
121*54fd6939SJiyong Park }
122*54fd6939SJiyong Park
123*54fd6939SJiyong Park /* Verify the signature */
124*54fd6939SJiyong Park rc = mbedtls_pk_verify_ext(pk_alg, sig_opts, &pk, md_alg, hash,
125*54fd6939SJiyong Park mbedtls_md_get_size(md_info),
126*54fd6939SJiyong Park signature.p, signature.len);
127*54fd6939SJiyong Park if (rc != 0) {
128*54fd6939SJiyong Park rc = CRYPTO_ERR_SIGNATURE;
129*54fd6939SJiyong Park goto end1;
130*54fd6939SJiyong Park }
131*54fd6939SJiyong Park
132*54fd6939SJiyong Park /* Signature verification success */
133*54fd6939SJiyong Park rc = CRYPTO_SUCCESS;
134*54fd6939SJiyong Park
135*54fd6939SJiyong Park end1:
136*54fd6939SJiyong Park mbedtls_pk_free(&pk);
137*54fd6939SJiyong Park end2:
138*54fd6939SJiyong Park mbedtls_free(sig_opts);
139*54fd6939SJiyong Park return rc;
140*54fd6939SJiyong Park }
141*54fd6939SJiyong Park
142*54fd6939SJiyong Park /*
143*54fd6939SJiyong Park * Match a hash
144*54fd6939SJiyong Park *
145*54fd6939SJiyong Park * Digest info is passed in DER format following the ASN.1 structure detailed
146*54fd6939SJiyong Park * above.
147*54fd6939SJiyong Park */
verify_hash(void * data_ptr,unsigned int data_len,void * digest_info_ptr,unsigned int digest_info_len)148*54fd6939SJiyong Park static int verify_hash(void *data_ptr, unsigned int data_len,
149*54fd6939SJiyong Park void *digest_info_ptr, unsigned int digest_info_len)
150*54fd6939SJiyong Park {
151*54fd6939SJiyong Park mbedtls_asn1_buf hash_oid, params;
152*54fd6939SJiyong Park mbedtls_md_type_t md_alg;
153*54fd6939SJiyong Park const mbedtls_md_info_t *md_info;
154*54fd6939SJiyong Park unsigned char *p, *end, *hash;
155*54fd6939SJiyong Park unsigned char data_hash[MBEDTLS_MD_MAX_SIZE];
156*54fd6939SJiyong Park size_t len;
157*54fd6939SJiyong Park int rc;
158*54fd6939SJiyong Park
159*54fd6939SJiyong Park /* Digest info should be an MBEDTLS_ASN1_SEQUENCE */
160*54fd6939SJiyong Park p = (unsigned char *)digest_info_ptr;
161*54fd6939SJiyong Park end = p + digest_info_len;
162*54fd6939SJiyong Park rc = mbedtls_asn1_get_tag(&p, end, &len, MBEDTLS_ASN1_CONSTRUCTED |
163*54fd6939SJiyong Park MBEDTLS_ASN1_SEQUENCE);
164*54fd6939SJiyong Park if (rc != 0) {
165*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
166*54fd6939SJiyong Park }
167*54fd6939SJiyong Park
168*54fd6939SJiyong Park /* Get the hash algorithm */
169*54fd6939SJiyong Park rc = mbedtls_asn1_get_alg(&p, end, &hash_oid, ¶ms);
170*54fd6939SJiyong Park if (rc != 0) {
171*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
172*54fd6939SJiyong Park }
173*54fd6939SJiyong Park
174*54fd6939SJiyong Park rc = mbedtls_oid_get_md_alg(&hash_oid, &md_alg);
175*54fd6939SJiyong Park if (rc != 0) {
176*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
177*54fd6939SJiyong Park }
178*54fd6939SJiyong Park
179*54fd6939SJiyong Park md_info = mbedtls_md_info_from_type(md_alg);
180*54fd6939SJiyong Park if (md_info == NULL) {
181*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
182*54fd6939SJiyong Park }
183*54fd6939SJiyong Park
184*54fd6939SJiyong Park /* Hash should be octet string type */
185*54fd6939SJiyong Park rc = mbedtls_asn1_get_tag(&p, end, &len, MBEDTLS_ASN1_OCTET_STRING);
186*54fd6939SJiyong Park if (rc != 0) {
187*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
188*54fd6939SJiyong Park }
189*54fd6939SJiyong Park
190*54fd6939SJiyong Park /* Length of hash must match the algorithm's size */
191*54fd6939SJiyong Park if (len != mbedtls_md_get_size(md_info)) {
192*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
193*54fd6939SJiyong Park }
194*54fd6939SJiyong Park hash = p;
195*54fd6939SJiyong Park
196*54fd6939SJiyong Park /* Calculate the hash of the data */
197*54fd6939SJiyong Park p = (unsigned char *)data_ptr;
198*54fd6939SJiyong Park rc = mbedtls_md(md_info, p, data_len, data_hash);
199*54fd6939SJiyong Park if (rc != 0) {
200*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
201*54fd6939SJiyong Park }
202*54fd6939SJiyong Park
203*54fd6939SJiyong Park /* Compare values */
204*54fd6939SJiyong Park rc = memcmp(data_hash, hash, mbedtls_md_get_size(md_info));
205*54fd6939SJiyong Park if (rc != 0) {
206*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
207*54fd6939SJiyong Park }
208*54fd6939SJiyong Park
209*54fd6939SJiyong Park return CRYPTO_SUCCESS;
210*54fd6939SJiyong Park }
211*54fd6939SJiyong Park
212*54fd6939SJiyong Park #if MEASURED_BOOT
213*54fd6939SJiyong Park /*
214*54fd6939SJiyong Park * Calculate a hash
215*54fd6939SJiyong Park *
216*54fd6939SJiyong Park * output points to the computed hash
217*54fd6939SJiyong Park */
calc_hash(unsigned int alg,void * data_ptr,unsigned int data_len,unsigned char * output)218*54fd6939SJiyong Park int calc_hash(unsigned int alg, void *data_ptr,
219*54fd6939SJiyong Park unsigned int data_len, unsigned char *output)
220*54fd6939SJiyong Park {
221*54fd6939SJiyong Park const mbedtls_md_info_t *md_info;
222*54fd6939SJiyong Park
223*54fd6939SJiyong Park md_info = mbedtls_md_info_from_type((mbedtls_md_type_t)alg);
224*54fd6939SJiyong Park if (md_info == NULL) {
225*54fd6939SJiyong Park return CRYPTO_ERR_HASH;
226*54fd6939SJiyong Park }
227*54fd6939SJiyong Park
228*54fd6939SJiyong Park /* Calculate the hash of the data */
229*54fd6939SJiyong Park return mbedtls_md(md_info, data_ptr, data_len, output);
230*54fd6939SJiyong Park }
231*54fd6939SJiyong Park #endif /* MEASURED_BOOT */
232*54fd6939SJiyong Park
233*54fd6939SJiyong Park #if TF_MBEDTLS_USE_AES_GCM
234*54fd6939SJiyong Park /*
235*54fd6939SJiyong Park * Stack based buffer allocation for decryption operation. It could
236*54fd6939SJiyong Park * be configured to balance stack usage vs execution speed.
237*54fd6939SJiyong Park */
238*54fd6939SJiyong Park #define DEC_OP_BUF_SIZE 128
239*54fd6939SJiyong Park
aes_gcm_decrypt(void * data_ptr,size_t len,const void * key,unsigned int key_len,const void * iv,unsigned int iv_len,const void * tag,unsigned int tag_len)240*54fd6939SJiyong Park static int aes_gcm_decrypt(void *data_ptr, size_t len, const void *key,
241*54fd6939SJiyong Park unsigned int key_len, const void *iv,
242*54fd6939SJiyong Park unsigned int iv_len, const void *tag,
243*54fd6939SJiyong Park unsigned int tag_len)
244*54fd6939SJiyong Park {
245*54fd6939SJiyong Park mbedtls_gcm_context ctx;
246*54fd6939SJiyong Park mbedtls_cipher_id_t cipher = MBEDTLS_CIPHER_ID_AES;
247*54fd6939SJiyong Park unsigned char buf[DEC_OP_BUF_SIZE];
248*54fd6939SJiyong Park unsigned char tag_buf[CRYPTO_MAX_TAG_SIZE];
249*54fd6939SJiyong Park unsigned char *pt = data_ptr;
250*54fd6939SJiyong Park size_t dec_len;
251*54fd6939SJiyong Park int diff, i, rc;
252*54fd6939SJiyong Park
253*54fd6939SJiyong Park mbedtls_gcm_init(&ctx);
254*54fd6939SJiyong Park
255*54fd6939SJiyong Park rc = mbedtls_gcm_setkey(&ctx, cipher, key, key_len * 8);
256*54fd6939SJiyong Park if (rc != 0) {
257*54fd6939SJiyong Park rc = CRYPTO_ERR_DECRYPTION;
258*54fd6939SJiyong Park goto exit_gcm;
259*54fd6939SJiyong Park }
260*54fd6939SJiyong Park
261*54fd6939SJiyong Park rc = mbedtls_gcm_starts(&ctx, MBEDTLS_GCM_DECRYPT, iv, iv_len, NULL, 0);
262*54fd6939SJiyong Park if (rc != 0) {
263*54fd6939SJiyong Park rc = CRYPTO_ERR_DECRYPTION;
264*54fd6939SJiyong Park goto exit_gcm;
265*54fd6939SJiyong Park }
266*54fd6939SJiyong Park
267*54fd6939SJiyong Park while (len > 0) {
268*54fd6939SJiyong Park dec_len = MIN(sizeof(buf), len);
269*54fd6939SJiyong Park
270*54fd6939SJiyong Park rc = mbedtls_gcm_update(&ctx, dec_len, pt, buf);
271*54fd6939SJiyong Park if (rc != 0) {
272*54fd6939SJiyong Park rc = CRYPTO_ERR_DECRYPTION;
273*54fd6939SJiyong Park goto exit_gcm;
274*54fd6939SJiyong Park }
275*54fd6939SJiyong Park
276*54fd6939SJiyong Park memcpy(pt, buf, dec_len);
277*54fd6939SJiyong Park pt += dec_len;
278*54fd6939SJiyong Park len -= dec_len;
279*54fd6939SJiyong Park }
280*54fd6939SJiyong Park
281*54fd6939SJiyong Park rc = mbedtls_gcm_finish(&ctx, tag_buf, sizeof(tag_buf));
282*54fd6939SJiyong Park if (rc != 0) {
283*54fd6939SJiyong Park rc = CRYPTO_ERR_DECRYPTION;
284*54fd6939SJiyong Park goto exit_gcm;
285*54fd6939SJiyong Park }
286*54fd6939SJiyong Park
287*54fd6939SJiyong Park /* Check tag in "constant-time" */
288*54fd6939SJiyong Park for (diff = 0, i = 0; i < tag_len; i++)
289*54fd6939SJiyong Park diff |= ((const unsigned char *)tag)[i] ^ tag_buf[i];
290*54fd6939SJiyong Park
291*54fd6939SJiyong Park if (diff != 0) {
292*54fd6939SJiyong Park rc = CRYPTO_ERR_DECRYPTION;
293*54fd6939SJiyong Park goto exit_gcm;
294*54fd6939SJiyong Park }
295*54fd6939SJiyong Park
296*54fd6939SJiyong Park /* GCM decryption success */
297*54fd6939SJiyong Park rc = CRYPTO_SUCCESS;
298*54fd6939SJiyong Park
299*54fd6939SJiyong Park exit_gcm:
300*54fd6939SJiyong Park mbedtls_gcm_free(&ctx);
301*54fd6939SJiyong Park return rc;
302*54fd6939SJiyong Park }
303*54fd6939SJiyong Park
304*54fd6939SJiyong Park /*
305*54fd6939SJiyong Park * Authenticated decryption of an image
306*54fd6939SJiyong Park */
auth_decrypt(enum crypto_dec_algo dec_algo,void * data_ptr,size_t len,const void * key,unsigned int key_len,unsigned int key_flags,const void * iv,unsigned int iv_len,const void * tag,unsigned int tag_len)307*54fd6939SJiyong Park static int auth_decrypt(enum crypto_dec_algo dec_algo, void *data_ptr,
308*54fd6939SJiyong Park size_t len, const void *key, unsigned int key_len,
309*54fd6939SJiyong Park unsigned int key_flags, const void *iv,
310*54fd6939SJiyong Park unsigned int iv_len, const void *tag,
311*54fd6939SJiyong Park unsigned int tag_len)
312*54fd6939SJiyong Park {
313*54fd6939SJiyong Park int rc;
314*54fd6939SJiyong Park
315*54fd6939SJiyong Park assert((key_flags & ENC_KEY_IS_IDENTIFIER) == 0);
316*54fd6939SJiyong Park
317*54fd6939SJiyong Park switch (dec_algo) {
318*54fd6939SJiyong Park case CRYPTO_GCM_DECRYPT:
319*54fd6939SJiyong Park rc = aes_gcm_decrypt(data_ptr, len, key, key_len, iv, iv_len,
320*54fd6939SJiyong Park tag, tag_len);
321*54fd6939SJiyong Park if (rc != 0)
322*54fd6939SJiyong Park return rc;
323*54fd6939SJiyong Park break;
324*54fd6939SJiyong Park default:
325*54fd6939SJiyong Park return CRYPTO_ERR_DECRYPTION;
326*54fd6939SJiyong Park }
327*54fd6939SJiyong Park
328*54fd6939SJiyong Park return CRYPTO_SUCCESS;
329*54fd6939SJiyong Park }
330*54fd6939SJiyong Park #endif /* TF_MBEDTLS_USE_AES_GCM */
331*54fd6939SJiyong Park
332*54fd6939SJiyong Park /*
333*54fd6939SJiyong Park * Register crypto library descriptor
334*54fd6939SJiyong Park */
335*54fd6939SJiyong Park #if MEASURED_BOOT
336*54fd6939SJiyong Park #if TF_MBEDTLS_USE_AES_GCM
337*54fd6939SJiyong Park REGISTER_CRYPTO_LIB(LIB_NAME, init, verify_signature, verify_hash, calc_hash,
338*54fd6939SJiyong Park auth_decrypt);
339*54fd6939SJiyong Park #else
340*54fd6939SJiyong Park REGISTER_CRYPTO_LIB(LIB_NAME, init, verify_signature, verify_hash, calc_hash,
341*54fd6939SJiyong Park NULL);
342*54fd6939SJiyong Park #endif
343*54fd6939SJiyong Park #else /* MEASURED_BOOT */
344*54fd6939SJiyong Park #if TF_MBEDTLS_USE_AES_GCM
345*54fd6939SJiyong Park REGISTER_CRYPTO_LIB(LIB_NAME, init, verify_signature, verify_hash,
346*54fd6939SJiyong Park auth_decrypt);
347*54fd6939SJiyong Park #else
348*54fd6939SJiyong Park REGISTER_CRYPTO_LIB(LIB_NAME, init, verify_signature, verify_hash, NULL);
349*54fd6939SJiyong Park #endif
350*54fd6939SJiyong Park #endif /* MEASURED_BOOT */
351