xref: /optee_os/lib/libutee/tee_api_operations.c (revision 0f2293b796b141d15c18db856d63f200e4f02981)
1b0104773SPascal Brand /*
2b0104773SPascal Brand  * Copyright (c) 2014, STMicroelectronics International N.V.
3b0104773SPascal Brand  * All rights reserved.
4b0104773SPascal Brand  *
5b0104773SPascal Brand  * Redistribution and use in source and binary forms, with or without
6b0104773SPascal Brand  * modification, are permitted provided that the following conditions are met:
7b0104773SPascal Brand  *
8b0104773SPascal Brand  * 1. Redistributions of source code must retain the above copyright notice,
9b0104773SPascal Brand  * this list of conditions and the following disclaimer.
10b0104773SPascal Brand  *
11b0104773SPascal Brand  * 2. Redistributions in binary form must reproduce the above copyright notice,
12b0104773SPascal Brand  * this list of conditions and the following disclaimer in the documentation
13b0104773SPascal Brand  * and/or other materials provided with the distribution.
14b0104773SPascal Brand  *
15b0104773SPascal Brand  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16b0104773SPascal Brand  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17b0104773SPascal Brand  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18b0104773SPascal Brand  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
19b0104773SPascal Brand  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20b0104773SPascal Brand  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21b0104773SPascal Brand  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22b0104773SPascal Brand  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23b0104773SPascal Brand  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24b0104773SPascal Brand  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25b0104773SPascal Brand  * POSSIBILITY OF SUCH DAMAGE.
26b0104773SPascal Brand  */
27b0104773SPascal Brand #include <stdlib.h>
28b0104773SPascal Brand #include <string.h>
29b796ebf3SJerome Forissier #include <string_ext.h>
30b0104773SPascal Brand 
31b0104773SPascal Brand #include <tee_api.h>
328854d3c6SJerome Forissier #include <tee_api_defines_extensions.h>
33b0104773SPascal Brand #include <tee_internal_api_extensions.h>
34b0104773SPascal Brand #include <utee_syscalls.h>
35b0104773SPascal Brand #include <utee_defines.h>
36b0104773SPascal Brand 
37b0104773SPascal Brand struct __TEE_OperationHandle {
38b0104773SPascal Brand 	TEE_OperationInfo info;
39b0104773SPascal Brand 	TEE_ObjectHandle key1;
40b0104773SPascal Brand 	TEE_ObjectHandle key2;
41b0104773SPascal Brand 	uint8_t *buffer;	/* buffer to collect complete blocks */
42b0104773SPascal Brand 	bool buffer_two_blocks;	/* True if two blocks need to be buffered */
43b0104773SPascal Brand 	size_t block_size;	/* Block size of cipher */
44b0104773SPascal Brand 	size_t buffer_offs;	/* Offset in buffer */
45b0104773SPascal Brand 	uint32_t state;		/* Handle to state in TEE Core */
46b0104773SPascal Brand 	uint32_t ae_tag_len;	/*
47b0104773SPascal Brand 				 * tag_len in bytes for AE operation else unused
48b0104773SPascal Brand 				 */
49b0104773SPascal Brand };
50b0104773SPascal Brand 
51b0104773SPascal Brand /* Cryptographic Operations API - Generic Operation Functions */
52b0104773SPascal Brand 
53b0104773SPascal Brand TEE_Result TEE_AllocateOperation(TEE_OperationHandle *operation,
54b0104773SPascal Brand 				 uint32_t algorithm, uint32_t mode,
55b0104773SPascal Brand 				 uint32_t maxKeySize)
56b0104773SPascal Brand {
57b0104773SPascal Brand 	TEE_Result res;
58b0104773SPascal Brand 	TEE_OperationHandle op = TEE_HANDLE_NULL;
59b0104773SPascal Brand 	uint32_t handle_state = 0;
60b0104773SPascal Brand 	size_t block_size = 1;
61b0104773SPascal Brand 	uint32_t req_key_usage;
62b0104773SPascal Brand 	bool with_private_key = false;
63b0104773SPascal Brand 	bool buffer_two_blocks = false;
64b0104773SPascal Brand 
65b0104773SPascal Brand 	if (operation == NULL)
66b0104773SPascal Brand 		TEE_Panic(0);
67b0104773SPascal Brand 
68b0104773SPascal Brand 	if (algorithm == TEE_ALG_AES_XTS)
69b0104773SPascal Brand 		handle_state = TEE_HANDLE_FLAG_EXPECT_TWO_KEYS;
70b0104773SPascal Brand 
71b0104773SPascal Brand 	switch (algorithm) {
72b0104773SPascal Brand 	case TEE_ALG_AES_CTS:
73b0104773SPascal Brand 	case TEE_ALG_AES_XTS:
74b0104773SPascal Brand 		buffer_two_blocks = true;
75b0104773SPascal Brand 	 /*FALLTHROUGH*/ case TEE_ALG_AES_ECB_NOPAD:
76b0104773SPascal Brand 	case TEE_ALG_AES_CBC_NOPAD:
77b0104773SPascal Brand 	case TEE_ALG_AES_CTR:
78b0104773SPascal Brand 	case TEE_ALG_AES_CCM:
79b0104773SPascal Brand 	case TEE_ALG_AES_GCM:
80b0104773SPascal Brand 	case TEE_ALG_DES_ECB_NOPAD:
81b0104773SPascal Brand 	case TEE_ALG_DES_CBC_NOPAD:
82b0104773SPascal Brand 	case TEE_ALG_DES3_ECB_NOPAD:
83b0104773SPascal Brand 	case TEE_ALG_DES3_CBC_NOPAD:
84b0104773SPascal Brand 		if (TEE_ALG_GET_MAIN_ALG(algorithm) == TEE_MAIN_ALGO_AES)
85b0104773SPascal Brand 			block_size = TEE_AES_BLOCK_SIZE;
86b0104773SPascal Brand 		else
87b0104773SPascal Brand 			block_size = TEE_DES_BLOCK_SIZE;
88b0104773SPascal Brand 
89b0104773SPascal Brand 		if (mode == TEE_MODE_ENCRYPT)
90b0104773SPascal Brand 			req_key_usage = TEE_USAGE_ENCRYPT;
91b0104773SPascal Brand 		else if (mode == TEE_MODE_DECRYPT)
92b0104773SPascal Brand 			req_key_usage = TEE_USAGE_DECRYPT;
93b0104773SPascal Brand 		else
94b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
95b0104773SPascal Brand 		break;
96b0104773SPascal Brand 
97b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_MD5:
98b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_SHA1:
99b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_SHA224:
100b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_SHA256:
101b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_SHA384:
102b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_V1_5_SHA512:
103b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_PSS_MGF1_SHA1:
104b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_PSS_MGF1_SHA224:
105b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_PSS_MGF1_SHA256:
106b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_PSS_MGF1_SHA384:
107b0104773SPascal Brand 	case TEE_ALG_RSASSA_PKCS1_PSS_MGF1_SHA512:
108b0104773SPascal Brand 	case TEE_ALG_DSA_SHA1:
109b0104773SPascal Brand 		if (mode == TEE_MODE_SIGN) {
110b0104773SPascal Brand 			with_private_key = true;
111b0104773SPascal Brand 			req_key_usage = TEE_USAGE_SIGN;
112b0104773SPascal Brand 		} else if (mode == TEE_MODE_VERIFY) {
113b0104773SPascal Brand 			req_key_usage = TEE_USAGE_VERIFY;
114b0104773SPascal Brand 		} else {
115b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
116b0104773SPascal Brand 		}
117b0104773SPascal Brand 		break;
118b0104773SPascal Brand 
119b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_V1_5:
120b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_OAEP_MGF1_SHA1:
121b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_OAEP_MGF1_SHA224:
122b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_OAEP_MGF1_SHA256:
123b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_OAEP_MGF1_SHA384:
124b0104773SPascal Brand 	case TEE_ALG_RSAES_PKCS1_OAEP_MGF1_SHA512:
125b0104773SPascal Brand 		if (mode == TEE_MODE_ENCRYPT) {
126b0104773SPascal Brand 			req_key_usage = TEE_USAGE_ENCRYPT;
127b0104773SPascal Brand 		} else if (mode == TEE_MODE_DECRYPT) {
128b0104773SPascal Brand 			with_private_key = true;
129b0104773SPascal Brand 			req_key_usage = TEE_USAGE_DECRYPT;
130b0104773SPascal Brand 		} else {
131b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
132b0104773SPascal Brand 		}
133b0104773SPascal Brand 		break;
134b0104773SPascal Brand 
135b0104773SPascal Brand 	case TEE_ALG_RSA_NOPAD:
136b0104773SPascal Brand 		if (mode == TEE_MODE_ENCRYPT) {
137b0104773SPascal Brand 			req_key_usage = TEE_USAGE_ENCRYPT | TEE_USAGE_VERIFY;
138b0104773SPascal Brand 		} else if (mode == TEE_MODE_DECRYPT) {
139b0104773SPascal Brand 			with_private_key = true;
140b0104773SPascal Brand 			req_key_usage = TEE_USAGE_DECRYPT | TEE_USAGE_SIGN;
141b0104773SPascal Brand 		} else {
142b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
143b0104773SPascal Brand 		}
144b0104773SPascal Brand 		break;
145b0104773SPascal Brand 
146b0104773SPascal Brand 	case TEE_ALG_DH_DERIVE_SHARED_SECRET:
147cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_MD5_DERIVE_KEY:
148cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_SHA1_DERIVE_KEY:
149cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_SHA224_DERIVE_KEY:
150cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_SHA256_DERIVE_KEY:
151cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_SHA384_DERIVE_KEY:
152cdb198a7SJerome Forissier 	case TEE_ALG_HKDF_SHA512_DERIVE_KEY:
1538854d3c6SJerome Forissier 	case TEE_ALG_CONCAT_KDF_SHA1_DERIVE_KEY:
1548854d3c6SJerome Forissier 	case TEE_ALG_CONCAT_KDF_SHA224_DERIVE_KEY:
1558854d3c6SJerome Forissier 	case TEE_ALG_CONCAT_KDF_SHA256_DERIVE_KEY:
1568854d3c6SJerome Forissier 	case TEE_ALG_CONCAT_KDF_SHA384_DERIVE_KEY:
1578854d3c6SJerome Forissier 	case TEE_ALG_CONCAT_KDF_SHA512_DERIVE_KEY:
158*0f2293b7SJerome Forissier 	case TEE_ALG_PBKDF2_HMAC_SHA1_DERIVE_KEY:
159b0104773SPascal Brand 		if (mode != TEE_MODE_DERIVE)
160b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
161b0104773SPascal Brand 		with_private_key = true;
162b0104773SPascal Brand 		req_key_usage = TEE_USAGE_DERIVE;
163b0104773SPascal Brand 		break;
164b0104773SPascal Brand 
165b0104773SPascal Brand 	case TEE_ALG_MD5:
166b0104773SPascal Brand 	case TEE_ALG_SHA1:
167b0104773SPascal Brand 	case TEE_ALG_SHA224:
168b0104773SPascal Brand 	case TEE_ALG_SHA256:
169b0104773SPascal Brand 	case TEE_ALG_SHA384:
170b0104773SPascal Brand 	case TEE_ALG_SHA512:
171b0104773SPascal Brand 		if (mode != TEE_MODE_DIGEST)
172b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
173b0104773SPascal Brand 		handle_state |= TEE_HANDLE_FLAG_KEY_SET;
174b0104773SPascal Brand 		req_key_usage = 0;
175b0104773SPascal Brand 		break;
176b0104773SPascal Brand 
177b0104773SPascal Brand 	case TEE_ALG_DES_CBC_MAC_NOPAD:
178b0104773SPascal Brand 	case TEE_ALG_AES_CBC_MAC_NOPAD:
179b0104773SPascal Brand 	case TEE_ALG_AES_CBC_MAC_PKCS5:
180b0104773SPascal Brand 	case TEE_ALG_AES_CMAC:
181b0104773SPascal Brand 	case TEE_ALG_DES_CBC_MAC_PKCS5:
182b0104773SPascal Brand 	case TEE_ALG_DES3_CBC_MAC_NOPAD:
183b0104773SPascal Brand 	case TEE_ALG_DES3_CBC_MAC_PKCS5:
184b0104773SPascal Brand 	case TEE_ALG_HMAC_MD5:
185b0104773SPascal Brand 	case TEE_ALG_HMAC_SHA1:
186b0104773SPascal Brand 	case TEE_ALG_HMAC_SHA224:
187b0104773SPascal Brand 	case TEE_ALG_HMAC_SHA256:
188b0104773SPascal Brand 	case TEE_ALG_HMAC_SHA384:
189b0104773SPascal Brand 	case TEE_ALG_HMAC_SHA512:
190b0104773SPascal Brand 		if (mode != TEE_MODE_MAC)
191b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
192b0104773SPascal Brand 		req_key_usage = TEE_USAGE_MAC;
193b0104773SPascal Brand 		break;
194b0104773SPascal Brand 
195b0104773SPascal Brand 	default:
196b0104773SPascal Brand 		return TEE_ERROR_NOT_SUPPORTED;
197b0104773SPascal Brand 	}
198b0104773SPascal Brand 
199b0104773SPascal Brand 	op = TEE_Malloc(sizeof(*op), 0);
200b0104773SPascal Brand 	if (op == NULL)
201b0104773SPascal Brand 		return TEE_ERROR_OUT_OF_MEMORY;
202b0104773SPascal Brand 
203b0104773SPascal Brand 	op->info.algorithm = algorithm;
204b0104773SPascal Brand 	op->info.operationClass = TEE_ALG_GET_CLASS(algorithm);
205b0104773SPascal Brand 	op->info.mode = mode;
206b0104773SPascal Brand 	op->info.maxKeySize = maxKeySize;
207b0104773SPascal Brand 	op->info.requiredKeyUsage = req_key_usage;
208b0104773SPascal Brand 	op->info.handleState = handle_state;
209b0104773SPascal Brand 
210b0104773SPascal Brand 	if (block_size > 1) {
211b0104773SPascal Brand 		size_t buffer_size = block_size;
212b0104773SPascal Brand 
213b0104773SPascal Brand 		if (buffer_two_blocks)
214b0104773SPascal Brand 			buffer_size *= 2;
215b0104773SPascal Brand 
216b0104773SPascal Brand 		op->buffer =
217b0104773SPascal Brand 		    TEE_Malloc(buffer_size, TEE_USER_MEM_HINT_NO_FILL_ZERO);
218b0104773SPascal Brand 		if (op->buffer == NULL) {
219b0104773SPascal Brand 			res = TEE_ERROR_OUT_OF_MEMORY;
220b0104773SPascal Brand 			goto out;
221b0104773SPascal Brand 		}
222b0104773SPascal Brand 	}
223b0104773SPascal Brand 	op->block_size = block_size;
224b0104773SPascal Brand 	op->buffer_two_blocks = buffer_two_blocks;
225b0104773SPascal Brand 
226b0104773SPascal Brand 	if (TEE_ALG_GET_CLASS(algorithm) != TEE_OPERATION_DIGEST) {
227b0104773SPascal Brand 		uint32_t mks = maxKeySize;
228b0104773SPascal Brand 		TEE_ObjectType key_type = TEE_ALG_GET_KEY_TYPE(algorithm,
229b0104773SPascal Brand 						       with_private_key);
230b0104773SPascal Brand 
231b0104773SPascal Brand 		/*
232b0104773SPascal Brand 		 * If two keys are expected the max key size is the sum of
233b0104773SPascal Brand 		 * the size of both keys.
234b0104773SPascal Brand 		 */
235b0104773SPascal Brand 		if (op->info.handleState & TEE_HANDLE_FLAG_EXPECT_TWO_KEYS)
236b0104773SPascal Brand 			mks /= 2;
237b0104773SPascal Brand 
238b0104773SPascal Brand 		res = TEE_AllocateTransientObject(key_type, mks, &op->key1);
239b0104773SPascal Brand 		if (res != TEE_SUCCESS)
240b0104773SPascal Brand 			goto out;
241b0104773SPascal Brand 
242b0104773SPascal Brand 		if ((op->info.handleState & TEE_HANDLE_FLAG_EXPECT_TWO_KEYS) !=
243b0104773SPascal Brand 		    0) {
244b0104773SPascal Brand 			res =
245b0104773SPascal Brand 			    TEE_AllocateTransientObject(key_type, mks,
246b0104773SPascal Brand 							&op->key2);
247b0104773SPascal Brand 			if (res != TEE_SUCCESS)
248b0104773SPascal Brand 				goto out;
249b0104773SPascal Brand 		}
250b0104773SPascal Brand 	}
251b0104773SPascal Brand 
252b0104773SPascal Brand 	res = utee_cryp_state_alloc(algorithm, mode, (uint32_t) op->key1,
253b0104773SPascal Brand 				    (uint32_t) op->key2, &op->state);
254b0104773SPascal Brand 	if (res != TEE_SUCCESS)
255b0104773SPascal Brand 		goto out;
256b0104773SPascal Brand 
257b0104773SPascal Brand 	/* For multi-stage operation do an "init". */
258b0104773SPascal Brand 	TEE_ResetOperation(op);
259b0104773SPascal Brand 	*operation = op;
260b0104773SPascal Brand 
261b0104773SPascal Brand out:
262b0104773SPascal Brand 	if (res != TEE_SUCCESS) {
263b0104773SPascal Brand 		TEE_FreeTransientObject(op->key1);
264b0104773SPascal Brand 		TEE_FreeTransientObject(op->key2);
265b0104773SPascal Brand 		TEE_FreeOperation(op);
266b0104773SPascal Brand 	}
267b0104773SPascal Brand 
268b0104773SPascal Brand 	return res;
269b0104773SPascal Brand }
270b0104773SPascal Brand 
271b0104773SPascal Brand void TEE_FreeOperation(TEE_OperationHandle operation)
272b0104773SPascal Brand {
273b0104773SPascal Brand 	if (operation != TEE_HANDLE_NULL) {
274b0104773SPascal Brand 		/*
275b0104773SPascal Brand 		 * Note that keys should not be freed here, since they are
276b0104773SPascal Brand 		 * claimed by the operation they will be freed by
277b0104773SPascal Brand 		 * utee_cryp_state_free().
278b0104773SPascal Brand 		 */
279b0104773SPascal Brand 		utee_cryp_state_free(operation->state);
280b0104773SPascal Brand 		TEE_Free(operation->buffer);
281b0104773SPascal Brand 		TEE_Free(operation);
282b0104773SPascal Brand 	}
283b0104773SPascal Brand }
284b0104773SPascal Brand 
285b0104773SPascal Brand void TEE_GetOperationInfo(TEE_OperationHandle operation,
286b0104773SPascal Brand 			  TEE_OperationInfo *operationInfo)
287b0104773SPascal Brand {
288b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
289b0104773SPascal Brand 		TEE_Panic(0);
290b0104773SPascal Brand 
291b0104773SPascal Brand 	if (operationInfo == NULL)
292b0104773SPascal Brand 		TEE_Panic(0);
293b0104773SPascal Brand 
294b0104773SPascal Brand 	*operationInfo = operation->info;
295b0104773SPascal Brand }
296b0104773SPascal Brand 
297b0104773SPascal Brand void TEE_ResetOperation(TEE_OperationHandle operation)
298b0104773SPascal Brand {
299b0104773SPascal Brand 	TEE_Result res;
300b0104773SPascal Brand 
301b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
302b0104773SPascal Brand 		TEE_Panic(0);
303b0104773SPascal Brand 	if (operation->info.operationClass == TEE_OPERATION_DIGEST) {
304b0104773SPascal Brand 		res = utee_hash_init(operation->state, NULL, 0);
305b0104773SPascal Brand 		if (res != TEE_SUCCESS)
306b0104773SPascal Brand 			TEE_Panic(res);
307b0104773SPascal Brand 	}
308b0104773SPascal Brand 	operation->info.handleState &= ~TEE_HANDLE_FLAG_INITIALIZED;
309b0104773SPascal Brand }
310b0104773SPascal Brand 
311b0104773SPascal Brand TEE_Result TEE_SetOperationKey(TEE_OperationHandle operation,
312b0104773SPascal Brand 			       TEE_ObjectHandle key)
313b0104773SPascal Brand {
314b0104773SPascal Brand 	uint32_t key_size = 0;
315b0104773SPascal Brand 
316b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
317b0104773SPascal Brand 		TEE_Panic(0);
318b0104773SPascal Brand 
319b0104773SPascal Brand 	/* No key for digests */
320b0104773SPascal Brand 	if (operation->info.operationClass == TEE_OPERATION_DIGEST)
321b0104773SPascal Brand 		TEE_Panic(0);
322b0104773SPascal Brand 
323b0104773SPascal Brand 	/* Two keys expected */
324b0104773SPascal Brand 	if ((operation->info.handleState & TEE_HANDLE_FLAG_EXPECT_TWO_KEYS) !=
325b0104773SPascal Brand 	    0)
326b0104773SPascal Brand 		TEE_Panic(0);
327b0104773SPascal Brand 
328b0104773SPascal Brand 	if (key != TEE_HANDLE_NULL) {
329b0104773SPascal Brand 		TEE_ObjectInfo key_info;
330b0104773SPascal Brand 
331b0104773SPascal Brand 		TEE_GetObjectInfo(key, &key_info);
332b0104773SPascal Brand 		/* Supplied key has to meet required usage */
333b0104773SPascal Brand 		if ((key_info.objectUsage & operation->info.requiredKeyUsage) !=
334b0104773SPascal Brand 		    operation->info.requiredKeyUsage) {
335b0104773SPascal Brand 			TEE_Panic(0);
336b0104773SPascal Brand 		}
337b0104773SPascal Brand 
338b0104773SPascal Brand 		if (operation->info.maxKeySize < key_info.objectSize)
339b0104773SPascal Brand 			TEE_Panic(0);
340b0104773SPascal Brand 
341b0104773SPascal Brand 		key_size = key_info.objectSize;
342b0104773SPascal Brand 	}
343b0104773SPascal Brand 
344b0104773SPascal Brand 	TEE_ResetTransientObject(operation->key1);
345b0104773SPascal Brand 	operation->info.handleState &= ~TEE_HANDLE_FLAG_KEY_SET;
346b0104773SPascal Brand 
347b0104773SPascal Brand 	if (key != TEE_HANDLE_NULL) {
348b0104773SPascal Brand 		TEE_CopyObjectAttributes(operation->key1, key);
349b0104773SPascal Brand 		operation->info.handleState |= TEE_HANDLE_FLAG_KEY_SET;
350b0104773SPascal Brand 	}
351b0104773SPascal Brand 
352b0104773SPascal Brand 	operation->info.keySize = key_size;
353b0104773SPascal Brand 
354b0104773SPascal Brand 	return TEE_SUCCESS;
355b0104773SPascal Brand }
356b0104773SPascal Brand 
357b0104773SPascal Brand TEE_Result TEE_SetOperationKey2(TEE_OperationHandle operation,
358b0104773SPascal Brand 				TEE_ObjectHandle key1, TEE_ObjectHandle key2)
359b0104773SPascal Brand {
360b0104773SPascal Brand 	uint32_t key_size = 0;
361b0104773SPascal Brand 
362b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
363b0104773SPascal Brand 		TEE_Panic(0);
364b0104773SPascal Brand 
365b0104773SPascal Brand 	/* Two keys not expected */
366b0104773SPascal Brand 	if ((operation->info.handleState & TEE_HANDLE_FLAG_EXPECT_TWO_KEYS) ==
367b0104773SPascal Brand 	    0)
368b0104773SPascal Brand 		TEE_Panic(0);
369b0104773SPascal Brand 
370b0104773SPascal Brand 	/* Either both keys are NULL or both are not NULL */
371b0104773SPascal Brand 	if ((key1 == TEE_HANDLE_NULL || key2 == TEE_HANDLE_NULL) &&
372b0104773SPascal Brand 	    key1 != key2)
373b0104773SPascal Brand 		TEE_Panic(0);
374b0104773SPascal Brand 
375b0104773SPascal Brand 	if (key1 != TEE_HANDLE_NULL) {
376b0104773SPascal Brand 		TEE_ObjectInfo key_info1;
377b0104773SPascal Brand 		TEE_ObjectInfo key_info2;
378b0104773SPascal Brand 
379b0104773SPascal Brand 		TEE_GetObjectInfo(key1, &key_info1);
380b0104773SPascal Brand 		/* Supplied key has to meet required usage */
381b0104773SPascal Brand 		if ((key_info1.objectUsage & operation->info.
382b0104773SPascal Brand 		     requiredKeyUsage) != operation->info.requiredKeyUsage) {
383b0104773SPascal Brand 			TEE_Panic(0);
384b0104773SPascal Brand 		}
385b0104773SPascal Brand 
386b0104773SPascal Brand 		TEE_GetObjectInfo(key2, &key_info2);
387b0104773SPascal Brand 		/* Supplied key has to meet required usage */
388b0104773SPascal Brand 		if ((key_info2.objectUsage & operation->info.
389b0104773SPascal Brand 		     requiredKeyUsage) != operation->info.requiredKeyUsage) {
390b0104773SPascal Brand 			TEE_Panic(0);
391b0104773SPascal Brand 		}
392b0104773SPascal Brand 
393b0104773SPascal Brand 		/*
394b0104773SPascal Brand 		 * AES-XTS (the only multi key algorithm supported, requires the
395b0104773SPascal Brand 		 * keys to be of equal size.
396b0104773SPascal Brand 		 */
397b0104773SPascal Brand 		if (operation->info.algorithm == TEE_ALG_AES_XTS &&
398b0104773SPascal Brand 		    key_info1.objectSize != key_info2.objectSize)
399b0104773SPascal Brand 			TEE_Panic(0);
400b0104773SPascal Brand 
401b0104773SPascal Brand 		if (operation->info.maxKeySize < key_info1.objectSize)
402b0104773SPascal Brand 			TEE_Panic(0);
403b0104773SPascal Brand 
404b0104773SPascal Brand 		/*
405b0104773SPascal Brand 		 * Odd that only the size of one key should be reported while
406b0104773SPascal Brand 		 * size of two key are used when allocating the operation.
407b0104773SPascal Brand 		 */
408b0104773SPascal Brand 		key_size = key_info1.objectSize;
409b0104773SPascal Brand 	}
410b0104773SPascal Brand 
411b0104773SPascal Brand 	TEE_ResetTransientObject(operation->key1);
412b0104773SPascal Brand 	TEE_ResetTransientObject(operation->key2);
413b0104773SPascal Brand 	operation->info.handleState &= ~TEE_HANDLE_FLAG_KEY_SET;
414b0104773SPascal Brand 
415b0104773SPascal Brand 	if (key1 != TEE_HANDLE_NULL) {
416b0104773SPascal Brand 		TEE_CopyObjectAttributes(operation->key1, key1);
417b0104773SPascal Brand 		TEE_CopyObjectAttributes(operation->key2, key2);
418b0104773SPascal Brand 		operation->info.handleState |= TEE_HANDLE_FLAG_KEY_SET;
419b0104773SPascal Brand 	}
420b0104773SPascal Brand 
421b0104773SPascal Brand 	operation->info.keySize = key_size;
422b0104773SPascal Brand 
423b0104773SPascal Brand 	return TEE_SUCCESS;
424b0104773SPascal Brand }
425b0104773SPascal Brand 
426b0104773SPascal Brand void TEE_CopyOperation(TEE_OperationHandle dst_op, TEE_OperationHandle src_op)
427b0104773SPascal Brand {
428b0104773SPascal Brand 	TEE_Result res;
429b0104773SPascal Brand 
430b0104773SPascal Brand 	if (dst_op == TEE_HANDLE_NULL || src_op == TEE_HANDLE_NULL)
431b0104773SPascal Brand 		TEE_Panic(0);
432b0104773SPascal Brand 	if (dst_op->info.algorithm != src_op->info.algorithm)
433b0104773SPascal Brand 		TEE_Panic(0);
434b0104773SPascal Brand 	if (src_op->info.operationClass != TEE_OPERATION_DIGEST) {
435b0104773SPascal Brand 		TEE_ObjectHandle key1 = TEE_HANDLE_NULL;
436b0104773SPascal Brand 		TEE_ObjectHandle key2 = TEE_HANDLE_NULL;
437b0104773SPascal Brand 
438b0104773SPascal Brand 		if (src_op->info.handleState & TEE_HANDLE_FLAG_KEY_SET) {
439b0104773SPascal Brand 			key1 = src_op->key1;
440b0104773SPascal Brand 			key2 = src_op->key2;
441b0104773SPascal Brand 		}
442b0104773SPascal Brand 
443b0104773SPascal Brand 		if ((src_op->info.handleState &
444b0104773SPascal Brand 		     TEE_HANDLE_FLAG_EXPECT_TWO_KEYS) == 0) {
445b0104773SPascal Brand 			TEE_SetOperationKey(dst_op, key1);
446b0104773SPascal Brand 		} else {
447b0104773SPascal Brand 			TEE_SetOperationKey2(dst_op, key1, key2);
448b0104773SPascal Brand 		}
449b0104773SPascal Brand 	}
450b0104773SPascal Brand 	dst_op->info.handleState = src_op->info.handleState;
451b0104773SPascal Brand 	dst_op->info.keySize = src_op->info.keySize;
452b0104773SPascal Brand 
453b0104773SPascal Brand 	if (dst_op->buffer_two_blocks != src_op->buffer_two_blocks ||
454b0104773SPascal Brand 	    dst_op->block_size != src_op->block_size)
455b0104773SPascal Brand 		TEE_Panic(0);
456b0104773SPascal Brand 
457b0104773SPascal Brand 	if (dst_op->buffer != NULL) {
458b0104773SPascal Brand 		if (src_op->buffer == NULL)
459b0104773SPascal Brand 			TEE_Panic(0);
460b0104773SPascal Brand 
461b0104773SPascal Brand 		memcpy(dst_op->buffer, src_op->buffer, src_op->buffer_offs);
462b0104773SPascal Brand 		dst_op->buffer_offs = src_op->buffer_offs;
463b0104773SPascal Brand 	} else if (src_op->buffer != NULL) {
464b0104773SPascal Brand 		TEE_Panic(0);
465b0104773SPascal Brand 	}
466b0104773SPascal Brand 
467b0104773SPascal Brand 	res = utee_cryp_state_copy(dst_op->state, src_op->state);
468b0104773SPascal Brand 	if (res != TEE_SUCCESS)
469b0104773SPascal Brand 		TEE_Panic(res);
470b0104773SPascal Brand }
471b0104773SPascal Brand 
472b0104773SPascal Brand /* Cryptographic Operations API - Message Digest Functions */
473b0104773SPascal Brand 
474b0104773SPascal Brand void TEE_DigestUpdate(TEE_OperationHandle operation,
475b0104773SPascal Brand 		      void *chunk, size_t chunkSize)
476b0104773SPascal Brand {
47773d6c3baSJoakim Bech 	TEE_Result res = TEE_ERROR_GENERIC;
478b0104773SPascal Brand 
47973d6c3baSJoakim Bech 	if (operation == TEE_HANDLE_NULL ||
48073d6c3baSJoakim Bech 	    operation->info.operationClass != TEE_OPERATION_DIGEST)
481b0104773SPascal Brand 		TEE_Panic(0);
48273d6c3baSJoakim Bech 
483b0104773SPascal Brand 	res = utee_hash_update(operation->state, chunk, chunkSize);
484b0104773SPascal Brand 	if (res != TEE_SUCCESS)
485b0104773SPascal Brand 		TEE_Panic(res);
486b0104773SPascal Brand }
487b0104773SPascal Brand 
488b0104773SPascal Brand TEE_Result TEE_DigestDoFinal(TEE_OperationHandle operation, const void *chunk,
489b0104773SPascal Brand 			     size_t chunkLen, void *hash, size_t *hashLen)
490b0104773SPascal Brand {
49173d6c3baSJoakim Bech 	if ((operation == TEE_HANDLE_NULL) || (!chunk && chunkLen) ||
49273d6c3baSJoakim Bech 	    !hash || !hashLen ||
49373d6c3baSJoakim Bech 	    (operation->info.operationClass != TEE_OPERATION_DIGEST))
494b0104773SPascal Brand 		TEE_Panic(0);
49573d6c3baSJoakim Bech 
496b0104773SPascal Brand 	return utee_hash_final(operation->state, chunk, chunkLen, hash,
497b0104773SPascal Brand 			       hashLen);
498b0104773SPascal Brand }
499b0104773SPascal Brand 
500b0104773SPascal Brand /* Cryptographic Operations API - Symmetric Cipher Functions */
501b0104773SPascal Brand 
502b0104773SPascal Brand void TEE_CipherInit(TEE_OperationHandle operation, const void *IV, size_t IVLen)
503b0104773SPascal Brand {
504b0104773SPascal Brand 	TEE_Result res;
505b0104773SPascal Brand 
506b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
507b0104773SPascal Brand 		TEE_Panic(0);
508b0104773SPascal Brand 	if (operation->info.operationClass != TEE_OPERATION_CIPHER)
509b0104773SPascal Brand 		TEE_Panic(0);
510b0104773SPascal Brand 	res = utee_cipher_init(operation->state, IV, IVLen);
511b0104773SPascal Brand 	if (res != TEE_SUCCESS)
512b0104773SPascal Brand 		TEE_Panic(res);
513b0104773SPascal Brand 	operation->buffer_offs = 0;
514b0104773SPascal Brand 	operation->info.handleState |= TEE_HANDLE_FLAG_INITIALIZED;
515b0104773SPascal Brand }
516b0104773SPascal Brand 
517b0104773SPascal Brand static TEE_Result tee_buffer_update(
518b0104773SPascal Brand 		TEE_OperationHandle op,
519b0104773SPascal Brand 		TEE_Result(*update_func) (uint32_t state, const void *src,
520b0104773SPascal Brand 					  size_t slen, void *dst, size_t *dlen),
521b0104773SPascal Brand 		const void *src_data, size_t src_len,
522b0104773SPascal Brand 		void *dest_data, size_t *dest_len)
523b0104773SPascal Brand {
524b0104773SPascal Brand 	TEE_Result res;
525b0104773SPascal Brand 	const uint8_t *src = src_data;
526b0104773SPascal Brand 	size_t slen = src_len;
527b0104773SPascal Brand 	uint8_t *dst = dest_data;
528b0104773SPascal Brand 	size_t dlen = *dest_len;
529b0104773SPascal Brand 	size_t acc_dlen = 0;
530b0104773SPascal Brand 	size_t tmp_dlen;
531b0104773SPascal Brand 	size_t l;
532b0104773SPascal Brand 	size_t buffer_size;
533b0104773SPascal Brand 
534b0104773SPascal Brand 	if (op->buffer_two_blocks)
535b0104773SPascal Brand 		buffer_size = op->block_size * 2;
536b0104773SPascal Brand 	else
537b0104773SPascal Brand 		buffer_size = op->block_size;
538b0104773SPascal Brand 
539b0104773SPascal Brand 	if (op->buffer_offs > 0) {
540b0104773SPascal Brand 		/* Fill up complete block */
541b0104773SPascal Brand 		if (op->buffer_offs < op->block_size)
542b0104773SPascal Brand 			l = MIN(slen, op->block_size - op->buffer_offs);
543b0104773SPascal Brand 		else
544b0104773SPascal Brand 			l = MIN(slen, buffer_size - op->buffer_offs);
545b0104773SPascal Brand 		memcpy(op->buffer + op->buffer_offs, src, l);
546b0104773SPascal Brand 		op->buffer_offs += l;
547b0104773SPascal Brand 		src += l;
548b0104773SPascal Brand 		slen -= l;
549b0104773SPascal Brand 		if ((op->buffer_offs % op->block_size) != 0)
550b0104773SPascal Brand 			goto out;	/* Nothing left to do */
551b0104773SPascal Brand 	}
552b0104773SPascal Brand 
553b0104773SPascal Brand 	/* If we can feed from buffer */
554b0104773SPascal Brand 	if (op->buffer_offs > 0 && (op->buffer_offs + slen) > buffer_size) {
5552ff3fdbbSPascal Brand 		l = ROUNDUP(op->buffer_offs + slen - buffer_size,
556b0104773SPascal Brand 				op->block_size);
557b0104773SPascal Brand 		l = MIN(op->buffer_offs, l);
558b0104773SPascal Brand 		tmp_dlen = dlen;
559b0104773SPascal Brand 		res = update_func(op->state, op->buffer, l, dst, &tmp_dlen);
560b0104773SPascal Brand 		if (res != TEE_SUCCESS)
561b0104773SPascal Brand 			TEE_Panic(res);
562b0104773SPascal Brand 		dst += tmp_dlen;
563b0104773SPascal Brand 		dlen -= tmp_dlen;
564b0104773SPascal Brand 		acc_dlen += tmp_dlen;
565b0104773SPascal Brand 		op->buffer_offs -= l;
566b0104773SPascal Brand 		if (op->buffer_offs > 0) {
567b0104773SPascal Brand 			/*
568b0104773SPascal Brand 			 * Slen is small enough to be contained in rest buffer.
569b0104773SPascal Brand 			 */
570b0104773SPascal Brand 			memcpy(op->buffer, op->buffer + l, buffer_size - l);
571b0104773SPascal Brand 			memcpy(op->buffer + op->buffer_offs, src, slen);
572b0104773SPascal Brand 			op->buffer_offs += slen;
573b0104773SPascal Brand 			goto out;	/* Nothing left to do */
574b0104773SPascal Brand 		}
575b0104773SPascal Brand 	}
576b0104773SPascal Brand 
577b0104773SPascal Brand 	if (slen > buffer_size) {
578b0104773SPascal Brand 		/* Buffer is empty, feed as much as possible from src */
579b0104773SPascal Brand 		if (TEE_ALIGNMENT_IS_OK(src, uint32_t)) {
5802ff3fdbbSPascal Brand 			l = ROUNDUP(slen - buffer_size + 1, op->block_size);
581b0104773SPascal Brand 
582b0104773SPascal Brand 			tmp_dlen = dlen;
583b0104773SPascal Brand 			res = update_func(op->state, src, l, dst, &tmp_dlen);
584b0104773SPascal Brand 			if (res != TEE_SUCCESS)
585b0104773SPascal Brand 				TEE_Panic(res);
586b0104773SPascal Brand 			src += l;
587b0104773SPascal Brand 			slen -= l;
588b0104773SPascal Brand 			dst += tmp_dlen;
589b0104773SPascal Brand 			dlen -= tmp_dlen;
590b0104773SPascal Brand 			acc_dlen += tmp_dlen;
591b0104773SPascal Brand 		} else {
592b0104773SPascal Brand 			/*
593b0104773SPascal Brand 			 * Supplied data isn't well aligned, we're forced to
594b0104773SPascal Brand 			 * feed through the buffer.
595b0104773SPascal Brand 			 */
596b0104773SPascal Brand 			while (slen >= op->block_size) {
597b0104773SPascal Brand 				memcpy(op->buffer, src, op->block_size);
598b0104773SPascal Brand 
599b0104773SPascal Brand 				tmp_dlen = dlen;
600b0104773SPascal Brand 				res =
601b0104773SPascal Brand 				    update_func(op->state, op->buffer,
602b0104773SPascal Brand 						op->block_size, dst, &tmp_dlen);
603b0104773SPascal Brand 				if (res != TEE_SUCCESS)
604b0104773SPascal Brand 					TEE_Panic(res);
605b0104773SPascal Brand 				src += op->block_size;
606b0104773SPascal Brand 				slen -= op->block_size;
607b0104773SPascal Brand 				dst += tmp_dlen;
608b0104773SPascal Brand 				dlen -= tmp_dlen;
609b0104773SPascal Brand 				acc_dlen += tmp_dlen;
610b0104773SPascal Brand 			}
611b0104773SPascal Brand 		}
612b0104773SPascal Brand 	}
613b0104773SPascal Brand 
614b0104773SPascal Brand 	/* Slen is small enough to be contained in buffer. */
615b0104773SPascal Brand 	memcpy(op->buffer + op->buffer_offs, src, slen);
616b0104773SPascal Brand 	op->buffer_offs += slen;
617b0104773SPascal Brand 
618b0104773SPascal Brand out:
619b0104773SPascal Brand 	*dest_len = acc_dlen;
620b0104773SPascal Brand 	return TEE_SUCCESS;
621b0104773SPascal Brand }
622b0104773SPascal Brand 
623b0104773SPascal Brand TEE_Result TEE_CipherUpdate(TEE_OperationHandle op, const void *srcData,
624b0104773SPascal Brand 			    size_t srcLen, void *destData, size_t *destLen)
625b0104773SPascal Brand {
626b0104773SPascal Brand 	size_t req_dlen;
627b0104773SPascal Brand 
628b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
629b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0))
630b0104773SPascal Brand 		TEE_Panic(0);
631b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_CIPHER)
632b0104773SPascal Brand 		TEE_Panic(0);
633b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
634b0104773SPascal Brand 		TEE_Panic(0);
635b0104773SPascal Brand 
636b0104773SPascal Brand 	/* Calculate required dlen */
637b0104773SPascal Brand 	req_dlen = ((op->buffer_offs + srcLen) / op->block_size) *
638b0104773SPascal Brand 	    op->block_size;
639b0104773SPascal Brand 	if (op->buffer_two_blocks) {
640b0104773SPascal Brand 		if (req_dlen > op->block_size * 2)
641b0104773SPascal Brand 			req_dlen -= op->block_size * 2;
642b0104773SPascal Brand 		else
643b0104773SPascal Brand 			req_dlen = 0;
644b0104773SPascal Brand 	}
645b0104773SPascal Brand 	/*
646b0104773SPascal Brand 	 * Check that required destLen is big enough before starting to feed
647b0104773SPascal Brand 	 * data to the algorithm. Errors during feeding of data are fatal as we
648b0104773SPascal Brand 	 * can't restore sync with this API.
649b0104773SPascal Brand 	 */
650b0104773SPascal Brand 	if (*destLen < req_dlen) {
651b0104773SPascal Brand 		*destLen = req_dlen;
652b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
653b0104773SPascal Brand 	}
654b0104773SPascal Brand 
655b0104773SPascal Brand 	tee_buffer_update(op, utee_cipher_update, srcData, srcLen, destData,
656b0104773SPascal Brand 			  destLen);
657b0104773SPascal Brand 
658b0104773SPascal Brand 	return TEE_SUCCESS;
659b0104773SPascal Brand }
660b0104773SPascal Brand 
661b0104773SPascal Brand TEE_Result TEE_CipherDoFinal(TEE_OperationHandle op,
662b0104773SPascal Brand 			     const void *srcData, size_t srcLen, void *destData,
663b0104773SPascal Brand 			     size_t *destLen)
664b0104773SPascal Brand {
665b0104773SPascal Brand 	TEE_Result res;
666b0104773SPascal Brand 	uint8_t *dst = destData;
667b0104773SPascal Brand 	size_t acc_dlen = 0;
668b0104773SPascal Brand 	size_t tmp_dlen;
669b0104773SPascal Brand 	size_t req_dlen;
670b0104773SPascal Brand 
671b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
672b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0))
673b0104773SPascal Brand 		TEE_Panic(0);
674b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_CIPHER)
675b0104773SPascal Brand 		TEE_Panic(0);
676b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
677b0104773SPascal Brand 		TEE_Panic(0);
678b0104773SPascal Brand 
679b0104773SPascal Brand 	/*
680b0104773SPascal Brand 	 * Check that the final block doesn't require padding for those
681b0104773SPascal Brand 	 * algorithms that requires client to supply padding.
682b0104773SPascal Brand 	 */
683b0104773SPascal Brand 	if (op->info.algorithm == TEE_ALG_AES_ECB_NOPAD ||
684b0104773SPascal Brand 	    op->info.algorithm == TEE_ALG_AES_CBC_NOPAD ||
685b0104773SPascal Brand 	    op->info.algorithm == TEE_ALG_DES_ECB_NOPAD ||
686b0104773SPascal Brand 	    op->info.algorithm == TEE_ALG_DES_CBC_NOPAD ||
687b0104773SPascal Brand 	    op->info.algorithm == TEE_ALG_DES3_ECB_NOPAD ||
688b0104773SPascal Brand 	    op->info.algorithm == TEE_ALG_DES3_CBC_NOPAD) {
689b0104773SPascal Brand 		if (((op->buffer_offs + srcLen) % op->block_size) != 0)
690b0104773SPascal Brand 			return TEE_ERROR_BAD_PARAMETERS;
691b0104773SPascal Brand 	}
692b0104773SPascal Brand 
693b0104773SPascal Brand 	/*
694b0104773SPascal Brand 	 * Check that required destLen is big enough before starting to feed
695b0104773SPascal Brand 	 * data to the algorithm. Errors during feeding of data are fatal as we
696b0104773SPascal Brand 	 * can't restore sync with this API.
697b0104773SPascal Brand 	 */
698b0104773SPascal Brand 	req_dlen = op->buffer_offs + srcLen;
699b0104773SPascal Brand 	if (*destLen < req_dlen) {
700b0104773SPascal Brand 		*destLen = req_dlen;
701b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
702b0104773SPascal Brand 	}
703b0104773SPascal Brand 
704b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
705b0104773SPascal Brand 	tee_buffer_update(op, utee_cipher_update, srcData, srcLen, dst,
706b0104773SPascal Brand 			  &tmp_dlen);
707b0104773SPascal Brand 	dst += tmp_dlen;
708b0104773SPascal Brand 	acc_dlen += tmp_dlen;
709b0104773SPascal Brand 
710b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
711b0104773SPascal Brand 	res = utee_cipher_final(op->state, op->buffer, op->buffer_offs,
712b0104773SPascal Brand 				dst, &tmp_dlen);
713b0104773SPascal Brand 	if (res != TEE_SUCCESS)
714b0104773SPascal Brand 		TEE_Panic(res);
715b0104773SPascal Brand 	acc_dlen += tmp_dlen;
716b0104773SPascal Brand 
717b0104773SPascal Brand 	op->info.handleState &= ~TEE_HANDLE_FLAG_INITIALIZED;
718b0104773SPascal Brand 	*destLen = acc_dlen;
719b0104773SPascal Brand 	return TEE_SUCCESS;
720b0104773SPascal Brand }
721b0104773SPascal Brand 
722b0104773SPascal Brand /* Cryptographic Operations API - MAC Functions */
723b0104773SPascal Brand 
724b0104773SPascal Brand void TEE_MACInit(TEE_OperationHandle operation, const void *IV, size_t IVLen)
725b0104773SPascal Brand {
726b0104773SPascal Brand 	TEE_Result res;
727b0104773SPascal Brand 
728b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL)
729b0104773SPascal Brand 		TEE_Panic(0);
730b0104773SPascal Brand 	if (IV == NULL && IVLen != 0)
731b0104773SPascal Brand 		TEE_Panic(0);
732b0104773SPascal Brand 	if (operation->info.operationClass != TEE_OPERATION_MAC)
733b0104773SPascal Brand 		TEE_Panic(0);
734b0104773SPascal Brand 	res = utee_hash_init(operation->state, IV, IVLen);
735b0104773SPascal Brand 	if (res != TEE_SUCCESS)
736b0104773SPascal Brand 		TEE_Panic(res);
737b0104773SPascal Brand 	operation->buffer_offs = 0;
738b0104773SPascal Brand 	operation->info.handleState |= TEE_HANDLE_FLAG_INITIALIZED;
739b0104773SPascal Brand }
740b0104773SPascal Brand 
741b0104773SPascal Brand void TEE_MACUpdate(TEE_OperationHandle op, const void *chunk, size_t chunkSize)
742b0104773SPascal Brand {
743b0104773SPascal Brand 	TEE_Result res;
744b0104773SPascal Brand 
745b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (chunk == NULL && chunkSize != 0))
746b0104773SPascal Brand 		TEE_Panic(0);
747b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_MAC)
748b0104773SPascal Brand 		TEE_Panic(0);
749b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
750b0104773SPascal Brand 		TEE_Panic(0);
751b0104773SPascal Brand 
752b0104773SPascal Brand 	res = utee_hash_update(op->state, chunk, chunkSize);
753b0104773SPascal Brand 	if (res != TEE_SUCCESS)
754b0104773SPascal Brand 		TEE_Panic(res);
755b0104773SPascal Brand }
756b0104773SPascal Brand 
757b0104773SPascal Brand TEE_Result TEE_MACComputeFinal(TEE_OperationHandle op,
758b0104773SPascal Brand 			       const void *message, size_t messageLen,
759b0104773SPascal Brand 			       void *mac, size_t *macLen)
760b0104773SPascal Brand {
761b0104773SPascal Brand 	TEE_Result res;
762b0104773SPascal Brand 
763b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (message == NULL && messageLen != 0) ||
764b0104773SPascal Brand 	    mac == NULL || macLen == NULL)
765b0104773SPascal Brand 		TEE_Panic(0);
766b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_MAC)
767b0104773SPascal Brand 		TEE_Panic(0);
768b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
769b0104773SPascal Brand 		TEE_Panic(0);
770b0104773SPascal Brand 
771b0104773SPascal Brand 	res = utee_hash_final(op->state, message, messageLen, mac, macLen);
772b0104773SPascal Brand 	op->info.handleState &= ~TEE_HANDLE_FLAG_INITIALIZED;
773b0104773SPascal Brand 	return res;
774b0104773SPascal Brand }
775b0104773SPascal Brand 
776b0104773SPascal Brand TEE_Result TEE_MACCompareFinal(TEE_OperationHandle operation,
777b0104773SPascal Brand 			       const void *message, size_t messageLen,
778b0104773SPascal Brand 			       const void *mac, size_t macLen)
779b0104773SPascal Brand {
780b0104773SPascal Brand 	TEE_Result res;
781b0104773SPascal Brand 	uint8_t computed_mac[TEE_MAX_HASH_SIZE];
782b0104773SPascal Brand 	size_t computed_mac_size = TEE_MAX_HASH_SIZE;
783b0104773SPascal Brand 
784b0104773SPascal Brand 	res = TEE_MACComputeFinal(operation, message, messageLen, computed_mac,
785b0104773SPascal Brand 				  &computed_mac_size);
786b0104773SPascal Brand 	if (res != TEE_SUCCESS)
787b0104773SPascal Brand 		return res;
788b0104773SPascal Brand 	if (computed_mac_size != macLen)
789b0104773SPascal Brand 		return TEE_ERROR_MAC_INVALID;
790b796ebf3SJerome Forissier 	if (buf_compare_ct(mac, computed_mac, computed_mac_size) != 0)
791b0104773SPascal Brand 		return TEE_ERROR_MAC_INVALID;
792b0104773SPascal Brand 	return TEE_SUCCESS;
793b0104773SPascal Brand }
794b0104773SPascal Brand 
795b0104773SPascal Brand /* Cryptographic Operations API - Authenticated Encryption Functions */
796b0104773SPascal Brand 
797b0104773SPascal Brand TEE_Result TEE_AEInit(TEE_OperationHandle op, const void *nonce,
798b0104773SPascal Brand 		      size_t nonceLen, uint32_t tagLen, uint32_t AADLen,
799b0104773SPascal Brand 		      uint32_t payloadLen)
800b0104773SPascal Brand {
801b0104773SPascal Brand 	TEE_Result res;
802b0104773SPascal Brand 
803b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || nonce == NULL)
804b0104773SPascal Brand 		TEE_Panic(0);
805b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_AE)
806b0104773SPascal Brand 		TEE_Panic(0);
807b0104773SPascal Brand 
808b0104773SPascal Brand 	/*
809b0104773SPascal Brand 	 * AES-CCM tag len is specified by AES-CCM spec and handled in TEE Core
810b0104773SPascal Brand 	 * in the implementation. But AES-GCM spec doesn't specify the tag len
811b0104773SPascal Brand 	 * according to the same principle so we have to check here instead to
812b0104773SPascal Brand 	 * be GP compliant.
813b0104773SPascal Brand 	 */
814b0104773SPascal Brand 	if (op->info.algorithm == TEE_ALG_AES_GCM) {
815b0104773SPascal Brand 		/*
816b0104773SPascal Brand 		 * From GP spec: For AES-GCM, can be 128, 120, 112, 104, or 96
817b0104773SPascal Brand 		 */
818b0104773SPascal Brand 		if (tagLen < 96 || tagLen > 128 || (tagLen % 8 != 0))
819b0104773SPascal Brand 			return TEE_ERROR_NOT_SUPPORTED;
820b0104773SPascal Brand 	}
821b0104773SPascal Brand 
822b0104773SPascal Brand 	res = utee_authenc_init(op->state, nonce, nonceLen, tagLen / 8, AADLen,
823b0104773SPascal Brand 				payloadLen);
824b0104773SPascal Brand 	if (res != TEE_SUCCESS) {
825b0104773SPascal Brand 		if (res != TEE_ERROR_NOT_SUPPORTED)
826b0104773SPascal Brand 			TEE_Panic(res);
827b0104773SPascal Brand 		return res;
828b0104773SPascal Brand 	}
829b0104773SPascal Brand 	op->ae_tag_len = tagLen / 8;
830b0104773SPascal Brand 
831b0104773SPascal Brand 	op->info.handleState |= TEE_HANDLE_FLAG_INITIALIZED;
832b0104773SPascal Brand 	return TEE_SUCCESS;
833b0104773SPascal Brand }
834b0104773SPascal Brand 
835b0104773SPascal Brand void TEE_AEUpdateAAD(TEE_OperationHandle op, const void *AADdata,
836b0104773SPascal Brand 		     size_t AADdataLen)
837b0104773SPascal Brand {
838b0104773SPascal Brand 	TEE_Result res;
839b0104773SPascal Brand 
840b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (AADdata == NULL && AADdataLen != 0))
841b0104773SPascal Brand 		TEE_Panic(0);
842b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_AE)
843b0104773SPascal Brand 		TEE_Panic(0);
844b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
845b0104773SPascal Brand 		TEE_Panic(0);
846b0104773SPascal Brand 
847b0104773SPascal Brand 	res = utee_authenc_update_aad(op->state, AADdata, AADdataLen);
848b0104773SPascal Brand 	if (res != TEE_SUCCESS)
849b0104773SPascal Brand 		TEE_Panic(res);
850b0104773SPascal Brand }
851b0104773SPascal Brand 
852b0104773SPascal Brand TEE_Result TEE_AEUpdate(TEE_OperationHandle op, const void *srcData,
853b0104773SPascal Brand 			size_t srcLen, void *destData, size_t *destLen)
854b0104773SPascal Brand {
855b0104773SPascal Brand 	size_t req_dlen;
856b0104773SPascal Brand 
857b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
858b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0))
859b0104773SPascal Brand 		TEE_Panic(0);
860b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_AE)
861b0104773SPascal Brand 		TEE_Panic(0);
862b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
863b0104773SPascal Brand 		TEE_Panic(0);
864b0104773SPascal Brand 
865b0104773SPascal Brand 	/*
866b0104773SPascal Brand 	 * Check that required destLen is big enough before starting to feed
867b0104773SPascal Brand 	 * data to the algorithm. Errors during feeding of data are fatal as we
868b0104773SPascal Brand 	 * can't restore sync with this API.
869b0104773SPascal Brand 	 */
8702ff3fdbbSPascal Brand 	req_dlen = ROUNDDOWN(op->buffer_offs + srcLen, op->block_size);
871b0104773SPascal Brand 	if (*destLen < req_dlen) {
872b0104773SPascal Brand 		*destLen = req_dlen;
873b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
874b0104773SPascal Brand 	}
875b0104773SPascal Brand 
876b0104773SPascal Brand 	tee_buffer_update(op, utee_authenc_update_payload, srcData, srcLen,
877b0104773SPascal Brand 			  destData, destLen);
878b0104773SPascal Brand 
879b0104773SPascal Brand 	return TEE_SUCCESS;
880b0104773SPascal Brand }
881b0104773SPascal Brand 
882b0104773SPascal Brand TEE_Result TEE_AEEncryptFinal(TEE_OperationHandle op,
883b0104773SPascal Brand 			      const void *srcData, size_t srcLen,
884b0104773SPascal Brand 			      void *destData, size_t *destLen, void *tag,
885b0104773SPascal Brand 			      size_t *tagLen)
886b0104773SPascal Brand {
887b0104773SPascal Brand 	TEE_Result res;
888b0104773SPascal Brand 	uint8_t *dst = destData;
889b0104773SPascal Brand 	size_t acc_dlen = 0;
890b0104773SPascal Brand 	size_t tmp_dlen;
891b0104773SPascal Brand 	size_t req_dlen;
892b0104773SPascal Brand 
893b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
894b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0) ||
895b0104773SPascal Brand 	    tag == NULL || tagLen == NULL)
896b0104773SPascal Brand 		TEE_Panic(0);
897b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_AE)
898b0104773SPascal Brand 		TEE_Panic(0);
899b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
900b0104773SPascal Brand 		TEE_Panic(0);
901b0104773SPascal Brand 
902b0104773SPascal Brand 	/*
903b0104773SPascal Brand 	 * Check that required destLen is big enough before starting to feed
904b0104773SPascal Brand 	 * data to the algorithm. Errors during feeding of data are fatal as we
905b0104773SPascal Brand 	 * can't restore sync with this API.
906b0104773SPascal Brand 	 */
907b0104773SPascal Brand 	req_dlen = op->buffer_offs + srcLen;
908b0104773SPascal Brand 	if (*destLen < req_dlen) {
909b0104773SPascal Brand 		*destLen = req_dlen;
910b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
911b0104773SPascal Brand 	}
912b0104773SPascal Brand 
913b0104773SPascal Brand 	/*
914b0104773SPascal Brand 	 * Need to check this before update_payload since sync would be lost if
915b0104773SPascal Brand 	 * we return short buffer after that.
916b0104773SPascal Brand 	 */
917b0104773SPascal Brand 	if (*tagLen < op->ae_tag_len) {
918b0104773SPascal Brand 		*tagLen = op->ae_tag_len;
919b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
920b0104773SPascal Brand 	}
921b0104773SPascal Brand 
922b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
923b0104773SPascal Brand 	tee_buffer_update(op, utee_authenc_update_payload, srcData, srcLen,
924b0104773SPascal Brand 			  dst, &tmp_dlen);
925b0104773SPascal Brand 	dst += tmp_dlen;
926b0104773SPascal Brand 	acc_dlen += tmp_dlen;
927b0104773SPascal Brand 
928b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
929b0104773SPascal Brand 	res =
930b0104773SPascal Brand 	    utee_authenc_enc_final(op->state, op->buffer, op->buffer_offs, dst,
931b0104773SPascal Brand 				   &tmp_dlen, tag, tagLen);
932b0104773SPascal Brand 	if (res != TEE_SUCCESS)
933b0104773SPascal Brand 		TEE_Panic(res);
934b0104773SPascal Brand 	acc_dlen += tmp_dlen;
935b0104773SPascal Brand 
936b0104773SPascal Brand 	*destLen = acc_dlen;
937b0104773SPascal Brand 	op->info.handleState &= ~TEE_HANDLE_FLAG_INITIALIZED;
938b0104773SPascal Brand 
939b0104773SPascal Brand 	return res;
940b0104773SPascal Brand }
941b0104773SPascal Brand 
942b0104773SPascal Brand TEE_Result TEE_AEDecryptFinal(TEE_OperationHandle op,
943b0104773SPascal Brand 			      const void *srcData, size_t srcLen,
944b0104773SPascal Brand 			      void *destData, size_t *destLen, const void *tag,
945b0104773SPascal Brand 			      size_t tagLen)
946b0104773SPascal Brand {
947b0104773SPascal Brand 	TEE_Result res;
948b0104773SPascal Brand 	uint8_t *dst = destData;
949b0104773SPascal Brand 	size_t acc_dlen = 0;
950b0104773SPascal Brand 	size_t tmp_dlen;
951b0104773SPascal Brand 	size_t req_dlen;
952b0104773SPascal Brand 
953b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
954b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0) ||
955b0104773SPascal Brand 	    (tag == NULL && tagLen != 0))
956b0104773SPascal Brand 		TEE_Panic(0);
957b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_AE)
958b0104773SPascal Brand 		TEE_Panic(0);
959b0104773SPascal Brand 	if ((op->info.handleState & TEE_HANDLE_FLAG_INITIALIZED) == 0)
960b0104773SPascal Brand 		TEE_Panic(0);
961b0104773SPascal Brand 
962b0104773SPascal Brand 	/*
963b0104773SPascal Brand 	 * Check that required destLen is big enough before starting to feed
964b0104773SPascal Brand 	 * data to the algorithm. Errors during feeding of data are fatal as we
965b0104773SPascal Brand 	 * can't restore sync with this API.
966b0104773SPascal Brand 	 */
967b0104773SPascal Brand 	req_dlen = op->buffer_offs + srcLen;
968b0104773SPascal Brand 	if (*destLen < req_dlen) {
969b0104773SPascal Brand 		*destLen = req_dlen;
970b0104773SPascal Brand 		return TEE_ERROR_SHORT_BUFFER;
971b0104773SPascal Brand 	}
972b0104773SPascal Brand 
973b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
974b0104773SPascal Brand 	tee_buffer_update(op, utee_authenc_update_payload, srcData, srcLen,
975b0104773SPascal Brand 			  dst, &tmp_dlen);
976b0104773SPascal Brand 	dst += tmp_dlen;
977b0104773SPascal Brand 	acc_dlen += tmp_dlen;
978b0104773SPascal Brand 
979b0104773SPascal Brand 	tmp_dlen = *destLen - acc_dlen;
980b0104773SPascal Brand 	res =
981b0104773SPascal Brand 	    utee_authenc_dec_final(op->state, op->buffer, op->buffer_offs, dst,
982b0104773SPascal Brand 				   &tmp_dlen, tag, tagLen);
983b0104773SPascal Brand 	if (res != TEE_SUCCESS && res != TEE_ERROR_MAC_INVALID)
984b0104773SPascal Brand 		TEE_Panic(res);
985b0104773SPascal Brand 	/* Supplied tagLen should match what we initiated with */
986b0104773SPascal Brand 	if (tagLen != op->ae_tag_len)
987b0104773SPascal Brand 		res = TEE_ERROR_MAC_INVALID;
988b0104773SPascal Brand 
989b0104773SPascal Brand 	acc_dlen += tmp_dlen;
990b0104773SPascal Brand 
991b0104773SPascal Brand 	*destLen = acc_dlen;
992b0104773SPascal Brand 	op->info.handleState &= ~TEE_HANDLE_FLAG_INITIALIZED;
993b0104773SPascal Brand 
994b0104773SPascal Brand 	return res;
995b0104773SPascal Brand }
996b0104773SPascal Brand 
997b0104773SPascal Brand /* Cryptographic Operations API - Asymmetric Functions */
998b0104773SPascal Brand 
999b0104773SPascal Brand TEE_Result TEE_AsymmetricEncrypt(TEE_OperationHandle op,
1000b0104773SPascal Brand 				 const TEE_Attribute *params,
1001b0104773SPascal Brand 				 uint32_t paramCount, const void *srcData,
1002b0104773SPascal Brand 				 size_t srcLen, void *destData,
1003b0104773SPascal Brand 				 size_t *destLen)
1004b0104773SPascal Brand {
1005b0104773SPascal Brand 	TEE_Result res;
1006b0104773SPascal Brand 
1007b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
1008b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0))
1009b0104773SPascal Brand 		TEE_Panic(0);
1010b0104773SPascal Brand 	if (paramCount != 0 && params == NULL)
1011b0104773SPascal Brand 		TEE_Panic(0);
1012b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_ASYMMETRIC_CIPHER)
1013b0104773SPascal Brand 		TEE_Panic(0);
1014b0104773SPascal Brand 	if (op->info.mode != TEE_MODE_ENCRYPT)
1015b0104773SPascal Brand 		TEE_Panic(0);
1016b0104773SPascal Brand 
1017b0104773SPascal Brand 	res = utee_asymm_operate(op->state, params, paramCount, srcData, srcLen,
1018b0104773SPascal Brand 				 destData, destLen);
10198844ebfcSPascal Brand 	if (res != TEE_SUCCESS &&
10208844ebfcSPascal Brand 	    res != TEE_ERROR_SHORT_BUFFER &&
10218844ebfcSPascal Brand 	    res != TEE_ERROR_BAD_PARAMETERS)
1022b0104773SPascal Brand 		TEE_Panic(res);
1023b0104773SPascal Brand 	return res;
1024b0104773SPascal Brand }
1025b0104773SPascal Brand 
1026b0104773SPascal Brand TEE_Result TEE_AsymmetricDecrypt(TEE_OperationHandle op,
1027b0104773SPascal Brand 				 const TEE_Attribute *params,
1028b0104773SPascal Brand 				 uint32_t paramCount, const void *srcData,
1029b0104773SPascal Brand 				 size_t srcLen, void *destData,
1030b0104773SPascal Brand 				 size_t *destLen)
1031b0104773SPascal Brand {
1032b0104773SPascal Brand 	TEE_Result res;
1033b0104773SPascal Brand 
1034b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (srcData == NULL && srcLen != 0) ||
1035b0104773SPascal Brand 	    destLen == NULL || (destData == NULL && *destLen != 0))
1036b0104773SPascal Brand 		TEE_Panic(0);
1037b0104773SPascal Brand 	if (paramCount != 0 && params == NULL)
1038b0104773SPascal Brand 		TEE_Panic(0);
1039b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_ASYMMETRIC_CIPHER)
1040b0104773SPascal Brand 		TEE_Panic(0);
1041b0104773SPascal Brand 	if (op->info.mode != TEE_MODE_DECRYPT)
1042b0104773SPascal Brand 		TEE_Panic(0);
1043b0104773SPascal Brand 
1044b0104773SPascal Brand 	res = utee_asymm_operate(op->state, params, paramCount, srcData, srcLen,
1045b0104773SPascal Brand 				 destData, destLen);
10468844ebfcSPascal Brand 	if (res != TEE_SUCCESS &&
10478844ebfcSPascal Brand 	    res != TEE_ERROR_SHORT_BUFFER &&
10488844ebfcSPascal Brand 	    res != TEE_ERROR_BAD_PARAMETERS)
1049b0104773SPascal Brand 		TEE_Panic(res);
1050b0104773SPascal Brand 	return res;
1051b0104773SPascal Brand }
1052b0104773SPascal Brand 
1053b0104773SPascal Brand TEE_Result TEE_AsymmetricSignDigest(TEE_OperationHandle op,
1054b0104773SPascal Brand 				    const TEE_Attribute *params,
1055b0104773SPascal Brand 				    uint32_t paramCount, const void *digest,
1056b0104773SPascal Brand 				    size_t digestLen, void *signature,
1057b0104773SPascal Brand 				    size_t *signatureLen)
1058b0104773SPascal Brand {
1059b0104773SPascal Brand 	TEE_Result res;
1060b0104773SPascal Brand 
1061b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (digest == NULL && digestLen != 0) ||
1062b0104773SPascal Brand 	    signature == NULL || signatureLen == NULL)
1063b0104773SPascal Brand 		TEE_Panic(0);
1064b0104773SPascal Brand 	if (paramCount != 0 && params == NULL)
1065b0104773SPascal Brand 		TEE_Panic(0);
1066b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_ASYMMETRIC_SIGNATURE)
1067b0104773SPascal Brand 		TEE_Panic(0);
1068b0104773SPascal Brand 	if (op->info.mode != TEE_MODE_SIGN)
1069b0104773SPascal Brand 		TEE_Panic(0);
1070b0104773SPascal Brand 
1071b0104773SPascal Brand 	res =
1072b0104773SPascal Brand 	    utee_asymm_operate(op->state, params, paramCount, digest, digestLen,
1073b0104773SPascal Brand 			       signature, signatureLen);
1074b0104773SPascal Brand 	if (res != TEE_SUCCESS && res != TEE_ERROR_SHORT_BUFFER)
1075b0104773SPascal Brand 		TEE_Panic(res);
1076b0104773SPascal Brand 	return res;
1077b0104773SPascal Brand }
1078b0104773SPascal Brand 
1079b0104773SPascal Brand TEE_Result TEE_AsymmetricVerifyDigest(TEE_OperationHandle op,
1080b0104773SPascal Brand 				      const TEE_Attribute *params,
1081b0104773SPascal Brand 				      uint32_t paramCount, const void *digest,
1082b0104773SPascal Brand 				      size_t digestLen, const void *signature,
1083b0104773SPascal Brand 				      size_t signatureLen)
1084b0104773SPascal Brand {
1085b0104773SPascal Brand 	TEE_Result res;
1086b0104773SPascal Brand 
1087b0104773SPascal Brand 	if (op == TEE_HANDLE_NULL || (digest == NULL && digestLen != 0) ||
1088b0104773SPascal Brand 	    (signature == NULL && signatureLen != 0))
1089b0104773SPascal Brand 		TEE_Panic(0);
1090b0104773SPascal Brand 	if (paramCount != 0 && params == NULL)
1091b0104773SPascal Brand 		TEE_Panic(0);
1092b0104773SPascal Brand 	if (op->info.operationClass != TEE_OPERATION_ASYMMETRIC_SIGNATURE)
1093b0104773SPascal Brand 		TEE_Panic(0);
1094b0104773SPascal Brand 	if (op->info.mode != TEE_MODE_VERIFY)
1095b0104773SPascal Brand 		TEE_Panic(0);
1096b0104773SPascal Brand 
1097b0104773SPascal Brand 	res =
1098b0104773SPascal Brand 	    utee_asymm_verify(op->state, params, paramCount, digest, digestLen,
1099b0104773SPascal Brand 			      signature, signatureLen);
1100b0104773SPascal Brand 	if (res != TEE_SUCCESS && res != TEE_ERROR_SIGNATURE_INVALID)
1101b0104773SPascal Brand 		TEE_Panic(res);
1102b0104773SPascal Brand 	return res;
1103b0104773SPascal Brand }
1104b0104773SPascal Brand 
1105b0104773SPascal Brand /* Cryptographic Operations API - Key Derivation Functions */
1106b0104773SPascal Brand 
1107b0104773SPascal Brand void TEE_DeriveKey(TEE_OperationHandle operation,
1108b0104773SPascal Brand 		   const TEE_Attribute *params, uint32_t paramCount,
1109b0104773SPascal Brand 		   TEE_ObjectHandle derivedKey)
1110b0104773SPascal Brand {
1111b0104773SPascal Brand 	TEE_Result res;
1112b0104773SPascal Brand 	TEE_ObjectInfo key_info;
1113b0104773SPascal Brand 
1114b0104773SPascal Brand 	if (operation == TEE_HANDLE_NULL || derivedKey == 0)
1115b0104773SPascal Brand 		TEE_Panic(0);
1116b0104773SPascal Brand 	if (paramCount != 0 && params == NULL)
1117b0104773SPascal Brand 		TEE_Panic(0);
11188854d3c6SJerome Forissier 	if (TEE_ALG_GET_CLASS(operation->info.algorithm) !=
11198854d3c6SJerome Forissier 			TEE_OPERATION_KEY_DERIVATION)
1120b0104773SPascal Brand 		TEE_Panic(0);
1121b0104773SPascal Brand 
1122b0104773SPascal Brand 	if (operation->info.operationClass != TEE_OPERATION_KEY_DERIVATION)
1123b0104773SPascal Brand 		TEE_Panic(0);
1124b0104773SPascal Brand 	if (operation->info.mode != TEE_MODE_DERIVE)
1125b0104773SPascal Brand 		TEE_Panic(0);
1126b0104773SPascal Brand 	if ((operation->info.handleState & TEE_HANDLE_FLAG_KEY_SET) == 0)
1127b0104773SPascal Brand 		TEE_Panic(0);
1128b0104773SPascal Brand 
1129b0104773SPascal Brand 	res = utee_cryp_obj_get_info((uint32_t) derivedKey, &key_info);
1130b0104773SPascal Brand 	if (res != TEE_SUCCESS)
1131b0104773SPascal Brand 		TEE_Panic(0);
1132b0104773SPascal Brand 
1133b0104773SPascal Brand 	if (key_info.objectType != TEE_TYPE_GENERIC_SECRET)
1134b0104773SPascal Brand 		TEE_Panic(0);
1135b0104773SPascal Brand 	if ((key_info.handleFlags & TEE_HANDLE_FLAG_INITIALIZED) != 0)
1136b0104773SPascal Brand 		TEE_Panic(0);
1137b0104773SPascal Brand 
1138b0104773SPascal Brand 	res = utee_cryp_derive_key(operation->state, params, paramCount,
1139b0104773SPascal Brand 				   (uint32_t) derivedKey);
1140b0104773SPascal Brand 	if (res != TEE_SUCCESS)
1141b0104773SPascal Brand 		TEE_Panic(res);
1142b0104773SPascal Brand }
1143b0104773SPascal Brand 
1144b0104773SPascal Brand /* Cryptographic Operations API - Random Number Generation Functions */
1145b0104773SPascal Brand 
1146b0104773SPascal Brand void TEE_GenerateRandom(void *randomBuffer, size_t randomBufferLen)
1147b0104773SPascal Brand {
1148b0104773SPascal Brand 	TEE_Result res;
1149b0104773SPascal Brand 
1150b0104773SPascal Brand 	res = utee_cryp_random_number_generate(randomBuffer, randomBufferLen);
1151b0104773SPascal Brand 	if (res != TEE_SUCCESS)
1152b0104773SPascal Brand 		TEE_Panic(res);
1153b0104773SPascal Brand }
1154