blob: d01367d053c032b16ef478516e8809715eb36678 [file] [log] [blame]
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001/**
2 * \file psa/crypto_values.h
3 *
4 * \brief PSA cryptography module: macros to build and analyze integer values.
5 *
6 * \note This file may not be included directly. Applications must
7 * include psa/crypto.h. Drivers must include the appropriate driver
8 * header file.
9 *
10 * This file contains portable definitions of macros to build and analyze
11 * values of integral types that encode properties of cryptographic keys,
12 * designations of cryptographic algorithms, and error codes returned by
13 * the library.
14 *
15 * This header file only defines preprocessor macros.
16 */
17/*
18 * Copyright (C) 2018, ARM Limited, All Rights Reserved
19 * SPDX-License-Identifier: Apache-2.0
20 *
21 * Licensed under the Apache License, Version 2.0 (the "License"); you may
22 * not use this file except in compliance with the License.
23 * You may obtain a copy of the License at
24 *
25 * http://www.apache.org/licenses/LICENSE-2.0
26 *
27 * Unless required by applicable law or agreed to in writing, software
28 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
29 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
30 * See the License for the specific language governing permissions and
31 * limitations under the License.
32 *
33 * This file is part of mbed TLS (https://tls.mbed.org)
34 */
35
36#ifndef PSA_CRYPTO_VALUES_H
37#define PSA_CRYPTO_VALUES_H
38
39/** \defgroup error Error codes
40 * @{
41 */
42
David Saadab4ecc272019-02-14 13:48:10 +020043/* PSA error codes */
44
Gilles Peskinef3b731e2018-12-12 13:38:31 +010045/** The action was completed successfully. */
46#define PSA_SUCCESS ((psa_status_t)0)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010047
48/** An error occurred that does not correspond to any defined
49 * failure cause.
50 *
51 * Implementations may use this error code if none of the other standard
52 * error codes are applicable. */
David Saadab4ecc272019-02-14 13:48:10 +020053#define PSA_ERROR_GENERIC_ERROR ((psa_status_t)-132)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010054
55/** The requested operation or a parameter is not supported
56 * by this implementation.
57 *
58 * Implementations should return this error code when an enumeration
59 * parameter such as a key type, algorithm, etc. is not recognized.
60 * If a combination of parameters is recognized and identified as
61 * not valid, return #PSA_ERROR_INVALID_ARGUMENT instead. */
David Saadab4ecc272019-02-14 13:48:10 +020062#define PSA_ERROR_NOT_SUPPORTED ((psa_status_t)-134)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010063
64/** The requested action is denied by a policy.
65 *
66 * Implementations should return this error code when the parameters
67 * are recognized as valid and supported, and a policy explicitly
68 * denies the requested operation.
69 *
70 * If a subset of the parameters of a function call identify a
71 * forbidden operation, and another subset of the parameters are
72 * not valid or not supported, it is unspecified whether the function
73 * returns #PSA_ERROR_NOT_PERMITTED, #PSA_ERROR_NOT_SUPPORTED or
74 * #PSA_ERROR_INVALID_ARGUMENT. */
David Saadab4ecc272019-02-14 13:48:10 +020075#define PSA_ERROR_NOT_PERMITTED ((psa_status_t)-133)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010076
77/** An output buffer is too small.
78 *
79 * Applications can call the \c PSA_xxx_SIZE macro listed in the function
80 * description to determine a sufficient buffer size.
81 *
82 * Implementations should preferably return this error code only
83 * in cases when performing the operation with a larger output
84 * buffer would succeed. However implementations may return this
85 * error if a function has invalid or unsupported parameters in addition
86 * to the parameters that determine the necessary output buffer size. */
David Saadab4ecc272019-02-14 13:48:10 +020087#define PSA_ERROR_BUFFER_TOO_SMALL ((psa_status_t)-138)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010088
David Saadab4ecc272019-02-14 13:48:10 +020089/** Asking for an item that already exists
Gilles Peskinef3b731e2018-12-12 13:38:31 +010090 *
David Saadab4ecc272019-02-14 13:48:10 +020091 * Implementations should return this error, when attempting
92 * to write an item (like a key) that already exists. */
93#define PSA_ERROR_ALREADY_EXISTS ((psa_status_t)-139)
Gilles Peskinef3b731e2018-12-12 13:38:31 +010094
David Saadab4ecc272019-02-14 13:48:10 +020095/** Asking for an item that doesn't exist
Gilles Peskinef3b731e2018-12-12 13:38:31 +010096 *
David Saadab4ecc272019-02-14 13:48:10 +020097 * Implementations should return this error, if a requested item (like
98 * a key) does not exist. */
99#define PSA_ERROR_DOES_NOT_EXIST ((psa_status_t)-140)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100100
101/** The requested action cannot be performed in the current state.
102 *
103 * Multipart operations return this error when one of the
104 * functions is called out of sequence. Refer to the function
105 * descriptions for permitted sequencing of functions.
106 *
107 * Implementations shall not return this error code to indicate
108 * that a key slot is occupied when it needs to be free or vice versa,
David Saadab4ecc272019-02-14 13:48:10 +0200109 * but shall return #PSA_ERROR_ALREADY_EXISTS or #PSA_ERROR_DOES_NOT_EXIST
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100110 * as applicable. */
David Saadab4ecc272019-02-14 13:48:10 +0200111#define PSA_ERROR_BAD_STATE ((psa_status_t)-137)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100112
113/** The parameters passed to the function are invalid.
114 *
115 * Implementations may return this error any time a parameter or
116 * combination of parameters are recognized as invalid.
117 *
118 * Implementations shall not return this error code to indicate
119 * that a key slot is occupied when it needs to be free or vice versa,
David Saadab4ecc272019-02-14 13:48:10 +0200120 * but shall return #PSA_ERROR_ALREADY_EXISTS or #PSA_ERROR_DOES_NOT_EXIST
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100121 * as applicable.
122 *
123 * Implementation shall not return this error code to indicate that a
124 * key handle is invalid, but shall return #PSA_ERROR_INVALID_HANDLE
125 * instead.
126 */
David Saadab4ecc272019-02-14 13:48:10 +0200127#define PSA_ERROR_INVALID_ARGUMENT ((psa_status_t)-135)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100128
129/** There is not enough runtime memory.
130 *
131 * If the action is carried out across multiple security realms, this
132 * error can refer to available memory in any of the security realms. */
David Saadab4ecc272019-02-14 13:48:10 +0200133#define PSA_ERROR_INSUFFICIENT_MEMORY ((psa_status_t)-141)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100134
135/** There is not enough persistent storage.
136 *
137 * Functions that modify the key storage return this error code if
138 * there is insufficient storage space on the host media. In addition,
139 * many functions that do not otherwise access storage may return this
140 * error code if the implementation requires a mandatory log entry for
141 * the requested action and the log storage space is full. */
David Saadab4ecc272019-02-14 13:48:10 +0200142#define PSA_ERROR_INSUFFICIENT_STORAGE ((psa_status_t)-142)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100143
144/** There was a communication failure inside the implementation.
145 *
146 * This can indicate a communication failure between the application
147 * and an external cryptoprocessor or between the cryptoprocessor and
148 * an external volatile or persistent memory. A communication failure
149 * may be transient or permanent depending on the cause.
150 *
151 * \warning If a function returns this error, it is undetermined
152 * whether the requested action has completed or not. Implementations
153 * should return #PSA_SUCCESS on successful completion whenver
154 * possible, however functions may return #PSA_ERROR_COMMUNICATION_FAILURE
155 * if the requested action was completed successfully in an external
156 * cryptoprocessor but there was a breakdown of communication before
157 * the cryptoprocessor could report the status to the application.
158 */
David Saadab4ecc272019-02-14 13:48:10 +0200159#define PSA_ERROR_COMMUNICATION_FAILURE ((psa_status_t)-145)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100160
161/** There was a storage failure that may have led to data loss.
162 *
163 * This error indicates that some persistent storage is corrupted.
164 * It should not be used for a corruption of volatile memory
165 * (use #PSA_ERROR_TAMPERING_DETECTED), for a communication error
166 * between the cryptoprocessor and its external storage (use
167 * #PSA_ERROR_COMMUNICATION_FAILURE), or when the storage is
168 * in a valid state but is full (use #PSA_ERROR_INSUFFICIENT_STORAGE).
169 *
170 * Note that a storage failure does not indicate that any data that was
171 * previously read is invalid. However this previously read data may no
172 * longer be readable from storage.
173 *
174 * When a storage failure occurs, it is no longer possible to ensure
175 * the global integrity of the keystore. Depending on the global
176 * integrity guarantees offered by the implementation, access to other
177 * data may or may not fail even if the data is still readable but
Gilles Peskinebf7a98b2019-02-22 16:42:11 +0100178 * its integrity cannot be guaranteed.
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100179 *
180 * Implementations should only use this error code to report a
181 * permanent storage corruption. However application writers should
182 * keep in mind that transient errors while reading the storage may be
183 * reported using this error code. */
David Saadab4ecc272019-02-14 13:48:10 +0200184#define PSA_ERROR_STORAGE_FAILURE ((psa_status_t)-146)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100185
186/** A hardware failure was detected.
187 *
188 * A hardware failure may be transient or permanent depending on the
189 * cause. */
David Saadab4ecc272019-02-14 13:48:10 +0200190#define PSA_ERROR_HARDWARE_FAILURE ((psa_status_t)-147)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100191
192/** A tampering attempt was detected.
193 *
194 * If an application receives this error code, there is no guarantee
195 * that previously accessed or computed data was correct and remains
196 * confidential. Applications should not perform any security function
197 * and should enter a safe failure state.
198 *
199 * Implementations may return this error code if they detect an invalid
200 * state that cannot happen during normal operation and that indicates
201 * that the implementation's security guarantees no longer hold. Depending
202 * on the implementation architecture and on its security and safety goals,
203 * the implementation may forcibly terminate the application.
204 *
205 * This error code is intended as a last resort when a security breach
206 * is detected and it is unsure whether the keystore data is still
207 * protected. Implementations shall only return this error code
208 * to report an alarm from a tampering detector, to indicate that
209 * the confidentiality of stored data can no longer be guaranteed,
210 * or to indicate that the integrity of previously returned data is now
211 * considered compromised. Implementations shall not use this error code
212 * to indicate a hardware failure that merely makes it impossible to
213 * perform the requested operation (use #PSA_ERROR_COMMUNICATION_FAILURE,
214 * #PSA_ERROR_STORAGE_FAILURE, #PSA_ERROR_HARDWARE_FAILURE,
215 * #PSA_ERROR_INSUFFICIENT_ENTROPY or other applicable error code
216 * instead).
217 *
218 * This error indicates an attack against the application. Implementations
219 * shall not return this error code as a consequence of the behavior of
220 * the application itself. */
David Saadab4ecc272019-02-14 13:48:10 +0200221#define PSA_ERROR_TAMPERING_DETECTED ((psa_status_t)-151)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100222
223/** There is not enough entropy to generate random data needed
224 * for the requested action.
225 *
226 * This error indicates a failure of a hardware random generator.
227 * Application writers should note that this error can be returned not
228 * only by functions whose purpose is to generate random data, such
229 * as key, IV or nonce generation, but also by functions that execute
230 * an algorithm with a randomized result, as well as functions that
231 * use randomization of intermediate computations as a countermeasure
232 * to certain attacks.
233 *
234 * Implementations should avoid returning this error after psa_crypto_init()
235 * has succeeded. Implementations should generate sufficient
236 * entropy during initialization and subsequently use a cryptographically
237 * secure pseudorandom generator (PRNG). However implementations may return
238 * this error at any time if a policy requires the PRNG to be reseeded
239 * during normal operation. */
David Saadab4ecc272019-02-14 13:48:10 +0200240#define PSA_ERROR_INSUFFICIENT_ENTROPY ((psa_status_t)-148)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100241
242/** The signature, MAC or hash is incorrect.
243 *
244 * Verification functions return this error if the verification
245 * calculations completed successfully, and the value to be verified
246 * was determined to be incorrect.
247 *
248 * If the value to verify has an invalid size, implementations may return
249 * either #PSA_ERROR_INVALID_ARGUMENT or #PSA_ERROR_INVALID_SIGNATURE. */
David Saadab4ecc272019-02-14 13:48:10 +0200250#define PSA_ERROR_INVALID_SIGNATURE ((psa_status_t)-149)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100251
252/** The decrypted padding is incorrect.
253 *
254 * \warning In some protocols, when decrypting data, it is essential that
255 * the behavior of the application does not depend on whether the padding
256 * is correct, down to precise timing. Applications should prefer
257 * protocols that use authenticated encryption rather than plain
258 * encryption. If the application must perform a decryption of
259 * unauthenticated data, the application writer should take care not
260 * to reveal whether the padding is invalid.
261 *
262 * Implementations should strive to make valid and invalid padding
263 * as close as possible to indistinguishable to an external observer.
264 * In particular, the timing of a decryption operation should not
265 * depend on the validity of the padding. */
David Saadab4ecc272019-02-14 13:48:10 +0200266#define PSA_ERROR_INVALID_PADDING ((psa_status_t)-150)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100267
David Saadab4ecc272019-02-14 13:48:10 +0200268/** Return this error when there's insufficient data when attempting
269 * to read from a resource. */
270#define PSA_ERROR_INSUFFICIENT_DATA ((psa_status_t)-143)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100271
272/** The key handle is not valid.
273 */
David Saadab4ecc272019-02-14 13:48:10 +0200274#define PSA_ERROR_INVALID_HANDLE ((psa_status_t)-136)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100275
276/**@}*/
277
278/** \defgroup crypto_types Key and algorithm types
279 * @{
280 */
281
282/** An invalid key type value.
283 *
284 * Zero is not the encoding of any key type.
285 */
286#define PSA_KEY_TYPE_NONE ((psa_key_type_t)0x00000000)
287
288/** Vendor-defined flag
289 *
290 * Key types defined by this standard will never have the
291 * #PSA_KEY_TYPE_VENDOR_FLAG bit set. Vendors who define additional key types
292 * must use an encoding with the #PSA_KEY_TYPE_VENDOR_FLAG bit set and should
293 * respect the bitwise structure used by standard encodings whenever practical.
294 */
295#define PSA_KEY_TYPE_VENDOR_FLAG ((psa_key_type_t)0x80000000)
296
297#define PSA_KEY_TYPE_CATEGORY_MASK ((psa_key_type_t)0x70000000)
298#define PSA_KEY_TYPE_CATEGORY_SYMMETRIC ((psa_key_type_t)0x40000000)
299#define PSA_KEY_TYPE_CATEGORY_RAW ((psa_key_type_t)0x50000000)
300#define PSA_KEY_TYPE_CATEGORY_PUBLIC_KEY ((psa_key_type_t)0x60000000)
301#define PSA_KEY_TYPE_CATEGORY_KEY_PAIR ((psa_key_type_t)0x70000000)
302
303#define PSA_KEY_TYPE_CATEGORY_FLAG_PAIR ((psa_key_type_t)0x10000000)
304
305/** Whether a key type is vendor-defined. */
306#define PSA_KEY_TYPE_IS_VENDOR_DEFINED(type) \
307 (((type) & PSA_KEY_TYPE_VENDOR_FLAG) != 0)
308
309/** Whether a key type is an unstructured array of bytes.
310 *
311 * This encompasses both symmetric keys and non-key data.
312 */
313#define PSA_KEY_TYPE_IS_UNSTRUCTURED(type) \
314 (((type) & PSA_KEY_TYPE_CATEGORY_MASK & ~(psa_key_type_t)0x10000000) == \
315 PSA_KEY_TYPE_CATEGORY_SYMMETRIC)
316
317/** Whether a key type is asymmetric: either a key pair or a public key. */
318#define PSA_KEY_TYPE_IS_ASYMMETRIC(type) \
319 (((type) & PSA_KEY_TYPE_CATEGORY_MASK \
320 & ~PSA_KEY_TYPE_CATEGORY_FLAG_PAIR) == \
321 PSA_KEY_TYPE_CATEGORY_PUBLIC_KEY)
322/** Whether a key type is the public part of a key pair. */
323#define PSA_KEY_TYPE_IS_PUBLIC_KEY(type) \
324 (((type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_CATEGORY_PUBLIC_KEY)
325/** Whether a key type is a key pair containing a private part and a public
326 * part. */
327#define PSA_KEY_TYPE_IS_KEYPAIR(type) \
328 (((type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_CATEGORY_KEY_PAIR)
329/** The key pair type corresponding to a public key type.
330 *
331 * You may also pass a key pair type as \p type, it will be left unchanged.
332 *
333 * \param type A public key type or key pair type.
334 *
335 * \return The corresponding key pair type.
336 * If \p type is not a public key or a key pair,
337 * the return value is undefined.
338 */
339#define PSA_KEY_TYPE_KEYPAIR_OF_PUBLIC_KEY(type) \
340 ((type) | PSA_KEY_TYPE_CATEGORY_FLAG_PAIR)
341/** The public key type corresponding to a key pair type.
342 *
343 * You may also pass a key pair type as \p type, it will be left unchanged.
344 *
345 * \param type A public key type or key pair type.
346 *
347 * \return The corresponding public key type.
348 * If \p type is not a public key or a key pair,
349 * the return value is undefined.
350 */
351#define PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) \
352 ((type) & ~PSA_KEY_TYPE_CATEGORY_FLAG_PAIR)
353
354/** Raw data.
355 *
356 * A "key" of this type cannot be used for any cryptographic operation.
357 * Applications may use this type to store arbitrary data in the keystore. */
358#define PSA_KEY_TYPE_RAW_DATA ((psa_key_type_t)0x50000001)
359
360/** HMAC key.
361 *
362 * The key policy determines which underlying hash algorithm the key can be
363 * used for.
364 *
365 * HMAC keys should generally have the same size as the underlying hash.
366 * This size can be calculated with #PSA_HASH_SIZE(\c alg) where
367 * \c alg is the HMAC algorithm or the underlying hash algorithm. */
368#define PSA_KEY_TYPE_HMAC ((psa_key_type_t)0x51000000)
369
370/** A secret for key derivation.
371 *
372 * The key policy determines which key derivation algorithm the key
373 * can be used for.
374 */
375#define PSA_KEY_TYPE_DERIVE ((psa_key_type_t)0x52000000)
376
377/** Key for an cipher, AEAD or MAC algorithm based on the AES block cipher.
378 *
379 * The size of the key can be 16 bytes (AES-128), 24 bytes (AES-192) or
380 * 32 bytes (AES-256).
381 */
382#define PSA_KEY_TYPE_AES ((psa_key_type_t)0x40000001)
383
384/** Key for a cipher or MAC algorithm based on DES or 3DES (Triple-DES).
385 *
386 * The size of the key can be 8 bytes (single DES), 16 bytes (2-key 3DES) or
387 * 24 bytes (3-key 3DES).
388 *
389 * Note that single DES and 2-key 3DES are weak and strongly
390 * deprecated and should only be used to decrypt legacy data. 3-key 3DES
391 * is weak and deprecated and should only be used in legacy protocols.
392 */
393#define PSA_KEY_TYPE_DES ((psa_key_type_t)0x40000002)
394
395/** Key for an cipher, AEAD or MAC algorithm based on the
396 * Camellia block cipher. */
397#define PSA_KEY_TYPE_CAMELLIA ((psa_key_type_t)0x40000003)
398
399/** Key for the RC4 stream cipher.
400 *
401 * Note that RC4 is weak and deprecated and should only be used in
402 * legacy protocols. */
403#define PSA_KEY_TYPE_ARC4 ((psa_key_type_t)0x40000004)
404
405/** RSA public key. */
406#define PSA_KEY_TYPE_RSA_PUBLIC_KEY ((psa_key_type_t)0x60010000)
407/** RSA key pair (private and public key). */
408#define PSA_KEY_TYPE_RSA_KEYPAIR ((psa_key_type_t)0x70010000)
409/** Whether a key type is an RSA key (pair or public-only). */
410#define PSA_KEY_TYPE_IS_RSA(type) \
411 (PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) == PSA_KEY_TYPE_RSA_PUBLIC_KEY)
412
413/** DSA public key. */
414#define PSA_KEY_TYPE_DSA_PUBLIC_KEY ((psa_key_type_t)0x60020000)
415/** DSA key pair (private and public key). */
416#define PSA_KEY_TYPE_DSA_KEYPAIR ((psa_key_type_t)0x70020000)
417/** Whether a key type is an DSA key (pair or public-only). */
418#define PSA_KEY_TYPE_IS_DSA(type) \
419 (PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) == PSA_KEY_TYPE_DSA_PUBLIC_KEY)
420
421#define PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE ((psa_key_type_t)0x60030000)
422#define PSA_KEY_TYPE_ECC_KEYPAIR_BASE ((psa_key_type_t)0x70030000)
423#define PSA_KEY_TYPE_ECC_CURVE_MASK ((psa_key_type_t)0x0000ffff)
424/** Elliptic curve key pair. */
425#define PSA_KEY_TYPE_ECC_KEYPAIR(curve) \
426 (PSA_KEY_TYPE_ECC_KEYPAIR_BASE | (curve))
427/** Elliptic curve public key. */
428#define PSA_KEY_TYPE_ECC_PUBLIC_KEY(curve) \
429 (PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE | (curve))
430
431/** Whether a key type is an elliptic curve key (pair or public-only). */
432#define PSA_KEY_TYPE_IS_ECC(type) \
433 ((PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) & \
434 ~PSA_KEY_TYPE_ECC_CURVE_MASK) == PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE)
Gilles Peskine5e9c9cc2018-12-12 14:02:48 +0100435/** Whether a key type is an elliptic curve key pair. */
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100436#define PSA_KEY_TYPE_IS_ECC_KEYPAIR(type) \
437 (((type) & ~PSA_KEY_TYPE_ECC_CURVE_MASK) == \
438 PSA_KEY_TYPE_ECC_KEYPAIR_BASE)
Gilles Peskine5e9c9cc2018-12-12 14:02:48 +0100439/** Whether a key type is an elliptic curve public key. */
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100440#define PSA_KEY_TYPE_IS_ECC_PUBLIC_KEY(type) \
441 (((type) & ~PSA_KEY_TYPE_ECC_CURVE_MASK) == \
442 PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE)
443
444/** Extract the curve from an elliptic curve key type. */
445#define PSA_KEY_TYPE_GET_CURVE(type) \
446 ((psa_ecc_curve_t) (PSA_KEY_TYPE_IS_ECC(type) ? \
447 ((type) & PSA_KEY_TYPE_ECC_CURVE_MASK) : \
448 0))
449
450/* The encoding of curve identifiers is currently aligned with the
451 * TLS Supported Groups Registry (formerly known as the
452 * TLS EC Named Curve Registry)
453 * https://www.iana.org/assignments/tls-parameters/tls-parameters.xhtml#tls-parameters-8
454 * The values are defined by RFC 8422 and RFC 7027. */
455#define PSA_ECC_CURVE_SECT163K1 ((psa_ecc_curve_t) 0x0001)
456#define PSA_ECC_CURVE_SECT163R1 ((psa_ecc_curve_t) 0x0002)
457#define PSA_ECC_CURVE_SECT163R2 ((psa_ecc_curve_t) 0x0003)
458#define PSA_ECC_CURVE_SECT193R1 ((psa_ecc_curve_t) 0x0004)
459#define PSA_ECC_CURVE_SECT193R2 ((psa_ecc_curve_t) 0x0005)
460#define PSA_ECC_CURVE_SECT233K1 ((psa_ecc_curve_t) 0x0006)
461#define PSA_ECC_CURVE_SECT233R1 ((psa_ecc_curve_t) 0x0007)
462#define PSA_ECC_CURVE_SECT239K1 ((psa_ecc_curve_t) 0x0008)
463#define PSA_ECC_CURVE_SECT283K1 ((psa_ecc_curve_t) 0x0009)
464#define PSA_ECC_CURVE_SECT283R1 ((psa_ecc_curve_t) 0x000a)
465#define PSA_ECC_CURVE_SECT409K1 ((psa_ecc_curve_t) 0x000b)
466#define PSA_ECC_CURVE_SECT409R1 ((psa_ecc_curve_t) 0x000c)
467#define PSA_ECC_CURVE_SECT571K1 ((psa_ecc_curve_t) 0x000d)
468#define PSA_ECC_CURVE_SECT571R1 ((psa_ecc_curve_t) 0x000e)
469#define PSA_ECC_CURVE_SECP160K1 ((psa_ecc_curve_t) 0x000f)
470#define PSA_ECC_CURVE_SECP160R1 ((psa_ecc_curve_t) 0x0010)
471#define PSA_ECC_CURVE_SECP160R2 ((psa_ecc_curve_t) 0x0011)
472#define PSA_ECC_CURVE_SECP192K1 ((psa_ecc_curve_t) 0x0012)
473#define PSA_ECC_CURVE_SECP192R1 ((psa_ecc_curve_t) 0x0013)
474#define PSA_ECC_CURVE_SECP224K1 ((psa_ecc_curve_t) 0x0014)
475#define PSA_ECC_CURVE_SECP224R1 ((psa_ecc_curve_t) 0x0015)
476#define PSA_ECC_CURVE_SECP256K1 ((psa_ecc_curve_t) 0x0016)
477#define PSA_ECC_CURVE_SECP256R1 ((psa_ecc_curve_t) 0x0017)
478#define PSA_ECC_CURVE_SECP384R1 ((psa_ecc_curve_t) 0x0018)
479#define PSA_ECC_CURVE_SECP521R1 ((psa_ecc_curve_t) 0x0019)
480#define PSA_ECC_CURVE_BRAINPOOL_P256R1 ((psa_ecc_curve_t) 0x001a)
481#define PSA_ECC_CURVE_BRAINPOOL_P384R1 ((psa_ecc_curve_t) 0x001b)
482#define PSA_ECC_CURVE_BRAINPOOL_P512R1 ((psa_ecc_curve_t) 0x001c)
483#define PSA_ECC_CURVE_CURVE25519 ((psa_ecc_curve_t) 0x001d)
484#define PSA_ECC_CURVE_CURVE448 ((psa_ecc_curve_t) 0x001e)
485
Jaeden Amero8851c402019-01-11 14:20:03 +0000486/** Diffie-Hellman key exchange public key. */
487#define PSA_KEY_TYPE_DH_PUBLIC_KEY ((psa_key_type_t)0x60040000)
488/** Diffie-Hellman key exchange key pair (private and public key). */
489#define PSA_KEY_TYPE_DH_KEYPAIR ((psa_key_type_t)0x70040000)
490/** Whether a key type is a Diffie-Hellman key exchange key (pair or
491 * public-only). */
492#define PSA_KEY_TYPE_IS_DH(type) \
493 (PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) == PSA_KEY_TYPE_DH_PUBLIC_KEY)
494
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100495/** The block size of a block cipher.
496 *
497 * \param type A cipher key type (value of type #psa_key_type_t).
498 *
499 * \return The block size for a block cipher, or 1 for a stream cipher.
500 * The return value is undefined if \p type is not a supported
501 * cipher key type.
502 *
503 * \note It is possible to build stream cipher algorithms on top of a block
504 * cipher, for example CTR mode (#PSA_ALG_CTR).
505 * This macro only takes the key type into account, so it cannot be
506 * used to determine the size of the data that #psa_cipher_update()
507 * might buffer for future processing in general.
508 *
509 * \note This macro returns a compile-time constant if its argument is one.
510 *
511 * \warning This macro may evaluate its argument multiple times.
512 */
513#define PSA_BLOCK_CIPHER_BLOCK_SIZE(type) \
514 ( \
515 (type) == PSA_KEY_TYPE_AES ? 16 : \
516 (type) == PSA_KEY_TYPE_DES ? 8 : \
517 (type) == PSA_KEY_TYPE_CAMELLIA ? 16 : \
518 (type) == PSA_KEY_TYPE_ARC4 ? 1 : \
519 0)
520
521#define PSA_ALG_VENDOR_FLAG ((psa_algorithm_t)0x80000000)
522#define PSA_ALG_CATEGORY_MASK ((psa_algorithm_t)0x7f000000)
523#define PSA_ALG_CATEGORY_HASH ((psa_algorithm_t)0x01000000)
524#define PSA_ALG_CATEGORY_MAC ((psa_algorithm_t)0x02000000)
525#define PSA_ALG_CATEGORY_CIPHER ((psa_algorithm_t)0x04000000)
526#define PSA_ALG_CATEGORY_AEAD ((psa_algorithm_t)0x06000000)
527#define PSA_ALG_CATEGORY_SIGN ((psa_algorithm_t)0x10000000)
528#define PSA_ALG_CATEGORY_ASYMMETRIC_ENCRYPTION ((psa_algorithm_t)0x12000000)
Gilles Peskine6843c292019-01-18 16:44:49 +0100529#define PSA_ALG_CATEGORY_KEY_DERIVATION ((psa_algorithm_t)0x20000000)
530#define PSA_ALG_CATEGORY_KEY_AGREEMENT ((psa_algorithm_t)0x30000000)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100531
532#define PSA_ALG_IS_VENDOR_DEFINED(alg) \
533 (((alg) & PSA_ALG_VENDOR_FLAG) != 0)
534
535/** Whether the specified algorithm is a hash algorithm.
536 *
537 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
538 *
539 * \return 1 if \p alg is a hash algorithm, 0 otherwise.
540 * This macro may return either 0 or 1 if \p alg is not a supported
541 * algorithm identifier.
542 */
543#define PSA_ALG_IS_HASH(alg) \
544 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_HASH)
545
546/** Whether the specified algorithm is a MAC algorithm.
547 *
548 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
549 *
550 * \return 1 if \p alg is a MAC algorithm, 0 otherwise.
551 * This macro may return either 0 or 1 if \p alg is not a supported
552 * algorithm identifier.
553 */
554#define PSA_ALG_IS_MAC(alg) \
555 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_MAC)
556
557/** Whether the specified algorithm is a symmetric cipher algorithm.
558 *
559 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
560 *
561 * \return 1 if \p alg is a symmetric cipher algorithm, 0 otherwise.
562 * This macro may return either 0 or 1 if \p alg is not a supported
563 * algorithm identifier.
564 */
565#define PSA_ALG_IS_CIPHER(alg) \
566 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_CIPHER)
567
568/** Whether the specified algorithm is an authenticated encryption
569 * with associated data (AEAD) algorithm.
570 *
571 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
572 *
573 * \return 1 if \p alg is an AEAD algorithm, 0 otherwise.
574 * This macro may return either 0 or 1 if \p alg is not a supported
575 * algorithm identifier.
576 */
577#define PSA_ALG_IS_AEAD(alg) \
578 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_AEAD)
579
580/** Whether the specified algorithm is a public-key signature algorithm.
581 *
582 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
583 *
584 * \return 1 if \p alg is a public-key signature algorithm, 0 otherwise.
585 * This macro may return either 0 or 1 if \p alg is not a supported
586 * algorithm identifier.
587 */
588#define PSA_ALG_IS_SIGN(alg) \
589 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_SIGN)
590
591/** Whether the specified algorithm is a public-key encryption algorithm.
592 *
593 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
594 *
595 * \return 1 if \p alg is a public-key encryption algorithm, 0 otherwise.
596 * This macro may return either 0 or 1 if \p alg is not a supported
597 * algorithm identifier.
598 */
599#define PSA_ALG_IS_ASYMMETRIC_ENCRYPTION(alg) \
600 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_ASYMMETRIC_ENCRYPTION)
601
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100602/** Whether the specified algorithm is a key agreement algorithm.
603 *
604 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
605 *
606 * \return 1 if \p alg is a key agreement algorithm, 0 otherwise.
607 * This macro may return either 0 or 1 if \p alg is not a supported
608 * algorithm identifier.
609 */
610#define PSA_ALG_IS_KEY_AGREEMENT(alg) \
Gilles Peskine47e79fb2019-02-08 11:24:59 +0100611 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_KEY_AGREEMENT)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100612
613/** Whether the specified algorithm is a key derivation algorithm.
614 *
615 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
616 *
617 * \return 1 if \p alg is a key derivation algorithm, 0 otherwise.
618 * This macro may return either 0 or 1 if \p alg is not a supported
619 * algorithm identifier.
620 */
621#define PSA_ALG_IS_KEY_DERIVATION(alg) \
622 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_KEY_DERIVATION)
623
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100624#define PSA_ALG_HASH_MASK ((psa_algorithm_t)0x000000ff)
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100625
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100626#define PSA_ALG_MD2 ((psa_algorithm_t)0x01000001)
627#define PSA_ALG_MD4 ((psa_algorithm_t)0x01000002)
628#define PSA_ALG_MD5 ((psa_algorithm_t)0x01000003)
629#define PSA_ALG_RIPEMD160 ((psa_algorithm_t)0x01000004)
630#define PSA_ALG_SHA_1 ((psa_algorithm_t)0x01000005)
631/** SHA2-224 */
632#define PSA_ALG_SHA_224 ((psa_algorithm_t)0x01000008)
633/** SHA2-256 */
634#define PSA_ALG_SHA_256 ((psa_algorithm_t)0x01000009)
635/** SHA2-384 */
636#define PSA_ALG_SHA_384 ((psa_algorithm_t)0x0100000a)
637/** SHA2-512 */
638#define PSA_ALG_SHA_512 ((psa_algorithm_t)0x0100000b)
639/** SHA2-512/224 */
640#define PSA_ALG_SHA_512_224 ((psa_algorithm_t)0x0100000c)
641/** SHA2-512/256 */
642#define PSA_ALG_SHA_512_256 ((psa_algorithm_t)0x0100000d)
643/** SHA3-224 */
644#define PSA_ALG_SHA3_224 ((psa_algorithm_t)0x01000010)
645/** SHA3-256 */
646#define PSA_ALG_SHA3_256 ((psa_algorithm_t)0x01000011)
647/** SHA3-384 */
648#define PSA_ALG_SHA3_384 ((psa_algorithm_t)0x01000012)
649/** SHA3-512 */
650#define PSA_ALG_SHA3_512 ((psa_algorithm_t)0x01000013)
651
Gilles Peskine763fb9a2019-01-28 13:29:01 +0100652/** In a hash-and-sign algorithm policy, allow any hash algorithm.
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100653 *
Gilles Peskine763fb9a2019-01-28 13:29:01 +0100654 * This value may be used to form the algorithm usage field of a policy
655 * for a signature algorithm that is parametrized by a hash. The key
656 * may then be used to perform operations using the same signature
657 * algorithm parametrized with any supported hash.
658 *
659 * That is, suppose that `PSA_xxx_SIGNATURE` is one of the following macros:
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100660 * - #PSA_ALG_RSA_PKCS1V15_SIGN, #PSA_ALG_RSA_PSS,
661 * - #PSA_ALG_DSA, #PSA_ALG_DETERMINISTIC_DSA,
662 * - #PSA_ALG_ECDSA, #PSA_ALG_DETERMINISTIC_ECDSA.
Gilles Peskine763fb9a2019-01-28 13:29:01 +0100663 * Then you may create and use a key as follows:
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100664 * - Set the key usage field using #PSA_ALG_ANY_HASH, for example:
665 * ```
666 * psa_key_policy_set_usage(&policy,
667 * PSA_KEY_USAGE_SIGN, //or PSA_KEY_USAGE_VERIFY
668 * PSA_xxx_SIGNATURE(PSA_ALG_ANY_HASH));
669 * psa_set_key_policy(handle, &policy);
670 * ```
671 * - Import or generate key material.
672 * - Call psa_asymmetric_sign() or psa_asymmetric_verify(), passing
673 * an algorithm built from `PSA_xxx_SIGNATURE` and a specific hash. Each
674 * call to sign or verify a message may use a different hash.
675 * ```
676 * psa_asymmetric_sign(handle, PSA_xxx_SIGNATURE(PSA_ALG_SHA_256), ...);
677 * psa_asymmetric_sign(handle, PSA_xxx_SIGNATURE(PSA_ALG_SHA_512), ...);
678 * psa_asymmetric_sign(handle, PSA_xxx_SIGNATURE(PSA_ALG_SHA3_256), ...);
679 * ```
680 *
681 * This value may not be used to build other algorithms that are
682 * parametrized over a hash. For any valid use of this macro to build
Gilles Peskine3be6b7f2019-03-05 19:32:26 +0100683 * an algorithm \c alg, #PSA_ALG_IS_HASH_AND_SIGN(\c alg) is true.
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100684 *
685 * This value may not be used to build an algorithm specification to
686 * perform an operation. It is only valid to build policies.
687 */
688#define PSA_ALG_ANY_HASH ((psa_algorithm_t)0x010000ff)
689
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100690#define PSA_ALG_MAC_SUBCATEGORY_MASK ((psa_algorithm_t)0x00c00000)
691#define PSA_ALG_HMAC_BASE ((psa_algorithm_t)0x02800000)
692/** Macro to build an HMAC algorithm.
693 *
694 * For example, #PSA_ALG_HMAC(#PSA_ALG_SHA_256) is HMAC-SHA-256.
695 *
696 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
697 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
698 *
699 * \return The corresponding HMAC algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +0100700 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100701 * hash algorithm.
702 */
703#define PSA_ALG_HMAC(hash_alg) \
704 (PSA_ALG_HMAC_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
705
706#define PSA_ALG_HMAC_GET_HASH(hmac_alg) \
707 (PSA_ALG_CATEGORY_HASH | ((hmac_alg) & PSA_ALG_HASH_MASK))
708
709/** Whether the specified algorithm is an HMAC algorithm.
710 *
711 * HMAC is a family of MAC algorithms that are based on a hash function.
712 *
713 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
714 *
715 * \return 1 if \p alg is an HMAC algorithm, 0 otherwise.
716 * This macro may return either 0 or 1 if \p alg is not a supported
717 * algorithm identifier.
718 */
719#define PSA_ALG_IS_HMAC(alg) \
720 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_MAC_SUBCATEGORY_MASK)) == \
721 PSA_ALG_HMAC_BASE)
722
723/* In the encoding of a MAC algorithm, the bits corresponding to
724 * PSA_ALG_MAC_TRUNCATION_MASK encode the length to which the MAC is
725 * truncated. As an exception, the value 0 means the untruncated algorithm,
726 * whatever its length is. The length is encoded in 6 bits, so it can
727 * reach up to 63; the largest MAC is 64 bytes so its trivial truncation
728 * to full length is correctly encoded as 0 and any non-trivial truncation
729 * is correctly encoded as a value between 1 and 63. */
730#define PSA_ALG_MAC_TRUNCATION_MASK ((psa_algorithm_t)0x00003f00)
731#define PSA_MAC_TRUNCATION_OFFSET 8
732
733/** Macro to build a truncated MAC algorithm.
734 *
735 * A truncated MAC algorithm is identical to the corresponding MAC
736 * algorithm except that the MAC value for the truncated algorithm
737 * consists of only the first \p mac_length bytes of the MAC value
738 * for the untruncated algorithm.
739 *
740 * \note This macro may allow constructing algorithm identifiers that
741 * are not valid, either because the specified length is larger
742 * than the untruncated MAC or because the specified length is
743 * smaller than permitted by the implementation.
744 *
745 * \note It is implementation-defined whether a truncated MAC that
746 * is truncated to the same length as the MAC of the untruncated
747 * algorithm is considered identical to the untruncated algorithm
748 * for policy comparison purposes.
749 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200750 * \param mac_alg A MAC algorithm identifier (value of type
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100751 * #psa_algorithm_t such that #PSA_ALG_IS_MAC(\p alg)
752 * is true). This may be a truncated or untruncated
753 * MAC algorithm.
754 * \param mac_length Desired length of the truncated MAC in bytes.
755 * This must be at most the full length of the MAC
756 * and must be at least an implementation-specified
757 * minimum. The implementation-specified minimum
758 * shall not be zero.
759 *
760 * \return The corresponding MAC algorithm with the specified
761 * length.
762 * \return Unspecified if \p alg is not a supported
763 * MAC algorithm or if \p mac_length is too small or
764 * too large for the specified MAC algorithm.
765 */
Gilles Peskine434899f2018-10-19 11:30:26 +0200766#define PSA_ALG_TRUNCATED_MAC(mac_alg, mac_length) \
767 (((mac_alg) & ~PSA_ALG_MAC_TRUNCATION_MASK) | \
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100768 ((mac_length) << PSA_MAC_TRUNCATION_OFFSET & PSA_ALG_MAC_TRUNCATION_MASK))
769
770/** Macro to build the base MAC algorithm corresponding to a truncated
771 * MAC algorithm.
772 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200773 * \param mac_alg A MAC algorithm identifier (value of type
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100774 * #psa_algorithm_t such that #PSA_ALG_IS_MAC(\p alg)
775 * is true). This may be a truncated or untruncated
776 * MAC algorithm.
777 *
778 * \return The corresponding base MAC algorithm.
779 * \return Unspecified if \p alg is not a supported
780 * MAC algorithm.
781 */
Gilles Peskine434899f2018-10-19 11:30:26 +0200782#define PSA_ALG_FULL_LENGTH_MAC(mac_alg) \
783 ((mac_alg) & ~PSA_ALG_MAC_TRUNCATION_MASK)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100784
785/** Length to which a MAC algorithm is truncated.
786 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200787 * \param mac_alg A MAC algorithm identifier (value of type
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100788 * #psa_algorithm_t such that #PSA_ALG_IS_MAC(\p alg)
789 * is true).
790 *
791 * \return Length of the truncated MAC in bytes.
792 * \return 0 if \p alg is a non-truncated MAC algorithm.
793 * \return Unspecified if \p alg is not a supported
794 * MAC algorithm.
795 */
Gilles Peskine434899f2018-10-19 11:30:26 +0200796#define PSA_MAC_TRUNCATED_LENGTH(mac_alg) \
797 (((mac_alg) & PSA_ALG_MAC_TRUNCATION_MASK) >> PSA_MAC_TRUNCATION_OFFSET)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100798
799#define PSA_ALG_CIPHER_MAC_BASE ((psa_algorithm_t)0x02c00000)
800#define PSA_ALG_CBC_MAC ((psa_algorithm_t)0x02c00001)
801#define PSA_ALG_CMAC ((psa_algorithm_t)0x02c00002)
802#define PSA_ALG_GMAC ((psa_algorithm_t)0x02c00003)
803
804/** Whether the specified algorithm is a MAC algorithm based on a block cipher.
805 *
806 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
807 *
808 * \return 1 if \p alg is a MAC algorithm based on a block cipher, 0 otherwise.
809 * This macro may return either 0 or 1 if \p alg is not a supported
810 * algorithm identifier.
811 */
812#define PSA_ALG_IS_BLOCK_CIPHER_MAC(alg) \
813 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_MAC_SUBCATEGORY_MASK)) == \
814 PSA_ALG_CIPHER_MAC_BASE)
815
816#define PSA_ALG_CIPHER_STREAM_FLAG ((psa_algorithm_t)0x00800000)
817#define PSA_ALG_CIPHER_FROM_BLOCK_FLAG ((psa_algorithm_t)0x00400000)
818
819/** Whether the specified algorithm is a stream cipher.
820 *
821 * A stream cipher is a symmetric cipher that encrypts or decrypts messages
822 * by applying a bitwise-xor with a stream of bytes that is generated
823 * from a key.
824 *
825 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
826 *
827 * \return 1 if \p alg is a stream cipher algorithm, 0 otherwise.
828 * This macro may return either 0 or 1 if \p alg is not a supported
829 * algorithm identifier or if it is not a symmetric cipher algorithm.
830 */
831#define PSA_ALG_IS_STREAM_CIPHER(alg) \
832 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_CIPHER_STREAM_FLAG)) == \
833 (PSA_ALG_CATEGORY_CIPHER | PSA_ALG_CIPHER_STREAM_FLAG))
834
835/** The ARC4 stream cipher algorithm.
836 */
837#define PSA_ALG_ARC4 ((psa_algorithm_t)0x04800001)
838
839/** The CTR stream cipher mode.
840 *
841 * CTR is a stream cipher which is built from a block cipher.
842 * The underlying block cipher is determined by the key type.
843 * For example, to use AES-128-CTR, use this algorithm with
844 * a key of type #PSA_KEY_TYPE_AES and a length of 128 bits (16 bytes).
845 */
846#define PSA_ALG_CTR ((psa_algorithm_t)0x04c00001)
847
848#define PSA_ALG_CFB ((psa_algorithm_t)0x04c00002)
849
850#define PSA_ALG_OFB ((psa_algorithm_t)0x04c00003)
851
852/** The XTS cipher mode.
853 *
854 * XTS is a cipher mode which is built from a block cipher. It requires at
855 * least one full block of input, but beyond this minimum the input
856 * does not need to be a whole number of blocks.
857 */
858#define PSA_ALG_XTS ((psa_algorithm_t)0x044000ff)
859
860/** The CBC block cipher chaining mode, with no padding.
861 *
862 * The underlying block cipher is determined by the key type.
863 *
864 * This symmetric cipher mode can only be used with messages whose lengths
865 * are whole number of blocks for the chosen block cipher.
866 */
867#define PSA_ALG_CBC_NO_PADDING ((psa_algorithm_t)0x04600100)
868
869/** The CBC block cipher chaining mode with PKCS#7 padding.
870 *
871 * The underlying block cipher is determined by the key type.
872 *
873 * This is the padding method defined by PKCS#7 (RFC 2315) &sect;10.3.
874 */
875#define PSA_ALG_CBC_PKCS7 ((psa_algorithm_t)0x04600101)
876
Gilles Peskine679693e2019-05-06 15:10:16 +0200877#define PSA_ALG_AEAD_FROM_BLOCK_FLAG ((psa_algorithm_t)0x00400000)
878
879/** Whether the specified algorithm is an AEAD mode on a block cipher.
880 *
881 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
882 *
883 * \return 1 if \p alg is an AEAD algorithm which is an AEAD mode based on
884 * a block cipher, 0 otherwise.
885 * This macro may return either 0 or 1 if \p alg is not a supported
886 * algorithm identifier.
887 */
888#define PSA_ALG_IS_AEAD_ON_BLOCK_CIPHER(alg) \
889 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_AEAD_FROM_BLOCK_FLAG)) == \
890 (PSA_ALG_CATEGORY_AEAD | PSA_ALG_AEAD_FROM_BLOCK_FLAG))
891
Gilles Peskine9153ec02019-02-15 13:02:02 +0100892/** The CCM authenticated encryption algorithm.
893 */
Gilles Peskine679693e2019-05-06 15:10:16 +0200894#define PSA_ALG_CCM ((psa_algorithm_t)0x06401001)
Gilles Peskine9153ec02019-02-15 13:02:02 +0100895
896/** The GCM authenticated encryption algorithm.
897 */
Gilles Peskine679693e2019-05-06 15:10:16 +0200898#define PSA_ALG_GCM ((psa_algorithm_t)0x06401002)
899
900/** The Chacha20-Poly1305 AEAD algorithm.
901 *
902 * The ChaCha20_Poly1305 construction is defined in RFC 7539.
903 */
904#define PSA_ALG_CHACHA20_POLY1305 ((psa_algorithm_t)0x06001005)
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100905
906/* In the encoding of a AEAD algorithm, the bits corresponding to
907 * PSA_ALG_AEAD_TAG_LENGTH_MASK encode the length of the AEAD tag.
908 * The constants for default lengths follow this encoding.
909 */
910#define PSA_ALG_AEAD_TAG_LENGTH_MASK ((psa_algorithm_t)0x00003f00)
911#define PSA_AEAD_TAG_LENGTH_OFFSET 8
912
913/** Macro to build a shortened AEAD algorithm.
914 *
915 * A shortened AEAD algorithm is similar to the corresponding AEAD
916 * algorithm, but has an authentication tag that consists of fewer bytes.
917 * Depending on the algorithm, the tag length may affect the calculation
918 * of the ciphertext.
919 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200920 * \param aead_alg An AEAD algorithm identifier (value of type
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100921 * #psa_algorithm_t such that #PSA_ALG_IS_AEAD(\p alg)
922 * is true).
923 * \param tag_length Desired length of the authentication tag in bytes.
924 *
925 * \return The corresponding AEAD algorithm with the specified
926 * length.
927 * \return Unspecified if \p alg is not a supported
928 * AEAD algorithm or if \p tag_length is not valid
929 * for the specified AEAD algorithm.
930 */
Gilles Peskine434899f2018-10-19 11:30:26 +0200931#define PSA_ALG_AEAD_WITH_TAG_LENGTH(aead_alg, tag_length) \
932 (((aead_alg) & ~PSA_ALG_AEAD_TAG_LENGTH_MASK) | \
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100933 ((tag_length) << PSA_AEAD_TAG_LENGTH_OFFSET & \
934 PSA_ALG_AEAD_TAG_LENGTH_MASK))
935
936/** Calculate the corresponding AEAD algorithm with the default tag length.
937 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200938 * \param aead_alg An AEAD algorithm (\c PSA_ALG_XXX value such that
939 * #PSA_ALG_IS_AEAD(\p alg) is true).
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100940 *
Gilles Peskine434899f2018-10-19 11:30:26 +0200941 * \return The corresponding AEAD algorithm with the default
942 * tag length for that algorithm.
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100943 */
Gilles Peskine434899f2018-10-19 11:30:26 +0200944#define PSA_ALG_AEAD_WITH_DEFAULT_TAG_LENGTH(aead_alg) \
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100945 ( \
Gilles Peskine434899f2018-10-19 11:30:26 +0200946 PSA__ALG_AEAD_WITH_DEFAULT_TAG_LENGTH__CASE(aead_alg, PSA_ALG_CCM) \
947 PSA__ALG_AEAD_WITH_DEFAULT_TAG_LENGTH__CASE(aead_alg, PSA_ALG_GCM) \
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100948 0)
Gilles Peskine434899f2018-10-19 11:30:26 +0200949#define PSA__ALG_AEAD_WITH_DEFAULT_TAG_LENGTH__CASE(aead_alg, ref) \
950 PSA_ALG_AEAD_WITH_TAG_LENGTH(aead_alg, 0) == \
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100951 PSA_ALG_AEAD_WITH_TAG_LENGTH(ref, 0) ? \
952 ref :
953
954#define PSA_ALG_RSA_PKCS1V15_SIGN_BASE ((psa_algorithm_t)0x10020000)
955/** RSA PKCS#1 v1.5 signature with hashing.
956 *
957 * This is the signature scheme defined by RFC 8017
958 * (PKCS#1: RSA Cryptography Specifications) under the name
959 * RSASSA-PKCS1-v1_5.
960 *
961 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
962 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100963 * This includes #PSA_ALG_ANY_HASH
964 * when specifying the algorithm in a usage policy.
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100965 *
966 * \return The corresponding RSA PKCS#1 v1.5 signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +0100967 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100968 * hash algorithm.
969 */
970#define PSA_ALG_RSA_PKCS1V15_SIGN(hash_alg) \
971 (PSA_ALG_RSA_PKCS1V15_SIGN_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
972/** Raw PKCS#1 v1.5 signature.
973 *
974 * The input to this algorithm is the DigestInfo structure used by
975 * RFC 8017 (PKCS#1: RSA Cryptography Specifications), &sect;9.2
976 * steps 3&ndash;6.
977 */
978#define PSA_ALG_RSA_PKCS1V15_SIGN_RAW PSA_ALG_RSA_PKCS1V15_SIGN_BASE
979#define PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg) \
980 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_RSA_PKCS1V15_SIGN_BASE)
981
982#define PSA_ALG_RSA_PSS_BASE ((psa_algorithm_t)0x10030000)
983/** RSA PSS signature with hashing.
984 *
985 * This is the signature scheme defined by RFC 8017
986 * (PKCS#1: RSA Cryptography Specifications) under the name
987 * RSASSA-PSS, with the message generation function MGF1, and with
988 * a salt length equal to the length of the hash. The specified
989 * hash algorithm is used to hash the input message, to create the
990 * salted hash, and for the mask generation.
991 *
992 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
993 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
Gilles Peskine30f77cd2019-01-14 16:06:39 +0100994 * This includes #PSA_ALG_ANY_HASH
995 * when specifying the algorithm in a usage policy.
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100996 *
997 * \return The corresponding RSA PSS signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +0100998 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100999 * hash algorithm.
1000 */
1001#define PSA_ALG_RSA_PSS(hash_alg) \
1002 (PSA_ALG_RSA_PSS_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1003#define PSA_ALG_IS_RSA_PSS(alg) \
1004 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_RSA_PSS_BASE)
1005
1006#define PSA_ALG_DSA_BASE ((psa_algorithm_t)0x10040000)
1007/** DSA signature with hashing.
1008 *
1009 * This is the signature scheme defined by FIPS 186-4,
1010 * with a random per-message secret number (*k*).
1011 *
1012 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1013 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
Gilles Peskine30f77cd2019-01-14 16:06:39 +01001014 * This includes #PSA_ALG_ANY_HASH
1015 * when specifying the algorithm in a usage policy.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001016 *
1017 * \return The corresponding DSA signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001018 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001019 * hash algorithm.
1020 */
1021#define PSA_ALG_DSA(hash_alg) \
1022 (PSA_ALG_DSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1023#define PSA_ALG_DETERMINISTIC_DSA_BASE ((psa_algorithm_t)0x10050000)
1024#define PSA_ALG_DSA_DETERMINISTIC_FLAG ((psa_algorithm_t)0x00010000)
Gilles Peskine9153ec02019-02-15 13:02:02 +01001025/** Deterministic DSA signature with hashing.
1026 *
1027 * This is the deterministic variant defined by RFC 6979 of
1028 * the signature scheme defined by FIPS 186-4.
1029 *
1030 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1031 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
1032 * This includes #PSA_ALG_ANY_HASH
1033 * when specifying the algorithm in a usage policy.
1034 *
1035 * \return The corresponding DSA signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001036 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskine9153ec02019-02-15 13:02:02 +01001037 * hash algorithm.
1038 */
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001039#define PSA_ALG_DETERMINISTIC_DSA(hash_alg) \
1040 (PSA_ALG_DETERMINISTIC_DSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1041#define PSA_ALG_IS_DSA(alg) \
1042 (((alg) & ~PSA_ALG_HASH_MASK & ~PSA_ALG_DSA_DETERMINISTIC_FLAG) == \
1043 PSA_ALG_DSA_BASE)
1044#define PSA_ALG_DSA_IS_DETERMINISTIC(alg) \
1045 (((alg) & PSA_ALG_DSA_DETERMINISTIC_FLAG) != 0)
1046#define PSA_ALG_IS_DETERMINISTIC_DSA(alg) \
1047 (PSA_ALG_IS_DSA(alg) && PSA_ALG_DSA_IS_DETERMINISTIC(alg))
1048#define PSA_ALG_IS_RANDOMIZED_DSA(alg) \
1049 (PSA_ALG_IS_DSA(alg) && !PSA_ALG_DSA_IS_DETERMINISTIC(alg))
1050
1051#define PSA_ALG_ECDSA_BASE ((psa_algorithm_t)0x10060000)
1052/** ECDSA signature with hashing.
1053 *
1054 * This is the ECDSA signature scheme defined by ANSI X9.62,
1055 * with a random per-message secret number (*k*).
1056 *
1057 * The representation of the signature as a byte string consists of
1058 * the concatentation of the signature values *r* and *s*. Each of
1059 * *r* and *s* is encoded as an *N*-octet string, where *N* is the length
1060 * of the base point of the curve in octets. Each value is represented
1061 * in big-endian order (most significant octet first).
1062 *
1063 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1064 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
Gilles Peskine30f77cd2019-01-14 16:06:39 +01001065 * This includes #PSA_ALG_ANY_HASH
1066 * when specifying the algorithm in a usage policy.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001067 *
1068 * \return The corresponding ECDSA signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001069 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001070 * hash algorithm.
1071 */
1072#define PSA_ALG_ECDSA(hash_alg) \
1073 (PSA_ALG_ECDSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1074/** ECDSA signature without hashing.
1075 *
1076 * This is the same signature scheme as #PSA_ALG_ECDSA(), but
1077 * without specifying a hash algorithm. This algorithm may only be
1078 * used to sign or verify a sequence of bytes that should be an
1079 * already-calculated hash. Note that the input is padded with
1080 * zeros on the left or truncated on the left as required to fit
1081 * the curve size.
1082 */
1083#define PSA_ALG_ECDSA_ANY PSA_ALG_ECDSA_BASE
1084#define PSA_ALG_DETERMINISTIC_ECDSA_BASE ((psa_algorithm_t)0x10070000)
1085/** Deterministic ECDSA signature with hashing.
1086 *
1087 * This is the deterministic ECDSA signature scheme defined by RFC 6979.
1088 *
1089 * The representation of a signature is the same as with #PSA_ALG_ECDSA().
1090 *
1091 * Note that when this algorithm is used for verification, signatures
1092 * made with randomized ECDSA (#PSA_ALG_ECDSA(\p hash_alg)) with the
1093 * same private key are accepted. In other words,
1094 * #PSA_ALG_DETERMINISTIC_ECDSA(\p hash_alg) differs from
1095 * #PSA_ALG_ECDSA(\p hash_alg) only for signature, not for verification.
1096 *
1097 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1098 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
Gilles Peskine30f77cd2019-01-14 16:06:39 +01001099 * This includes #PSA_ALG_ANY_HASH
1100 * when specifying the algorithm in a usage policy.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001101 *
1102 * \return The corresponding deterministic ECDSA signature
1103 * algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001104 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001105 * hash algorithm.
1106 */
1107#define PSA_ALG_DETERMINISTIC_ECDSA(hash_alg) \
1108 (PSA_ALG_DETERMINISTIC_ECDSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1109#define PSA_ALG_IS_ECDSA(alg) \
1110 (((alg) & ~PSA_ALG_HASH_MASK & ~PSA_ALG_DSA_DETERMINISTIC_FLAG) == \
1111 PSA_ALG_ECDSA_BASE)
1112#define PSA_ALG_ECDSA_IS_DETERMINISTIC(alg) \
1113 (((alg) & PSA_ALG_DSA_DETERMINISTIC_FLAG) != 0)
1114#define PSA_ALG_IS_DETERMINISTIC_ECDSA(alg) \
1115 (PSA_ALG_IS_ECDSA(alg) && PSA_ALG_ECDSA_IS_DETERMINISTIC(alg))
1116#define PSA_ALG_IS_RANDOMIZED_ECDSA(alg) \
1117 (PSA_ALG_IS_ECDSA(alg) && !PSA_ALG_ECDSA_IS_DETERMINISTIC(alg))
1118
Gilles Peskined35b4892019-01-14 16:02:15 +01001119/** Whether the specified algorithm is a hash-and-sign algorithm.
1120 *
1121 * Hash-and-sign algorithms are public-key signature algorithms structured
1122 * in two parts: first the calculation of a hash in a way that does not
1123 * depend on the key, then the calculation of a signature from the
1124 * hash value and the key.
1125 *
1126 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1127 *
1128 * \return 1 if \p alg is a hash-and-sign algorithm, 0 otherwise.
1129 * This macro may return either 0 or 1 if \p alg is not a supported
1130 * algorithm identifier.
1131 */
1132#define PSA_ALG_IS_HASH_AND_SIGN(alg) \
1133 (PSA_ALG_IS_RSA_PSS(alg) || PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg) || \
1134 PSA_ALG_IS_DSA(alg) || PSA_ALG_IS_ECDSA(alg))
1135
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001136/** Get the hash used by a hash-and-sign signature algorithm.
1137 *
1138 * A hash-and-sign algorithm is a signature algorithm which is
1139 * composed of two phases: first a hashing phase which does not use
1140 * the key and produces a hash of the input message, then a signing
1141 * phase which only uses the hash and the key and not the message
1142 * itself.
1143 *
1144 * \param alg A signature algorithm (\c PSA_ALG_XXX value such that
1145 * #PSA_ALG_IS_SIGN(\p alg) is true).
1146 *
1147 * \return The underlying hash algorithm if \p alg is a hash-and-sign
1148 * algorithm.
1149 * \return 0 if \p alg is a signature algorithm that does not
1150 * follow the hash-and-sign structure.
1151 * \return Unspecified if \p alg is not a signature algorithm or
1152 * if it is not supported by the implementation.
1153 */
1154#define PSA_ALG_SIGN_GET_HASH(alg) \
Gilles Peskined35b4892019-01-14 16:02:15 +01001155 (PSA_ALG_IS_HASH_AND_SIGN(alg) ? \
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001156 ((alg) & PSA_ALG_HASH_MASK) == 0 ? /*"raw" algorithm*/ 0 : \
1157 ((alg) & PSA_ALG_HASH_MASK) | PSA_ALG_CATEGORY_HASH : \
1158 0)
1159
1160/** RSA PKCS#1 v1.5 encryption.
1161 */
1162#define PSA_ALG_RSA_PKCS1V15_CRYPT ((psa_algorithm_t)0x12020000)
1163
1164#define PSA_ALG_RSA_OAEP_BASE ((psa_algorithm_t)0x12030000)
1165/** RSA OAEP encryption.
1166 *
1167 * This is the encryption scheme defined by RFC 8017
1168 * (PKCS#1: RSA Cryptography Specifications) under the name
1169 * RSAES-OAEP, with the message generation function MGF1.
1170 *
1171 * \param hash_alg The hash algorithm (\c PSA_ALG_XXX value such that
1172 * #PSA_ALG_IS_HASH(\p hash_alg) is true) to use
1173 * for MGF1.
1174 *
1175 * \return The corresponding RSA OAEP signature algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001176 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001177 * hash algorithm.
1178 */
1179#define PSA_ALG_RSA_OAEP(hash_alg) \
1180 (PSA_ALG_RSA_OAEP_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1181#define PSA_ALG_IS_RSA_OAEP(alg) \
1182 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_RSA_OAEP_BASE)
1183#define PSA_ALG_RSA_OAEP_GET_HASH(alg) \
1184 (PSA_ALG_IS_RSA_OAEP(alg) ? \
1185 ((alg) & PSA_ALG_HASH_MASK) | PSA_ALG_CATEGORY_HASH : \
1186 0)
1187
Gilles Peskine6843c292019-01-18 16:44:49 +01001188#define PSA_ALG_HKDF_BASE ((psa_algorithm_t)0x20000100)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001189/** Macro to build an HKDF algorithm.
1190 *
1191 * For example, `PSA_ALG_HKDF(PSA_ALG_SHA256)` is HKDF using HMAC-SHA-256.
1192 *
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001193 * This key derivation algorithm uses the following inputs:
1194 * - #PSA_KDF_STEP_SALT is the salt used in the "extract" step.
1195 * It is optional; if omitted, the derivation uses an empty salt.
1196 * - #PSA_KDF_STEP_SECRET is the secret key used in the "extract" step.
1197 * - #PSA_KDF_STEP_INFO is the info string used in the "expand" step.
1198 * You must pass #PSA_KDF_STEP_SALT before #PSA_KDF_STEP_SECRET.
1199 * You may pass #PSA_KDF_STEP_INFO at any time after steup and before
1200 * starting to generate output.
1201 *
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001202 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1203 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
1204 *
1205 * \return The corresponding HKDF algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001206 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001207 * hash algorithm.
1208 */
1209#define PSA_ALG_HKDF(hash_alg) \
1210 (PSA_ALG_HKDF_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1211/** Whether the specified algorithm is an HKDF algorithm.
1212 *
1213 * HKDF is a family of key derivation algorithms that are based on a hash
1214 * function and the HMAC construction.
1215 *
1216 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1217 *
1218 * \return 1 if \c alg is an HKDF algorithm, 0 otherwise.
1219 * This macro may return either 0 or 1 if \c alg is not a supported
1220 * key derivation algorithm identifier.
1221 */
1222#define PSA_ALG_IS_HKDF(alg) \
1223 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_HKDF_BASE)
1224#define PSA_ALG_HKDF_GET_HASH(hkdf_alg) \
1225 (PSA_ALG_CATEGORY_HASH | ((hkdf_alg) & PSA_ALG_HASH_MASK))
1226
Gilles Peskine6843c292019-01-18 16:44:49 +01001227#define PSA_ALG_TLS12_PRF_BASE ((psa_algorithm_t)0x20000200)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001228/** Macro to build a TLS-1.2 PRF algorithm.
1229 *
1230 * TLS 1.2 uses a custom pseudorandom function (PRF) for key schedule,
1231 * specified in Section 5 of RFC 5246. It is based on HMAC and can be
1232 * used with either SHA-256 or SHA-384.
1233 *
1234 * For the application to TLS-1.2, the salt and label arguments passed
1235 * to psa_key_derivation() are what's called 'seed' and 'label' in RFC 5246,
1236 * respectively. For example, for TLS key expansion, the salt is the
1237 * concatenation of ServerHello.Random + ClientHello.Random,
1238 * while the label is "key expansion".
1239 *
1240 * For example, `PSA_ALG_TLS12_PRF(PSA_ALG_SHA256)` represents the
1241 * TLS 1.2 PRF using HMAC-SHA-256.
1242 *
1243 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1244 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
1245 *
1246 * \return The corresponding TLS-1.2 PRF algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001247 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001248 * hash algorithm.
1249 */
1250#define PSA_ALG_TLS12_PRF(hash_alg) \
1251 (PSA_ALG_TLS12_PRF_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1252
1253/** Whether the specified algorithm is a TLS-1.2 PRF algorithm.
1254 *
1255 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1256 *
1257 * \return 1 if \c alg is a TLS-1.2 PRF algorithm, 0 otherwise.
1258 * This macro may return either 0 or 1 if \c alg is not a supported
1259 * key derivation algorithm identifier.
1260 */
1261#define PSA_ALG_IS_TLS12_PRF(alg) \
1262 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_TLS12_PRF_BASE)
1263#define PSA_ALG_TLS12_PRF_GET_HASH(hkdf_alg) \
1264 (PSA_ALG_CATEGORY_HASH | ((hkdf_alg) & PSA_ALG_HASH_MASK))
1265
Gilles Peskine6843c292019-01-18 16:44:49 +01001266#define PSA_ALG_TLS12_PSK_TO_MS_BASE ((psa_algorithm_t)0x20000300)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001267/** Macro to build a TLS-1.2 PSK-to-MasterSecret algorithm.
1268 *
1269 * In a pure-PSK handshake in TLS 1.2, the master secret is derived
1270 * from the PreSharedKey (PSK) through the application of padding
1271 * (RFC 4279, Section 2) and the TLS-1.2 PRF (RFC 5246, Section 5).
1272 * The latter is based on HMAC and can be used with either SHA-256
1273 * or SHA-384.
1274 *
1275 * For the application to TLS-1.2, the salt passed to psa_key_derivation()
1276 * (and forwarded to the TLS-1.2 PRF) is the concatenation of the
1277 * ClientHello.Random + ServerHello.Random, while the label is "master secret"
1278 * or "extended master secret".
1279 *
1280 * For example, `PSA_ALG_TLS12_PSK_TO_MS(PSA_ALG_SHA256)` represents the
1281 * TLS-1.2 PSK to MasterSecret derivation PRF using HMAC-SHA-256.
1282 *
1283 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
1284 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
1285 *
1286 * \return The corresponding TLS-1.2 PSK to MS algorithm.
Gilles Peskine3be6b7f2019-03-05 19:32:26 +01001287 * \return Unspecified if \p hash_alg is not a supported
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001288 * hash algorithm.
1289 */
1290#define PSA_ALG_TLS12_PSK_TO_MS(hash_alg) \
1291 (PSA_ALG_TLS12_PSK_TO_MS_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
1292
1293/** Whether the specified algorithm is a TLS-1.2 PSK to MS algorithm.
1294 *
1295 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1296 *
1297 * \return 1 if \c alg is a TLS-1.2 PSK to MS algorithm, 0 otherwise.
1298 * This macro may return either 0 or 1 if \c alg is not a supported
1299 * key derivation algorithm identifier.
1300 */
1301#define PSA_ALG_IS_TLS12_PSK_TO_MS(alg) \
1302 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_TLS12_PSK_TO_MS_BASE)
1303#define PSA_ALG_TLS12_PSK_TO_MS_GET_HASH(hkdf_alg) \
1304 (PSA_ALG_CATEGORY_HASH | ((hkdf_alg) & PSA_ALG_HASH_MASK))
1305
Gilles Peskinea52460c2019-04-12 00:11:21 +02001306#define PSA_ALG_KEY_DERIVATION_MASK ((psa_algorithm_t)0x0803ffff)
1307#define PSA_ALG_KEY_AGREEMENT_MASK ((psa_algorithm_t)0x10fc0000)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001308
Gilles Peskine6843c292019-01-18 16:44:49 +01001309/** Macro to build a combined algorithm that chains a key agreement with
1310 * a key derivation.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001311 *
Gilles Peskine6843c292019-01-18 16:44:49 +01001312 * \param ka_alg A key agreement algorithm (\c PSA_ALG_XXX value such
1313 * that #PSA_ALG_IS_KEY_AGREEMENT(\p ka_alg) is true).
1314 * \param kdf_alg A key derivation algorithm (\c PSA_ALG_XXX value such
1315 * that #PSA_ALG_IS_KEY_DERIVATION(\p kdf_alg) is true).
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001316 *
Gilles Peskine6843c292019-01-18 16:44:49 +01001317 * \return The corresponding key agreement and derivation
1318 * algorithm.
1319 * \return Unspecified if \p ka_alg is not a supported
1320 * key agreement algorithm or \p kdf_alg is not a
1321 * supported key derivation algorithm.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001322 */
Gilles Peskine6843c292019-01-18 16:44:49 +01001323#define PSA_ALG_KEY_AGREEMENT(ka_alg, kdf_alg) \
1324 ((ka_alg) | (kdf_alg))
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001325
1326#define PSA_ALG_KEY_AGREEMENT_GET_KDF(alg) \
1327 (((alg) & PSA_ALG_KEY_DERIVATION_MASK) | PSA_ALG_CATEGORY_KEY_DERIVATION)
1328
Gilles Peskine6843c292019-01-18 16:44:49 +01001329#define PSA_ALG_KEY_AGREEMENT_GET_BASE(alg) \
1330 (((alg) & PSA_ALG_KEY_AGREEMENT_MASK) | PSA_ALG_CATEGORY_KEY_AGREEMENT)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001331
Gilles Peskine47e79fb2019-02-08 11:24:59 +01001332/** Whether the specified algorithm is a raw key agreement algorithm.
1333 *
1334 * A raw key agreement algorithm is one that does not specify
1335 * a key derivation function.
1336 * Usually, raw key agreement algorithms are constructed directly with
1337 * a \c PSA_ALG_xxx macro while non-raw key agreement algorithms are
1338 * constructed with PSA_ALG_KEY_AGREEMENT().
1339 *
1340 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1341 *
1342 * \return 1 if \p alg is a raw key agreement algorithm, 0 otherwise.
1343 * This macro may return either 0 or 1 if \p alg is not a supported
1344 * algorithm identifier.
1345 */
Gilles Peskine6843c292019-01-18 16:44:49 +01001346#define PSA_ALG_IS_RAW_KEY_AGREEMENT(alg) \
Gilles Peskine47e79fb2019-02-08 11:24:59 +01001347 (PSA_ALG_IS_KEY_AGREEMENT(alg) && \
1348 PSA_ALG_KEY_AGREEMENT_GET_KDF(alg) == PSA_ALG_CATEGORY_KEY_DERIVATION)
Gilles Peskine6843c292019-01-18 16:44:49 +01001349
1350#define PSA_ALG_IS_KEY_DERIVATION_OR_AGREEMENT(alg) \
1351 ((PSA_ALG_IS_KEY_DERIVATION(alg) || PSA_ALG_IS_KEY_AGREEMENT(alg)))
1352
1353/** The finite-field Diffie-Hellman (DH) key agreement algorithm.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001354 *
Gilles Peskine2e37c0d2019-03-05 19:32:02 +01001355 * The shared secret produced by key agreement is
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001356 * `g^{ab}` in big-endian format.
1357 * It is `ceiling(m / 8)` bytes long where `m` is the size of the prime `p`
1358 * in bits.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001359 */
Gilles Peskine6843c292019-01-18 16:44:49 +01001360#define PSA_ALG_FFDH ((psa_algorithm_t)0x30100000)
1361
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001362/** Whether the specified algorithm is a finite field Diffie-Hellman algorithm.
1363 *
Gilles Peskine2e37c0d2019-03-05 19:32:02 +01001364 * This includes the raw finite field Diffie-Hellman algorithm as well as
1365 * finite-field Diffie-Hellman followed by any supporter key derivation
1366 * algorithm.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001367 *
1368 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1369 *
1370 * \return 1 if \c alg is a finite field Diffie-Hellman algorithm, 0 otherwise.
1371 * This macro may return either 0 or 1 if \c alg is not a supported
1372 * key agreement algorithm identifier.
1373 */
1374#define PSA_ALG_IS_FFDH(alg) \
Gilles Peskine6843c292019-01-18 16:44:49 +01001375 (PSA_ALG_KEY_AGREEMENT_GET_BASE(alg) == PSA_ALG_FFDH)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001376
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001377/** The elliptic curve Diffie-Hellman (ECDH) key agreement algorithm.
1378 *
Gilles Peskine6843c292019-01-18 16:44:49 +01001379 * The shared secret produced by key agreement is the x-coordinate of
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001380 * the shared secret point. It is always `ceiling(m / 8)` bytes long where
1381 * `m` is the bit size associated with the curve, i.e. the bit size of the
1382 * order of the curve's coordinate field. When `m` is not a multiple of 8,
1383 * the byte containing the most significant bit of the shared secret
1384 * is padded with zero bits. The byte order is either little-endian
1385 * or big-endian depending on the curve type.
1386 *
1387 * - For Montgomery curves (curve types `PSA_ECC_CURVE_CURVEXXX`),
1388 * the shared secret is the x-coordinate of `d_A Q_B = d_B Q_A`
1389 * in little-endian byte order.
1390 * The bit size is 448 for Curve448 and 255 for Curve25519.
1391 * - For Weierstrass curves over prime fields (curve types
1392 * `PSA_ECC_CURVE_SECPXXX` and `PSA_ECC_CURVE_BRAINPOOL_PXXX`),
1393 * the shared secret is the x-coordinate of `d_A Q_B = d_B Q_A`
1394 * in big-endian byte order.
1395 * The bit size is `m = ceiling(log_2(p))` for the field `F_p`.
1396 * - For Weierstrass curves over binary fields (curve types
1397 * `PSA_ECC_CURVE_SECTXXX`),
1398 * the shared secret is the x-coordinate of `d_A Q_B = d_B Q_A`
1399 * in big-endian byte order.
1400 * The bit size is `m` for the field `F_{2^m}`.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001401 */
Gilles Peskine6843c292019-01-18 16:44:49 +01001402#define PSA_ALG_ECDH ((psa_algorithm_t)0x30200000)
1403
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001404/** Whether the specified algorithm is an elliptic curve Diffie-Hellman
1405 * algorithm.
1406 *
Gilles Peskine2e37c0d2019-03-05 19:32:02 +01001407 * This includes the raw elliptic curve Diffie-Hellman algorithm as well as
1408 * elliptic curve Diffie-Hellman followed by any supporter key derivation
1409 * algorithm.
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001410 *
1411 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1412 *
1413 * \return 1 if \c alg is an elliptic curve Diffie-Hellman algorithm,
1414 * 0 otherwise.
1415 * This macro may return either 0 or 1 if \c alg is not a supported
1416 * key agreement algorithm identifier.
1417 */
1418#define PSA_ALG_IS_ECDH(alg) \
Gilles Peskine6843c292019-01-18 16:44:49 +01001419 (PSA_ALG_KEY_AGREEMENT_GET_BASE(alg) == PSA_ALG_ECDH)
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001420
Gilles Peskine30f77cd2019-01-14 16:06:39 +01001421/** Whether the specified algorithm encoding is a wildcard.
1422 *
1423 * Wildcard values may only be used to set the usage algorithm field in
1424 * a policy, not to perform an operation.
1425 *
1426 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
1427 *
1428 * \return 1 if \c alg is a wildcard algorithm encoding.
1429 * \return 0 if \c alg is a non-wildcard algorithm encoding (suitable for
1430 * an operation).
1431 * \return This macro may return either 0 or 1 if \c alg is not a supported
1432 * algorithm identifier.
1433 */
1434#define PSA_ALG_IS_WILDCARD(alg) \
1435 (PSA_ALG_IS_HASH_AND_SIGN(alg) ? \
1436 PSA_ALG_SIGN_GET_HASH(alg) == PSA_ALG_ANY_HASH : \
1437 (alg) == PSA_ALG_ANY_HASH)
1438
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001439/**@}*/
1440
1441/** \defgroup key_lifetimes Key lifetimes
1442 * @{
1443 */
1444
1445/** A volatile key only exists as long as the handle to it is not closed.
1446 * The key material is guaranteed to be erased on a power reset.
1447 */
1448#define PSA_KEY_LIFETIME_VOLATILE ((psa_key_lifetime_t)0x00000000)
1449
1450/** The default storage area for persistent keys.
1451 *
1452 * A persistent key remains in storage until it is explicitly destroyed or
1453 * until the corresponding storage area is wiped. This specification does
1454 * not define any mechanism to wipe a storage area, but implementations may
1455 * provide their own mechanism (for example to perform a factory reset,
1456 * to prepare for device refurbishment, or to uninstall an application).
1457 *
1458 * This lifetime value is the default storage area for the calling
1459 * application. Implementations may offer other storage areas designated
1460 * by other lifetime values as implementation-specific extensions.
1461 */
1462#define PSA_KEY_LIFETIME_PERSISTENT ((psa_key_lifetime_t)0x00000001)
1463
1464/**@}*/
1465
1466/** \defgroup policy Key policies
1467 * @{
1468 */
1469
1470/** Whether the key may be exported.
1471 *
1472 * A public key or the public part of a key pair may always be exported
1473 * regardless of the value of this permission flag.
1474 *
1475 * If a key does not have export permission, implementations shall not
1476 * allow the key to be exported in plain form from the cryptoprocessor,
1477 * whether through psa_export_key() or through a proprietary interface.
1478 * The key may however be exportable in a wrapped form, i.e. in a form
1479 * where it is encrypted by another key.
1480 */
1481#define PSA_KEY_USAGE_EXPORT ((psa_key_usage_t)0x00000001)
1482
1483/** Whether the key may be used to encrypt a message.
1484 *
1485 * This flag allows the key to be used for a symmetric encryption operation,
1486 * for an AEAD encryption-and-authentication operation,
1487 * or for an asymmetric encryption operation,
1488 * if otherwise permitted by the key's type and policy.
1489 *
1490 * For a key pair, this concerns the public key.
1491 */
1492#define PSA_KEY_USAGE_ENCRYPT ((psa_key_usage_t)0x00000100)
1493
1494/** Whether the key may be used to decrypt a message.
1495 *
1496 * This flag allows the key to be used for a symmetric decryption operation,
1497 * for an AEAD decryption-and-verification operation,
1498 * or for an asymmetric decryption operation,
1499 * if otherwise permitted by the key's type and policy.
1500 *
1501 * For a key pair, this concerns the private key.
1502 */
1503#define PSA_KEY_USAGE_DECRYPT ((psa_key_usage_t)0x00000200)
1504
1505/** Whether the key may be used to sign a message.
1506 *
1507 * This flag allows the key to be used for a MAC calculation operation
1508 * or for an asymmetric signature operation,
1509 * if otherwise permitted by the key's type and policy.
1510 *
1511 * For a key pair, this concerns the private key.
1512 */
1513#define PSA_KEY_USAGE_SIGN ((psa_key_usage_t)0x00000400)
1514
1515/** Whether the key may be used to verify a message signature.
1516 *
1517 * This flag allows the key to be used for a MAC verification operation
1518 * or for an asymmetric signature verification operation,
1519 * if otherwise permitted by by the key's type and policy.
1520 *
1521 * For a key pair, this concerns the public key.
1522 */
1523#define PSA_KEY_USAGE_VERIFY ((psa_key_usage_t)0x00000800)
1524
1525/** Whether the key may be used to derive other keys.
1526 */
1527#define PSA_KEY_USAGE_DERIVE ((psa_key_usage_t)0x00001000)
1528
1529/**@}*/
1530
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001531/** \defgroup derivation Key derivation
1532 * @{
1533 */
1534
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001535/** A secret input for key derivation.
1536 *
1537 * This must be a key of type #PSA_KEY_TYPE_DERIVE.
1538 */
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001539#define PSA_KDF_STEP_SECRET ((psa_key_derivation_step_t)0x0101)
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001540
1541/** A label for key derivation.
1542 *
1543 * This must be a direct input.
1544 */
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001545#define PSA_KDF_STEP_LABEL ((psa_key_derivation_step_t)0x0201)
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001546
1547/** A salt for key derivation.
1548 *
1549 * This must be a direct input.
1550 */
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001551#define PSA_KDF_STEP_SALT ((psa_key_derivation_step_t)0x0202)
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001552
1553/** An information string for key derivation.
1554 *
1555 * This must be a direct input.
1556 */
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001557#define PSA_KDF_STEP_INFO ((psa_key_derivation_step_t)0x0203)
Gilles Peskine6cdfdb72019-01-08 10:31:27 +01001558
Gilles Peskineb70a0fd2019-01-07 22:59:38 +01001559/**@}*/
1560
Gilles Peskinef3b731e2018-12-12 13:38:31 +01001561#endif /* PSA_CRYPTO_VALUES_H */