blob: c513b24c275e922fe888974cc3869fd1b124e204 [file] [log] [blame]
Gilles Peskinee59236f2018-01-27 23:32:46 +01001/**
2 * \file psa/crypto.h
3 * \brief Platform Security Architecture cryptography module
4 */
5
6#ifndef PSA_CRYPTO_H
7#define PSA_CRYPTO_H
8
9#include "crypto_platform.h"
10
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010011#include <stddef.h>
12
Gilles Peskine62a7e7e2018-02-07 21:54:47 +010013#ifdef __DOXYGEN_ONLY__
Gilles Peskinef5b9fa12018-03-07 16:40:18 +010014/* This __DOXYGEN_ONLY__ block contains mock definitions for things that
15 * must be defined in the crypto_platform.h header. These mock definitions
16 * are present in this file as a convenience to generate pretty-printed
17 * documentation that includes those definitions. */
18
Gilles Peskine62a7e7e2018-02-07 21:54:47 +010019/** \defgroup platform Implementation-specific definitions
20 * @{
21 */
22
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010023/** \brief Key slot number.
24 *
25 * This type represents key slots. It must be an unsigned integral
Gilles Peskine308b91d2018-02-08 09:47:44 +010026 * type. The choice of type is implementation-dependent.
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010027 * 0 is not a valid key slot number. The meaning of other values is
28 * implementation dependent.
29 *
30 * At any given point in time, each key slot either contains a
31 * cryptographic object, or is empty. Key slots are persistent:
32 * once set, the cryptographic object remains in the key slot until
33 * explicitly destroyed.
34 */
35typedef _unsigned_integral_type_ psa_key_slot_t;
36
Gilles Peskine62a7e7e2018-02-07 21:54:47 +010037/**@}*/
Gilles Peskinef5b9fa12018-03-07 16:40:18 +010038#endif /* __DOXYGEN_ONLY__ */
Gilles Peskine62a7e7e2018-02-07 21:54:47 +010039
Gilles Peskinee59236f2018-01-27 23:32:46 +010040#ifdef __cplusplus
41extern "C" {
42#endif
43
44/** \defgroup basic Basic definitions
45 * @{
46 */
47
48/**
49 * \brief Function return status.
50 *
51 * Zero indicates success, anything else indicates an error.
52 */
53typedef enum {
54 /** The action was completed successfully. */
55 PSA_SUCCESS = 0,
56 /** The requested operation or a parameter is not supported
Gilles Peskine65eb8582018-04-19 08:28:58 +020057 * by this implementation.
58 *
59 * Implementations should return this error code when an enumeration
60 * parameter such as a key type, algorithm, etc. is not recognized.
61 * If a combination of parameters is recognized and identified as
62 * not valid, return #PSA_ERROR_INVALID_ARGUMENT instead. */
Gilles Peskinee59236f2018-01-27 23:32:46 +010063 PSA_ERROR_NOT_SUPPORTED,
Gilles Peskine65eb8582018-04-19 08:28:58 +020064 /** 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. */
Gilles Peskinee59236f2018-01-27 23:32:46 +010075 PSA_ERROR_NOT_PERMITTED,
Gilles Peskine65eb8582018-04-19 08:28:58 +020076 /** An output buffer is too small.
77 *
78 * Applications can call the `PSA_xxx_SIZE` macro listed in the function
79 * description to determine a sufficient buffer size.
80 *
81 * Implementations should preferably return this error code only
82 * in cases when performing the operation with a larger output
83 * buffer would succeed. However implementations may return this
84 * error if a function has invalid or unsupported parameters in addition
85 * to the parameters that determine the necessary output buffer size. */
Gilles Peskinee59236f2018-01-27 23:32:46 +010086 PSA_ERROR_BUFFER_TOO_SMALL,
87 /** A slot is occupied, but must be empty to carry out the
Gilles Peskine65eb8582018-04-19 08:28:58 +020088 * requested action.
89 *
90 * If the slot number is invalid (i.e. the requested action could
91 * not be performed even after erasing the slot's content),
92 * implementations shall return #PSA_ERROR_INVALID_ARGUMENT instead. */
Gilles Peskinee59236f2018-01-27 23:32:46 +010093 PSA_ERROR_OCCUPIED_SLOT,
94 /** A slot is empty, but must be occupied to carry out the
Gilles Peskine65eb8582018-04-19 08:28:58 +020095 * requested action.
96 *
97 * If the slot number is invalid (i.e. the requested action could
98 * not be performed even after creating appropriate content in the slot),
99 * implementations shall return #PSA_ERROR_INVALID_ARGUMENT instead. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100100 PSA_ERROR_EMPTY_SLOT,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200101 /** 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,
109 * but shall return #PSA_ERROR_OCCUPIED_SLOT or #PSA_ERROR_EMPTY_SLOT
110 * as applicable. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100111 PSA_ERROR_BAD_STATE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200112 /** The parameters passed to the function are invalid.
113 *
114 * Implementations may return this error any time a parameter or
115 * combination of parameters are recognized as invalid.
116 *
117 * Implementations shall not return this error code to indicate
118 * that a key slot is occupied when it needs to be free or vice versa,
119 * but shall return #PSA_ERROR_OCCUPIED_SLOT or #PSA_ERROR_EMPTY_SLOT
120 * as applicable. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100121 PSA_ERROR_INVALID_ARGUMENT,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200122 /** There is not enough runtime memory.
123 *
124 * If the action is carried out across multiple security realms, this
125 * error can refer to available memory in any of the security realms. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100126 PSA_ERROR_INSUFFICIENT_MEMORY,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200127 /** There is not enough persistent storage.
128 *
129 * Functions that modify the key storage return this error code if
130 * there is insufficient storage space on the host media. In addition,
131 * many functions that do not otherwise access storage may return this
132 * error code if the implementation requires a mandatory log entry for
133 * the requested action and the log storage space is full. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100134 PSA_ERROR_INSUFFICIENT_STORAGE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200135 /** There was a communication failure inside the implementation.
136 *
137 * This can indicate a communication failure between the application
138 * and an external cryptoprocessor or between the cryptoprocessor and
139 * an external volatile or persistent memory. A communication failure
140 * may be transient or permanent depending on the cause.
141 *
142 * \warning If a function returns this error, it is undetermined
143 * whether the requested action has completed or not. Implementations
144 * should return #PSA_SUCCESS on successful completion whenver
145 * possible, however functions may return #PSA_ERROR_COMMUNICATION_FAILURE
146 * if the requested action was completed successfully in an external
147 * cryptoprocessor but there was a breakdown of communication before
148 * the cryptoprocessor could report the status to the application.
149 */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100150 PSA_ERROR_COMMUNICATION_FAILURE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200151 /** There was a storage failure that may have led to data loss.
152 *
153 * This error indicates that some persistent storage is corrupted.
154 * It should not be used for a corruption of volatile memory
155 * (use #PSA_ERROR_TAMPERING_DETECTED), for a communication error
156 * between the cryptoprocessor and its external storage (use
157 * #PSA_ERROR_COMMUNICATION_FAILURE), or when the storage is
158 * in a valid state but is full (use #PSA_ERROR_INSUFFICIENT_STORAGE).
159 *
160 * Note that a storage failure does not indicate that any data that was
161 * previously read is invalid. However this previously read data may no
162 * longer be readable from storage.
163 *
164 * When a storage failure occurs, it is no longer possible to ensure
165 * the global integrity of the keystore. Depending on the global
166 * integrity guarantees offered by the implementation, access to other
167 * data may or may not fail even if the data is still readable but
168 * its integrity canont be guaranteed.
169 *
170 * Implementations should only use this error code to report a
171 * permanent storage corruption. However application writers should
172 * keep in mind that transient errors while reading the storage may be
173 * reported using this error code. */
Gilles Peskinea5905292018-02-07 20:59:33 +0100174 PSA_ERROR_STORAGE_FAILURE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200175 /** A hardware failure was detected.
176 *
177 * A hardware failure may be transient or permanent depending on the
178 * cause. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100179 PSA_ERROR_HARDWARE_FAILURE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200180 /** A tampering attempt was detected.
181 *
182 * If an application receives this error code, there is no guarantee
183 * that previously accessed or computed data was correct and remains
184 * confidential. Applications should not perform any security function
185 * and should enter a safe failure state.
186 *
187 * Implementations may return this error code if they detect an invalid
188 * state that cannot happen during normal operation and that indicates
189 * that the implementation's security guarantees no longer hold. Depending
190 * on the implementation architecture and on its security and safety goals,
191 * the implementation may forcibly terminate the application.
192 *
193 * This error code is intended as a last resort when a security breach
194 * is detected and it is unsure whether the keystore data is still
195 * protected. Implementations shall only return this error code
196 * to report an alarm from a tampering detector, to indicate that
197 * the confidentiality of stored data can no longer be guaranteed,
198 * or to indicate that the integrity of previously returned data is now
199 * considered compromised. Implementations shall not use this error code
200 * to indicate a hardware failure that merely makes it impossible to
201 * perform the requested operation (use #PSA_ERROR_COMMUNICATION_FAILURE,
202 * #PSA_ERROR_STORAGE_FAILURE, #PSA_ERROR_HARDWARE_FAILURE,
203 * #PSA_ERROR_INSUFFICIENT_ENTROPY or other applicable error code
204 * instead).
205 *
206 * This error indicates an attack against the application. Implementations
207 * shall not return this error code as a consequence of the behavior of
208 * the application itself. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100209 PSA_ERROR_TAMPERING_DETECTED,
210 /** There is not enough entropy to generate random data needed
Gilles Peskine65eb8582018-04-19 08:28:58 +0200211 * for the requested action.
212 *
213 * This error indicates a failure of a hardware random generator.
214 * Application writers should note that this error can be returned not
215 * only by functions whose purpose is to generate random data, such
216 * as key, IV or nonce generation, but also by functions that execute
217 * an algorithm with a randomized result, as well as functions that
218 * use randomization of intermediate computations as a countermeasure
219 * to certain attacks.
220 *
221 * Implementations should avoid returning this error after psa_crypto_init()
222 * has succeeded. Implementations should generate sufficient
223 * entropy during initialization and subsequently use a cryptographically
224 * secure pseudorandom generator (PRNG). However implementations may return
225 * this error at any time if a policy requires the PRNG to be reseeded
226 * during normal operation. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100227 PSA_ERROR_INSUFFICIENT_ENTROPY,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200228 /** The signature, MAC or hash is incorrect.
229 *
230 * Verification functions return this error if the verification
231 * calculations completed successfully, and the value to be verified
232 * was determined to be incorrect.
233 *
234 * If the value to verify has an invalid size, implementations may return
235 * either #PSA_ERROR_INVALID_ARGUMENT or #PSA_ERROR_INVALID_SIGNATURE. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100236 PSA_ERROR_INVALID_SIGNATURE,
Gilles Peskine65eb8582018-04-19 08:28:58 +0200237 /** The decrypted padding is incorrect.
238 *
239 * \warning In some protocols, when decrypting data, it is essential that
240 * the behavior of the application does not depend on whether the padding
241 * is correct, down to precise timing. Applications should prefer
242 * protocols that use authenticated encryption rather than plain
243 * encryption. If the application must perform a decryption of
244 * unauthenticated data, the application writer should take care not
245 * to reveal whether the padding is invalid.
246 *
247 * Implementations should strive to make valid and invalid padding
248 * as close as possible to indistinguishable to an external observer.
249 * In particular, the timing of a decryption operation should not
250 * depend on the validity of the padding. */
Gilles Peskinea5905292018-02-07 20:59:33 +0100251 PSA_ERROR_INVALID_PADDING,
Gilles Peskinee59236f2018-01-27 23:32:46 +0100252 /** An error occurred that does not correspond to any defined
Gilles Peskine65eb8582018-04-19 08:28:58 +0200253 * failure cause.
254 *
255 * Implementations may use this error code if none of the other standard
256 * error codes are applicable. */
Gilles Peskinee59236f2018-01-27 23:32:46 +0100257 PSA_ERROR_UNKNOWN_ERROR,
258} psa_status_t;
259
260/**
261 * \brief Library initialization.
262 *
263 * Applications must call this function before calling any other
264 * function in this module.
265 *
266 * Applications may call this function more than once. Once a call
267 * succeeds, subsequent calls are guaranteed to succeed.
268 *
Gilles Peskine308b91d2018-02-08 09:47:44 +0100269 * \retval PSA_SUCCESS
270 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
271 * \retval PSA_ERROR_COMMUNICATION_FAILURE
272 * \retval PSA_ERROR_HARDWARE_FAILURE
273 * \retval PSA_ERROR_TAMPERING_DETECTED
274 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
Gilles Peskinee59236f2018-01-27 23:32:46 +0100275 */
276psa_status_t psa_crypto_init(void);
277
Gilles Peskine2905a7a2018-03-07 16:39:31 +0100278#define PSA_BITS_TO_BYTES(bits) (((bits) + 7) / 8)
279#define PSA_BYTES_TO_BITS(bytes) ((bytes) * 8)
Gilles Peskine0189e752018-02-03 23:57:22 +0100280
Gilles Peskinee59236f2018-01-27 23:32:46 +0100281/**@}*/
282
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100283/** \defgroup crypto_types Key and algorithm types
284 * @{
285 */
286
Gilles Peskine308b91d2018-02-08 09:47:44 +0100287/** \brief Encoding of a key type.
288 */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100289typedef uint32_t psa_key_type_t;
290
Gilles Peskinef5b9fa12018-03-07 16:40:18 +0100291/** An invalid key type value.
292 *
293 * Zero is not the encoding of any key type.
294 */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100295#define PSA_KEY_TYPE_NONE ((psa_key_type_t)0x00000000)
Gilles Peskinef5b9fa12018-03-07 16:40:18 +0100296
297/** Vendor-defined flag
298 *
299 * Key types defined by this standard will never have the
300 * #PSA_KEY_TYPE_VENDOR_FLAG bit set. Vendors who define additional key types
301 * must use an encoding with the #PSA_KEY_TYPE_VENDOR_FLAG bit set and should
302 * respect the bitwise structure used by standard encodings whenever practical.
303 */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100304#define PSA_KEY_TYPE_VENDOR_FLAG ((psa_key_type_t)0x80000000)
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100305
Gilles Peskine98f0a242018-02-06 18:57:29 +0100306#define PSA_KEY_TYPE_CATEGORY_MASK ((psa_key_type_t)0x7e000000)
Gilles Peskine35855962018-04-19 08:39:16 +0200307/** Raw data.
308 *
309 * A "key" of this type cannot be used for any cryptographic operation.
310 * Applications may use this type to store arbitrary data in the keystore. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100311#define PSA_KEY_TYPE_RAW_DATA ((psa_key_type_t)0x02000000)
312#define PSA_KEY_TYPE_CATEGORY_SYMMETRIC ((psa_key_type_t)0x04000000)
313#define PSA_KEY_TYPE_CATEGORY_ASYMMETRIC ((psa_key_type_t)0x06000000)
314#define PSA_KEY_TYPE_PAIR_FLAG ((psa_key_type_t)0x01000000)
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100315
Gilles Peskine35855962018-04-19 08:39:16 +0200316/** HMAC key.
317 *
318 * The key policy determines which underlying hash algorithm the key can be
319 * used for.
320 *
321 * HMAC keys should generally have the same size as the underlying hash.
322 * This size can be calculated with `PSA_HASH_SIZE(alg)` where
323 * `alg` is the HMAC algorithm or the underlying hash algorithm. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100324#define PSA_KEY_TYPE_HMAC ((psa_key_type_t)0x02000001)
Gilles Peskine35855962018-04-19 08:39:16 +0200325/** Key for an cipher, AEAD or MAC algorithm based on the AES block cipher.
326 *
327 * The size of the key can be 16 bytes (AES-128), 24 bytes (AES-192) or
328 * 32 bytes (AES-256).
329 */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100330#define PSA_KEY_TYPE_AES ((psa_key_type_t)0x04000001)
Gilles Peskine35855962018-04-19 08:39:16 +0200331/** Key for a cipher or MAC algorithm based on DES or 3DES (Triple-DES).
332 *
333 * The size of the key can be 8 bytes (single DES), 16 bytes (2-key 3DES) or
334 * 24 bytes (3-key 3DES).
335 *
336 * Note that single DES and 2-key 3DES are weak and strongly
337 * deprecated and should only be used to decrypt legacy data. 3-key 3DES
338 * is weak and deprecated and should only be used in legacy protocols.
339 */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100340#define PSA_KEY_TYPE_DES ((psa_key_type_t)0x04000002)
Gilles Peskine35855962018-04-19 08:39:16 +0200341/** Key for an cipher, AEAD or MAC algorithm based on the
342 * Camellia block cipher. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100343#define PSA_KEY_TYPE_CAMELLIA ((psa_key_type_t)0x04000003)
Gilles Peskine35855962018-04-19 08:39:16 +0200344/** Key for the RC4 stream cipher.
345 *
346 * Note that RC4 is weak and deprecated and should only be used in
347 * legacy protocols. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100348#define PSA_KEY_TYPE_ARC4 ((psa_key_type_t)0x04000004)
349
Gilles Peskine308b91d2018-02-08 09:47:44 +0100350/** RSA public key. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100351#define PSA_KEY_TYPE_RSA_PUBLIC_KEY ((psa_key_type_t)0x06010000)
Gilles Peskine308b91d2018-02-08 09:47:44 +0100352/** RSA key pair (private and public key). */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100353#define PSA_KEY_TYPE_RSA_KEYPAIR ((psa_key_type_t)0x07010000)
Gilles Peskine06dc2632018-03-08 07:47:25 +0100354/** DSA public key. */
355#define PSA_KEY_TYPE_DSA_PUBLIC_KEY ((psa_key_type_t)0x06020000)
356/** DSA key pair (private and public key). */
357#define PSA_KEY_TYPE_DSA_KEYPAIR ((psa_key_type_t)0x07020000)
358#define PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE ((psa_key_type_t)0x06030000)
359#define PSA_KEY_TYPE_ECC_KEYPAIR_BASE ((psa_key_type_t)0x07030000)
itayzafrir5c753392018-05-08 11:18:38 +0300360#define PSA_KEY_TYPE_ECC_CURVE_NISTP256R1 ((psa_key_type_t)0x00000001)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100361#define PSA_KEY_TYPE_ECC_CURVE_MASK ((psa_key_type_t)0x0000ffff)
Gilles Peskine06dc2632018-03-08 07:47:25 +0100362#define PSA_KEY_TYPE_ECC_KEYPAIR(curve) \
363 (PSA_KEY_TYPE_ECC_KEYPAIR_BASE | (curve))
364#define PSA_KEY_TYPE_ECC_PUBLIC_KEY(curve) \
365 (PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE | (curve))
Gilles Peskine98f0a242018-02-06 18:57:29 +0100366
Gilles Peskinef5b9fa12018-03-07 16:40:18 +0100367/** Whether a key type is vendor-defined. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100368#define PSA_KEY_TYPE_IS_VENDOR_DEFINED(type) \
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100369 (((type) & PSA_KEY_TYPE_VENDOR_FLAG) != 0)
Gilles Peskine8c9def32018-02-08 10:02:12 +0100370#define PSA_KEY_TYPE_IS_RAW_BYTES(type) \
371 (((type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_RAW_DATA || \
372 ((type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_CATEGORY_SYMMETRIC)
Gilles Peskine06dc2632018-03-08 07:47:25 +0100373
374/** Whether a key type is asymmetric: either a key pair or a public key. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100375#define PSA_KEY_TYPE_IS_ASYMMETRIC(type) \
376 (((type) & PSA_KEY_TYPE_CATEGORY_MASK) == PSA_KEY_TYPE_CATEGORY_ASYMMETRIC)
Gilles Peskine06dc2632018-03-08 07:47:25 +0100377/** Whether a key type is the public part of a key pair. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100378#define PSA_KEY_TYPE_IS_PUBLIC_KEY(type) \
Moran Pekerb4d0ddd2018-04-04 12:47:52 +0300379 (((type) & (PSA_KEY_TYPE_CATEGORY_MASK | PSA_KEY_TYPE_PAIR_FLAG)) == \
380 PSA_KEY_TYPE_CATEGORY_ASYMMETRIC)
Gilles Peskine06dc2632018-03-08 07:47:25 +0100381/** Whether a key type is a key pair containing a private part and a public
382 * part. */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100383#define PSA_KEY_TYPE_IS_KEYPAIR(type) \
384 (((type) & (PSA_KEY_TYPE_CATEGORY_MASK | PSA_KEY_TYPE_PAIR_FLAG)) == \
385 (PSA_KEY_TYPE_CATEGORY_ASYMMETRIC | PSA_KEY_TYPE_PAIR_FLAG))
Gilles Peskine06dc2632018-03-08 07:47:25 +0100386/** Whether a key type is an RSA key pair or public key. */
387/** The key pair type corresponding to a public key type. */
388#define PSA_KEY_TYPE_KEYPAIR_OF_PUBLIC_KEY(type) \
389 ((type) | PSA_KEY_TYPE_PAIR_FLAG)
390/** The public key type corresponding to a key pair type. */
391#define PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) \
392 ((type) & ~PSA_KEY_TYPE_PAIR_FLAG)
Gilles Peskine0189e752018-02-03 23:57:22 +0100393#define PSA_KEY_TYPE_IS_RSA(type) \
Gilles Peskine06dc2632018-03-08 07:47:25 +0100394 (PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) == PSA_KEY_TYPE_RSA_PUBLIC_KEY)
395/** Whether a key type is an elliptic curve key pair or public key. */
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100396#define PSA_KEY_TYPE_IS_ECC(type) \
Gilles Peskine06dc2632018-03-08 07:47:25 +0100397 ((PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(type) & \
398 ~PSA_KEY_TYPE_ECC_CURVE_MASK) == PSA_KEY_TYPE_ECC_PUBLIC_KEY_BASE)
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100399
Gilles Peskine7e198532018-03-08 07:50:30 +0100400/** The block size of a block cipher.
401 *
402 * \param type A cipher key type (value of type #psa_key_type_t).
403 *
404 * \return The block size for a block cipher, or 1 for a stream cipher.
Gilles Peskine35855962018-04-19 08:39:16 +0200405 * The return value is undefined if \c type is not a supported
406 * cipher key type.
407 *
408 * \note It is possible to build stream cipher algorithms on top of a block
409 * cipher, for example CTR mode (#PSA_ALG_CTR).
410 * This macro only takes the key type into account, so it cannot be
411 * used to determine the size of the data that #psa_cipher_update()
412 * might buffer for future processing in general.
Gilles Peskine7e198532018-03-08 07:50:30 +0100413 *
414 * \note This macro returns a compile-time constant if its argument is one.
415 *
416 * \warning This macro may evaluate its argument multiple times.
417 */
Gilles Peskine03182e92018-03-07 16:40:52 +0100418#define PSA_BLOCK_CIPHER_BLOCK_SIZE(type) \
Gilles Peskine8c9def32018-02-08 10:02:12 +0100419 ( \
420 (type) == PSA_KEY_TYPE_AES ? 16 : \
421 (type) == PSA_KEY_TYPE_DES ? 8 : \
422 (type) == PSA_KEY_TYPE_CAMELLIA ? 16 : \
Gilles Peskine7e198532018-03-08 07:50:30 +0100423 (type) == PSA_KEY_TYPE_ARC4 ? 1 : \
Gilles Peskine8c9def32018-02-08 10:02:12 +0100424 0)
425
Gilles Peskine308b91d2018-02-08 09:47:44 +0100426/** \brief Encoding of a cryptographic algorithm.
427 *
428 * For algorithms that can be applied to multiple key types, this type
429 * does not encode the key type. For example, for symmetric ciphers
430 * based on a block cipher, #psa_algorithm_t encodes the block cipher
431 * mode and the padding mode while the block cipher itself is encoded
432 * via #psa_key_type_t.
433 */
Gilles Peskine20035e32018-02-03 22:44:14 +0100434typedef uint32_t psa_algorithm_t;
435
Gilles Peskine98f0a242018-02-06 18:57:29 +0100436#define PSA_ALG_VENDOR_FLAG ((psa_algorithm_t)0x80000000)
437#define PSA_ALG_CATEGORY_MASK ((psa_algorithm_t)0x7f000000)
438#define PSA_ALG_CATEGORY_HASH ((psa_algorithm_t)0x01000000)
439#define PSA_ALG_CATEGORY_MAC ((psa_algorithm_t)0x02000000)
440#define PSA_ALG_CATEGORY_CIPHER ((psa_algorithm_t)0x04000000)
441#define PSA_ALG_CATEGORY_AEAD ((psa_algorithm_t)0x06000000)
442#define PSA_ALG_CATEGORY_SIGN ((psa_algorithm_t)0x10000000)
443#define PSA_ALG_CATEGORY_ASYMMETRIC_ENCRYPTION ((psa_algorithm_t)0x12000000)
444#define PSA_ALG_CATEGORY_KEY_AGREEMENT ((psa_algorithm_t)0x22000000)
445#define PSA_ALG_CATEGORY_KEY_DERIVATION ((psa_algorithm_t)0x30000000)
Gilles Peskine20035e32018-02-03 22:44:14 +0100446
Gilles Peskine98f0a242018-02-06 18:57:29 +0100447#define PSA_ALG_IS_VENDOR_DEFINED(alg) \
448 (((alg) & PSA_ALG_VENDOR_FLAG) != 0)
Gilles Peskine308b91d2018-02-08 09:47:44 +0100449/** Whether the specified algorithm is a hash algorithm.
450 *
Gilles Peskine7e198532018-03-08 07:50:30 +0100451 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
Gilles Peskine308b91d2018-02-08 09:47:44 +0100452 *
453 * \return 1 if \c alg is a hash algorithm, 0 otherwise.
454 * This macro may return either 0 or 1 if \c alg is not a valid
Gilles Peskine7e198532018-03-08 07:50:30 +0100455 * algorithm identifier.
456 */
Gilles Peskine98f0a242018-02-06 18:57:29 +0100457#define PSA_ALG_IS_HASH(alg) \
458 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_HASH)
459#define PSA_ALG_IS_MAC(alg) \
460 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_MAC)
461#define PSA_ALG_IS_CIPHER(alg) \
462 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_CIPHER)
463#define PSA_ALG_IS_AEAD(alg) \
464 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_AEAD)
465#define PSA_ALG_IS_SIGN(alg) \
466 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_SIGN)
467#define PSA_ALG_IS_ASYMMETRIC_ENCRYPTION(alg) \
468 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_ASYMMETRIC_ENCRYPTION)
469#define PSA_ALG_IS_KEY_AGREEMENT(alg) \
470 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_KEY_AGREEMENT)
471#define PSA_ALG_IS_KEY_DERIVATION(alg) \
472 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_KEY_DERIVATION)
473
474#define PSA_ALG_HASH_MASK ((psa_algorithm_t)0x000000ff)
475#define PSA_ALG_MD2 ((psa_algorithm_t)0x01000001)
476#define PSA_ALG_MD4 ((psa_algorithm_t)0x01000002)
477#define PSA_ALG_MD5 ((psa_algorithm_t)0x01000003)
Gilles Peskinee3f694f2018-03-08 07:48:40 +0100478#define PSA_ALG_RIPEMD160 ((psa_algorithm_t)0x01000004)
479#define PSA_ALG_SHA_1 ((psa_algorithm_t)0x01000005)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100480#define PSA_ALG_SHA_224 ((psa_algorithm_t)0x01000008)
481#define PSA_ALG_SHA_256 ((psa_algorithm_t)0x01000009)
482#define PSA_ALG_SHA_384 ((psa_algorithm_t)0x0100000a)
483#define PSA_ALG_SHA_512 ((psa_algorithm_t)0x0100000b)
484#define PSA_ALG_SHA_512_224 ((psa_algorithm_t)0x0100000c)
485#define PSA_ALG_SHA_512_256 ((psa_algorithm_t)0x0100000d)
486#define PSA_ALG_SHA3_224 ((psa_algorithm_t)0x01000010)
487#define PSA_ALG_SHA3_256 ((psa_algorithm_t)0x01000011)
488#define PSA_ALG_SHA3_384 ((psa_algorithm_t)0x01000012)
489#define PSA_ALG_SHA3_512 ((psa_algorithm_t)0x01000013)
490
Gilles Peskine8c9def32018-02-08 10:02:12 +0100491#define PSA_ALG_MAC_SUBCATEGORY_MASK ((psa_algorithm_t)0x00c00000)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100492#define PSA_ALG_HMAC_BASE ((psa_algorithm_t)0x02800000)
Gilles Peskine35855962018-04-19 08:39:16 +0200493/** Macro to build an HMAC algorithm.
494 *
495 * For example, `PSA_ALG_HMAC(PSA_ALG_SHA256)` is HMAC-SHA-256.
496 *
497 * \param alg A hash algorithm (\c PSA_ALG_XXX value such that
498 * #PSA_ALG_IS_HASH(alg) is true).
499 *
500 * \return The corresponding HMAC algorithm.
501 * \return Unspecified if \p alg is not a hash algorithm.
502 */
503#define PSA_ALG_HMAC(hash_alg) \
Gilles Peskine8c9def32018-02-08 10:02:12 +0100504 (PSA_ALG_HMAC_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
505#define PSA_ALG_HMAC_HASH(hmac_alg) \
506 (PSA_ALG_CATEGORY_HASH | ((hmac_alg) & PSA_ALG_HASH_MASK))
507#define PSA_ALG_IS_HMAC(alg) \
508 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_MAC_SUBCATEGORY_MASK)) == \
509 PSA_ALG_HMAC_BASE)
510#define PSA_ALG_CIPHER_MAC_BASE ((psa_algorithm_t)0x02c00000)
511#define PSA_ALG_CBC_MAC ((psa_algorithm_t)0x02c00001)
512#define PSA_ALG_CMAC ((psa_algorithm_t)0x02c00002)
513#define PSA_ALG_GMAC ((psa_algorithm_t)0x02c00003)
514#define PSA_ALG_IS_CIPHER_MAC(alg) \
515 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_MAC_SUBCATEGORY_MASK)) == \
516 PSA_ALG_CIPHER_MAC_BASE)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100517
Gilles Peskine8c9def32018-02-08 10:02:12 +0100518#define PSA_ALG_CIPHER_SUBCATEGORY_MASK ((psa_algorithm_t)0x00c00000)
Gilles Peskine428dc5a2018-03-03 21:27:18 +0100519#define PSA_ALG_BLOCK_CIPHER_BASE ((psa_algorithm_t)0x04000000)
Gilles Peskine8c9def32018-02-08 10:02:12 +0100520#define PSA_ALG_BLOCK_CIPHER_MODE_MASK ((psa_algorithm_t)0x000000ff)
Gilles Peskine428dc5a2018-03-03 21:27:18 +0100521#define PSA_ALG_BLOCK_CIPHER_PADDING_MASK ((psa_algorithm_t)0x003f0000)
522#define PSA_ALG_BLOCK_CIPHER_PAD_NONE ((psa_algorithm_t)0x00000000)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100523#define PSA_ALG_BLOCK_CIPHER_PAD_PKCS7 ((psa_algorithm_t)0x00010000)
Gilles Peskine8c9def32018-02-08 10:02:12 +0100524#define PSA_ALG_IS_BLOCK_CIPHER(alg) \
525 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_CIPHER_SUBCATEGORY_MASK)) == \
526 PSA_ALG_BLOCK_CIPHER_BASE)
527
Gilles Peskine98f0a242018-02-06 18:57:29 +0100528#define PSA_ALG_CBC_BASE ((psa_algorithm_t)0x04000001)
Gilles Peskine8c9def32018-02-08 10:02:12 +0100529#define PSA_ALG_CFB_BASE ((psa_algorithm_t)0x04000002)
530#define PSA_ALG_OFB_BASE ((psa_algorithm_t)0x04000003)
531#define PSA_ALG_XTS_BASE ((psa_algorithm_t)0x04000004)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100532#define PSA_ALG_STREAM_CIPHER ((psa_algorithm_t)0x04800000)
533#define PSA_ALG_CTR ((psa_algorithm_t)0x04800001)
Gilles Peskine8c9def32018-02-08 10:02:12 +0100534#define PSA_ALG_ARC4 ((psa_algorithm_t)0x04800002)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100535
Moran Pekerbed71a22018-04-22 20:19:20 +0300536#define PSA_ALG_IS_STREAM_CIPHER(alg) \
537 (((alg) & (PSA_ALG_CATEGORY_MASK | PSA_ALG_CIPHER_SUBCATEGORY_MASK)) == \
538 PSA_ALG_STREAM_CIPHER)
539
Gilles Peskine8c9def32018-02-08 10:02:12 +0100540#define PSA_ALG_CCM ((psa_algorithm_t)0x06000001)
541#define PSA_ALG_GCM ((psa_algorithm_t)0x06000002)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100542
Gilles Peskinea5926232018-03-28 14:16:50 +0200543#define PSA_ALG_RSA_PKCS1V15_SIGN_RAW ((psa_algorithm_t)0x10010000)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100544#define PSA_ALG_RSA_PSS_MGF1 ((psa_algorithm_t)0x10020000)
Gilles Peskine6944f9a2018-03-28 14:18:39 +0200545#define PSA_ALG_RSA_PKCS1V15_CRYPT ((psa_algorithm_t)0x12010000)
546#define PSA_ALG_RSA_OAEP_MGF1_BASE ((psa_algorithm_t)0x12020000)
Gilles Peskinea5926232018-03-28 14:16:50 +0200547#define PSA_ALG_RSA_PKCS1V15_SIGN(hash_alg) \
548 (PSA_ALG_RSA_PKCS1V15_SIGN_RAW | ((hash_alg) & PSA_ALG_HASH_MASK))
549#define PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg) \
Gilles Peskine9673cc82018-04-11 16:57:49 +0200550 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_RSA_PKCS1V15_SIGN_RAW)
551#define PSA_ALG_RSA_OAEP_MGF1(hash_alg) \
552 (PSA_ALG_RSA_OAEP_MGF1_RAW | ((hash_alg) & PSA_ALG_HASH_MASK))
553#define PSA_ALG_IS_RSA_OAEP_MGF1(alg) \
Gilles Peskine625b01c2018-06-08 17:43:16 +0200554 (((alg) & ~PSA_ALG_HASH_MASK) == PSA_ALG_RSA_OAEP_MGF1_BASE)
Gilles Peskine98f0a242018-02-06 18:57:29 +0100555#define PSA_ALG_RSA_GET_HASH(alg) \
556 (((alg) & PSA_ALG_HASH_MASK) | PSA_ALG_CATEGORY_HASH)
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100557
Gilles Peskined1e8e412018-06-07 09:49:39 +0200558#define PSA_ALG_ECDSA_RAW ((psa_algorithm_t)0x10030000)
559
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100560/**@}*/
561
562/** \defgroup key_management Key management
563 * @{
564 */
565
566/**
567 * \brief Import a key in binary format.
568 *
Gilles Peskinef5b9fa12018-03-07 16:40:18 +0100569 * This function supports any output from psa_export_key(). Refer to the
570 * documentation of psa_export_key() for the format for each key type.
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100571 *
Gilles Peskine308b91d2018-02-08 09:47:44 +0100572 * \param key Slot where the key will be stored. This must be a
573 * valid slot for a key of the chosen type. It must
574 * be unoccupied.
575 * \param type Key type (a \c PSA_KEY_TYPE_XXX value).
576 * \param data Buffer containing the key data.
577 * \param data_length Size of the \c data buffer in bytes.
578 *
579 * \retval PSA_SUCCESS
580 * Success.
581 * \retval PSA_ERROR_NOT_SUPPORTED
Gilles Peskine65eb8582018-04-19 08:28:58 +0200582 * The key type or key size is not supported, either by the
583 * implementation in general or in this particular slot.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100584 * \retval PSA_ERROR_INVALID_ARGUMENT
585 * The key slot is invalid,
586 * or the key data is not correctly formatted.
587 * \retval PSA_ERROR_OCCUPIED_SLOT
Gilles Peskine65eb8582018-04-19 08:28:58 +0200588 * There is already a key in the specified slot.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100589 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
Gilles Peskine65eb8582018-04-19 08:28:58 +0200590 * \retval PSA_ERROR_INSUFFICIENT_STORAGE
Gilles Peskine308b91d2018-02-08 09:47:44 +0100591 * \retval PSA_ERROR_COMMUNICATION_FAILURE
592 * \retval PSA_ERROR_HARDWARE_FAILURE
593 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100594 */
595psa_status_t psa_import_key(psa_key_slot_t key,
596 psa_key_type_t type,
597 const uint8_t *data,
598 size_t data_length);
599
600/**
Gilles Peskine154bd952018-04-19 08:38:16 +0200601 * \brief Destroy a key and restore the slot to its default state.
602 *
603 * This function destroys the content of the key slot from both volatile
604 * memory and, if applicable, non-volatile storage. Implementations shall
605 * make a best effort to ensure that any previous content of the slot is
606 * unrecoverable.
607 *
608 * This function also erases any metadata such as policies. It returns the
609 * specified slot to its default state.
610 *
611 * \param key The key slot to erase.
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100612 *
Gilles Peskine308b91d2018-02-08 09:47:44 +0100613 * \retval PSA_SUCCESS
Gilles Peskine65eb8582018-04-19 08:28:58 +0200614 * The slot's content, if any, has been erased.
615 * \retval PSA_ERROR_NOT_PERMITTED
616 * The slot holds content and cannot be erased because it is
617 * read-only, either due to a policy or due to physical restrictions.
618 * \retval PSA_ERROR_INVALID_ARGUMENT
619 * The specified slot number does not designate a valid slot.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100620 * \retval PSA_ERROR_COMMUNICATION_FAILURE
Gilles Peskine65eb8582018-04-19 08:28:58 +0200621 * There was an failure in communication with the cryptoprocessor.
622 * The key material may still be present in the cryptoprocessor.
623 * \retval PSA_ERROR_STORAGE_FAILURE
624 * The storage is corrupted. Implementations shall make a best effort
625 * to erase key material even in this stage, however applications
626 * should be aware that it may be impossible to guarantee that the
627 * key material is not recoverable in such cases.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100628 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskine65eb8582018-04-19 08:28:58 +0200629 * An unexpected condition which is not a storage corruption or
630 * a communication failure occurred. The cryptoprocessor may have
631 * been compromised.
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100632 */
633psa_status_t psa_destroy_key(psa_key_slot_t key);
634
635/**
636 * \brief Get basic metadata about a key.
637 *
Gilles Peskine308b91d2018-02-08 09:47:44 +0100638 * \param key Slot whose content is queried. This must
639 * be an occupied key slot.
640 * \param type On success, the key type (a \c PSA_KEY_TYPE_XXX value).
641 * This may be a null pointer, in which case the key type
642 * is not written.
643 * \param bits On success, the key size in bits.
Gilles Peskine9a1ba0d2018-03-21 20:49:16 +0100644 * This may be a null pointer, in which case the key size
Gilles Peskine308b91d2018-02-08 09:47:44 +0100645 * is not written.
646 *
647 * \retval PSA_SUCCESS
648 * \retval PSA_ERROR_EMPTY_SLOT
649 * \retval PSA_ERROR_COMMUNICATION_FAILURE
650 * \retval PSA_ERROR_HARDWARE_FAILURE
651 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100652 */
653psa_status_t psa_get_key_information(psa_key_slot_t key,
654 psa_key_type_t *type,
655 size_t *bits);
656
657/**
658 * \brief Export a key in binary format.
659 *
660 * The output of this function can be passed to psa_import_key() to
661 * create an equivalent object.
662 *
663 * If a key is created with psa_import_key() and then exported with
664 * this function, it is not guaranteed that the resulting data is
665 * identical: the implementation may choose a different representation
Gilles Peskine92b30732018-03-03 21:29:30 +0100666 * of the same key if the format permits it.
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100667 *
Gilles Peskine308b91d2018-02-08 09:47:44 +0100668 * For standard key types, the output format is as follows:
669 *
670 * - For symmetric keys (including MAC keys), the format is the
671 * raw bytes of the key.
672 * - For DES, the key data consists of 8 bytes. The parity bits must be
673 * correct.
674 * - For Triple-DES, the format is the concatenation of the
675 * two or three DES keys.
Gilles Peskine92b30732018-03-03 21:29:30 +0100676 * - For RSA key pairs (#PSA_KEY_TYPE_RSA_KEYPAIR), the format
Gilles Peskine308b91d2018-02-08 09:47:44 +0100677 * is the non-encrypted DER representation defined by PKCS\#8 (RFC 5208)
678 * as PrivateKeyInfo.
679 * - For RSA public keys (#PSA_KEY_TYPE_RSA_PUBLIC_KEY), the format
Gilles Peskine971f7062018-03-20 17:52:58 +0100680 * is the DER representation defined by RFC 5280 as SubjectPublicKeyInfo.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100681 *
682 * \param key Slot whose content is to be exported. This must
683 * be an occupied key slot.
684 * \param data Buffer where the key data is to be written.
685 * \param data_size Size of the \c data buffer in bytes.
686 * \param data_length On success, the number of bytes
687 * that make up the key data.
688 *
689 * \retval PSA_SUCCESS
690 * \retval PSA_ERROR_EMPTY_SLOT
Gilles Peskine92b30732018-03-03 21:29:30 +0100691 * \retval PSA_ERROR_NOT_PERMITTED
Gilles Peskine308b91d2018-02-08 09:47:44 +0100692 * \retval PSA_ERROR_COMMUNICATION_FAILURE
693 * \retval PSA_ERROR_HARDWARE_FAILURE
694 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100695 */
696psa_status_t psa_export_key(psa_key_slot_t key,
697 uint8_t *data,
698 size_t data_size,
699 size_t *data_length);
700
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100701/**
702 * \brief Export a public key or the public part of a key pair in binary format.
703 *
704 * The output of this function can be passed to psa_import_key() to
705 * create an object that is equivalent to the public key.
706 *
707 * For standard key types, the output format is as follows:
708 *
709 * - For RSA keys (#PSA_KEY_TYPE_RSA_KEYPAIR or #PSA_KEY_TYPE_RSA_PUBLIC_KEY),
Moran Pekerdd4ea382018-04-03 15:30:03 +0300710 * the format is the DER representation of the public key defined by RFC 5280
Gilles Peskine971f7062018-03-20 17:52:58 +0100711 * as SubjectPublicKeyInfo.
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100712 *
713 * \param key Slot whose content is to be exported. This must
714 * be an occupied key slot.
715 * \param data Buffer where the key data is to be written.
716 * \param data_size Size of the \c data buffer in bytes.
717 * \param data_length On success, the number of bytes
718 * that make up the key data.
719 *
720 * \retval PSA_SUCCESS
721 * \retval PSA_ERROR_EMPTY_SLOT
722 * \retval PSA_ERROR_INVALID_ARGUMENT
723 * \retval PSA_ERROR_COMMUNICATION_FAILURE
724 * \retval PSA_ERROR_HARDWARE_FAILURE
725 * \retval PSA_ERROR_TAMPERING_DETECTED
726 */
727psa_status_t psa_export_public_key(psa_key_slot_t key,
728 uint8_t *data,
729 size_t data_size,
730 size_t *data_length);
731
732/**@}*/
733
734/** \defgroup policy Key policies
735 * @{
736 */
737
738/** \brief Encoding of permitted usage on a key. */
739typedef uint32_t psa_key_usage_t;
740
Gilles Peskine7e198532018-03-08 07:50:30 +0100741/** Whether the key may be exported.
742 *
743 * A public key or the public part of a key pair may always be exported
744 * regardless of the value of this permission flag.
745 *
746 * If a key does not have export permission, implementations shall not
747 * allow the key to be exported in plain form from the cryptoprocessor,
748 * whether through psa_export_key() or through a proprietary interface.
749 * The key may however be exportable in a wrapped form, i.e. in a form
750 * where it is encrypted by another key.
751 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100752#define PSA_KEY_USAGE_EXPORT ((psa_key_usage_t)0x00000001)
753
Gilles Peskine7e198532018-03-08 07:50:30 +0100754/** Whether the key may be used to encrypt a message.
755 *
756 * For a key pair, this concerns the public key.
757 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100758#define PSA_KEY_USAGE_ENCRYPT ((psa_key_usage_t)0x00000100)
Gilles Peskine7e198532018-03-08 07:50:30 +0100759
760/** Whether the key may be used to decrypt a message.
761 *
762 * For a key pair, this concerns the private key.
763 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100764#define PSA_KEY_USAGE_DECRYPT ((psa_key_usage_t)0x00000200)
Gilles Peskine7e198532018-03-08 07:50:30 +0100765
766/** Whether the key may be used to sign a message.
767 *
768 * For a key pair, this concerns the private key.
769 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100770#define PSA_KEY_USAGE_SIGN ((psa_key_usage_t)0x00000400)
Gilles Peskine7e198532018-03-08 07:50:30 +0100771
772/** Whether the key may be used to verify a message signature.
773 *
774 * For a key pair, this concerns the public key.
775 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100776#define PSA_KEY_USAGE_VERIFY ((psa_key_usage_t)0x00000800)
777
778/** The type of the key policy data structure.
779 *
780 * This is an implementation-defined \c struct. Applications should not
781 * make any assumptions about the content of this structure except
782 * as directed by the documentation of a specific implementation. */
783typedef struct psa_key_policy_s psa_key_policy_t;
784
785/** \brief Initialize a key policy structure to a default that forbids all
786 * usage of the key. */
787void psa_key_policy_init(psa_key_policy_t *policy);
788
Gilles Peskine7e198532018-03-08 07:50:30 +0100789/** \brief Set the standard fields of a policy structure.
790 *
791 * Note that this function does not make any consistency check of the
792 * parameters. The values are only checked when applying the policy to
793 * a key slot with psa_set_key_policy().
794 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100795void psa_key_policy_set_usage(psa_key_policy_t *policy,
796 psa_key_usage_t usage,
797 psa_algorithm_t alg);
798
799psa_key_usage_t psa_key_policy_get_usage(psa_key_policy_t *policy);
800
801psa_algorithm_t psa_key_policy_get_algorithm(psa_key_policy_t *policy);
802
803/** \brief Set the usage policy on a key slot.
804 *
805 * This function must be called on an empty key slot, before importing,
806 * generating or creating a key in the slot. Changing the policy of an
807 * existing key is not permitted.
Gilles Peskine7e198532018-03-08 07:50:30 +0100808 *
809 * Implementations may set restrictions on supported key policies
810 * depending on the key type and the key slot.
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100811 */
812psa_status_t psa_set_key_policy(psa_key_slot_t key,
813 const psa_key_policy_t *policy);
814
Gilles Peskine7e198532018-03-08 07:50:30 +0100815/** \brief Get the usage policy for a key slot.
816 */
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100817psa_status_t psa_get_key_policy(psa_key_slot_t key,
818 psa_key_policy_t *policy);
Gilles Peskine20035e32018-02-03 22:44:14 +0100819
820/**@}*/
821
Gilles Peskine609b6a52018-03-03 21:31:50 +0100822/** \defgroup persistence Key lifetime
823 * @{
824 */
825
826/** Encoding of key lifetimes.
827 */
828typedef uint32_t psa_key_lifetime_t;
829
830/** A volatile key slot retains its content as long as the application is
831 * running. It is guaranteed to be erased on a power reset.
832 */
833#define PSA_KEY_LIFETIME_VOLATILE ((psa_key_lifetime_t)0x00000000)
834
835/** A persistent key slot retains its content as long as it is not explicitly
836 * destroyed.
837 */
838#define PSA_KEY_LIFETIME_PERSISTENT ((psa_key_lifetime_t)0x00000001)
839
840/** A write-once key slot may not be modified once a key has been set.
841 * It will retain its content as long as the device remains operational.
842 */
843#define PSA_KEY_LIFETIME_WRITE_ONCE ((psa_key_lifetime_t)0x7fffffff)
844
Gilles Peskined393e182018-03-08 07:49:16 +0100845/** \brief Retrieve the lifetime of a key slot.
846 *
847 * The assignment of lifetimes to slots is implementation-dependent.
Gilles Peskine8ca56022018-04-17 14:07:59 +0200848 *
Gilles Peskine9bb53d72018-04-17 14:09:24 +0200849 * \param key Slot to query.
mohammad1603804cd712018-03-20 22:44:08 +0200850 * \param lifetime On success, the lifetime value.
Gilles Peskine8ca56022018-04-17 14:07:59 +0200851 *
mohammad1603804cd712018-03-20 22:44:08 +0200852 * \retval PSA_SUCCESS
853 * Success.
854 * \retval PSA_ERROR_INVALID_ARGUMENT
mohammad1603a7d245a2018-04-17 00:40:08 -0700855 * The key slot is invalid.
Gilles Peskinef0c9dd32018-04-17 14:11:07 +0200856 * \retval PSA_ERROR_COMMUNICATION_FAILURE
857 * \retval PSA_ERROR_HARDWARE_FAILURE
858 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskined393e182018-03-08 07:49:16 +0100859 */
Gilles Peskine609b6a52018-03-03 21:31:50 +0100860psa_status_t psa_get_key_lifetime(psa_key_slot_t key,
861 psa_key_lifetime_t *lifetime);
862
Gilles Peskined393e182018-03-08 07:49:16 +0100863/** \brief Change the lifetime of a key slot.
864 *
865 * Whether the lifetime of a key slot can be changed at all, and if so
Gilles Peskine19067982018-03-20 17:54:53 +0100866 * whether the lifetime of an occupied key slot can be changed, is
Gilles Peskined393e182018-03-08 07:49:16 +0100867 * implementation-dependent.
Gilles Peskine8ca56022018-04-17 14:07:59 +0200868 *
Gilles Peskine9bb53d72018-04-17 14:09:24 +0200869 * \param key Slot whose lifetime is to be changed.
870 * \param lifetime The lifetime value to set for the given key slot.
Gilles Peskine8ca56022018-04-17 14:07:59 +0200871 *
mohammad1603804cd712018-03-20 22:44:08 +0200872 * \retval PSA_SUCCESS
873 * Success.
874 * \retval PSA_ERROR_INVALID_ARGUMENT
875 * The key slot is invalid,
mohammad1603a7d245a2018-04-17 00:40:08 -0700876 * or the lifetime value is invalid.
Gilles Peskinef0c9dd32018-04-17 14:11:07 +0200877 * \retval PSA_ERROR_NOT_SUPPORTED
878 * The implementation does not support the specified lifetime value,
879 * at least for the specified key slot.
880 * \retval PSA_ERROR_OCCUPIED_SLOT
881 * The slot contains a key, and the implementation does not support
882 * changing the lifetime of an occupied slot.
883 * \retval PSA_ERROR_COMMUNICATION_FAILURE
884 * \retval PSA_ERROR_HARDWARE_FAILURE
885 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskined393e182018-03-08 07:49:16 +0100886 */
887psa_status_t psa_set_key_lifetime(psa_key_slot_t key,
mohammad1603ea050092018-04-17 00:31:34 -0700888 psa_key_lifetime_t lifetime);
Gilles Peskined393e182018-03-08 07:49:16 +0100889
Gilles Peskine609b6a52018-03-03 21:31:50 +0100890/**@}*/
891
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100892/** \defgroup hash Message digests
893 * @{
894 */
895
Gilles Peskine308b91d2018-02-08 09:47:44 +0100896/** The type of the state data structure for multipart hash operations.
897 *
Gilles Peskine92b30732018-03-03 21:29:30 +0100898 * This is an implementation-defined \c struct. Applications should not
Gilles Peskine308b91d2018-02-08 09:47:44 +0100899 * make any assumptions about the content of this structure except
900 * as directed by the documentation of a specific implementation. */
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100901typedef struct psa_hash_operation_s psa_hash_operation_t;
902
Gilles Peskine308b91d2018-02-08 09:47:44 +0100903/** The size of the output of psa_hash_finish(), in bytes.
904 *
905 * This is also the hash size that psa_hash_verify() expects.
906 *
907 * \param alg A hash algorithm (\c PSA_ALG_XXX value such that
Gilles Peskine35855962018-04-19 08:39:16 +0200908 * #PSA_ALG_IS_HASH(alg) is true), or an HMAC algorithm
909 * (`PSA_ALG_HMAC(hash_alg)` where `hash_alg` is a
910 * hash algorithm).
Gilles Peskine308b91d2018-02-08 09:47:44 +0100911 *
912 * \return The hash size for the specified hash algorithm.
913 * If the hash algorithm is not recognized, return 0.
914 * An implementation may return either 0 or the correct size
915 * for a hash algorithm that it recognizes, but does not support.
916 */
Gilles Peskine71bb7b72018-04-19 08:29:59 +0200917#define PSA_HASH_SIZE(alg) \
918 ( \
919 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_MD2 ? 16 : \
920 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_MD4 ? 16 : \
921 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_MD5 ? 16 : \
922 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_RIPEMD160 ? 20 : \
923 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_1 ? 20 : \
924 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_224 ? 28 : \
925 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_256 ? 32 : \
926 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_384 ? 48 : \
927 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_512 ? 64 : \
928 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_512_224 ? 28 : \
929 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA_512_256 ? 32 : \
930 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA3_224 ? 28 : \
931 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA3_256 ? 32 : \
932 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA3_384 ? 48 : \
933 PSA_ALG_RSA_GET_HASH(alg) == PSA_ALG_SHA3_512 ? 64 : \
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100934 0)
935
Gilles Peskine308b91d2018-02-08 09:47:44 +0100936/** Start a multipart hash operation.
937 *
938 * The sequence of operations to calculate a hash (message digest)
939 * is as follows:
940 * -# Allocate an operation object which will be passed to all the functions
941 * listed here.
942 * -# Call psa_hash_start() to specify the algorithm.
Gilles Peskine7e4acc52018-02-16 21:24:11 +0100943 * -# Call psa_hash_update() zero, one or more times, passing a fragment
Gilles Peskine308b91d2018-02-08 09:47:44 +0100944 * of the message each time. The hash that is calculated is the hash
945 * of the concatenation of these messages in order.
946 * -# To calculate the hash, call psa_hash_finish().
947 * To compare the hash with an expected value, call psa_hash_verify().
948 *
949 * The application may call psa_hash_abort() at any time after the operation
950 * has been initialized with psa_hash_start().
951 *
952 * After a successful call to psa_hash_start(), the application must
Gilles Peskineed522972018-03-20 17:54:15 +0100953 * eventually terminate the operation. The following events terminate an
954 * operation:
Gilles Peskine308b91d2018-02-08 09:47:44 +0100955 * - A failed call to psa_hash_update().
Gilles Peskine19067982018-03-20 17:54:53 +0100956 * - A call to psa_hash_finish(), psa_hash_verify() or psa_hash_abort().
Gilles Peskine308b91d2018-02-08 09:47:44 +0100957 *
Gilles Peskine36a74b72018-06-01 16:30:32 +0200958 * \param operation The operation object to use.
Gilles Peskine308b91d2018-02-08 09:47:44 +0100959 * \param alg The hash algorithm to compute (\c PSA_ALG_XXX value
960 * such that #PSA_ALG_IS_HASH(alg) is true).
961 *
962 * \retval PSA_SUCCESS
963 * Success.
964 * \retval PSA_ERROR_NOT_SUPPORTED
965 * \c alg is not supported or is not a hash algorithm.
966 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
967 * \retval PSA_ERROR_COMMUNICATION_FAILURE
968 * \retval PSA_ERROR_HARDWARE_FAILURE
969 * \retval PSA_ERROR_TAMPERING_DETECTED
970 */
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100971psa_status_t psa_hash_start(psa_hash_operation_t *operation,
972 psa_algorithm_t alg);
973
Gilles Peskine308b91d2018-02-08 09:47:44 +0100974/** Add a message fragment to a multipart hash operation.
975 *
976 * The application must call psa_hash_start() before calling this function.
977 *
978 * If this function returns an error status, the operation becomes inactive.
979 *
980 * \param operation Active hash operation.
981 * \param input Buffer containing the message fragment to hash.
982 * \param input_length Size of the \c input buffer in bytes.
983 *
984 * \retval PSA_SUCCESS
985 * Success.
986 * \retval PSA_ERROR_BAD_STATE
987 * The operation state is not valid (not started, or already completed).
988 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
989 * \retval PSA_ERROR_COMMUNICATION_FAILURE
990 * \retval PSA_ERROR_HARDWARE_FAILURE
991 * \retval PSA_ERROR_TAMPERING_DETECTED
992 */
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100993psa_status_t psa_hash_update(psa_hash_operation_t *operation,
994 const uint8_t *input,
995 size_t input_length);
996
Gilles Peskine308b91d2018-02-08 09:47:44 +0100997/** Finish the calculation of the hash of a message.
998 *
999 * The application must call psa_hash_start() before calling this function.
1000 * This function calculates the hash of the message formed by concatenating
1001 * the inputs passed to preceding calls to psa_hash_update().
1002 *
1003 * When this function returns, the operation becomes inactive.
1004 *
1005 * \warning Applications should not call this function if they expect
1006 * a specific value for the hash. Call psa_hash_verify() instead.
1007 * Beware that comparing integrity or authenticity data such as
1008 * hash values with a function such as \c memcmp is risky
1009 * because the time taken by the comparison may leak information
1010 * about the hashed data which could allow an attacker to guess
1011 * a valid hash and thereby bypass security controls.
1012 *
1013 * \param operation Active hash operation.
1014 * \param hash Buffer where the hash is to be written.
1015 * \param hash_size Size of the \c hash buffer in bytes.
1016 * \param hash_length On success, the number of bytes
1017 * that make up the hash value. This is always
Gilles Peskine71bb7b72018-04-19 08:29:59 +02001018 * #PSA_HASH_SIZE(alg) where \c alg is the
Gilles Peskine308b91d2018-02-08 09:47:44 +01001019 * hash algorithm that is calculated.
1020 *
1021 * \retval PSA_SUCCESS
1022 * Success.
1023 * \retval PSA_ERROR_BAD_STATE
1024 * The operation state is not valid (not started, or already completed).
1025 * \retval PSA_ERROR_BUFFER_TOO_SMALL
1026 * The size of the \c hash buffer is too small. You can determine a
Gilles Peskine71bb7b72018-04-19 08:29:59 +02001027 * sufficient buffer size by calling #PSA_HASH_SIZE(alg)
Gilles Peskine308b91d2018-02-08 09:47:44 +01001028 * where \c alg is the hash algorithm that is calculated.
1029 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1030 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1031 * \retval PSA_ERROR_HARDWARE_FAILURE
1032 * \retval PSA_ERROR_TAMPERING_DETECTED
1033 */
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001034psa_status_t psa_hash_finish(psa_hash_operation_t *operation,
1035 uint8_t *hash,
1036 size_t hash_size,
1037 size_t *hash_length);
1038
Gilles Peskine308b91d2018-02-08 09:47:44 +01001039/** Finish the calculation of the hash of a message and compare it with
1040 * an expected value.
1041 *
1042 * The application must call psa_hash_start() before calling this function.
1043 * This function calculates the hash of the message formed by concatenating
1044 * the inputs passed to preceding calls to psa_hash_update(). It then
1045 * compares the calculated hash with the expected hash passed as a
1046 * parameter to this function.
1047 *
1048 * When this function returns, the operation becomes inactive.
1049 *
Gilles Peskine19067982018-03-20 17:54:53 +01001050 * \note Implementations shall make the best effort to ensure that the
Gilles Peskine308b91d2018-02-08 09:47:44 +01001051 * comparison between the actual hash and the expected hash is performed
1052 * in constant time.
1053 *
1054 * \param operation Active hash operation.
1055 * \param hash Buffer containing the expected hash value.
1056 * \param hash_length Size of the \c hash buffer in bytes.
1057 *
1058 * \retval PSA_SUCCESS
1059 * The expected hash is identical to the actual hash of the message.
1060 * \retval PSA_ERROR_INVALID_SIGNATURE
1061 * The hash of the message was calculated successfully, but it
1062 * differs from the expected hash.
1063 * \retval PSA_ERROR_BAD_STATE
1064 * The operation state is not valid (not started, or already completed).
1065 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1066 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1067 * \retval PSA_ERROR_HARDWARE_FAILURE
1068 * \retval PSA_ERROR_TAMPERING_DETECTED
1069 */
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001070psa_status_t psa_hash_verify(psa_hash_operation_t *operation,
1071 const uint8_t *hash,
1072 size_t hash_length);
1073
Gilles Peskine308b91d2018-02-08 09:47:44 +01001074/** Abort a hash operation.
1075 *
1076 * This function may be called at any time after psa_hash_start().
1077 * Aborting an operation frees all associated resources except for the
1078 * \c operation structure itself.
1079 *
1080 * Implementation should strive to be robust and handle inactive hash
1081 * operations safely (do nothing and return #PSA_ERROR_BAD_STATE). However,
1082 * application writers should beware that uninitialized memory may happen
1083 * to be indistinguishable from an active hash operation, and the behavior
1084 * of psa_hash_abort() is undefined in this case.
1085 *
1086 * \param operation Active hash operation.
1087 *
1088 * \retval PSA_SUCCESS
1089 * \retval PSA_ERROR_BAD_STATE
1090 * \c operation is not an active hash operation.
1091 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1092 * \retval PSA_ERROR_HARDWARE_FAILURE
1093 * \retval PSA_ERROR_TAMPERING_DETECTED
1094 */
1095psa_status_t psa_hash_abort(psa_hash_operation_t *operation);
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001096
1097/**@}*/
1098
Gilles Peskine8c9def32018-02-08 10:02:12 +01001099/** \defgroup MAC Message authentication codes
1100 * @{
1101 */
1102
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001103/** The type of the state data structure for multipart MAC operations.
1104 *
Gilles Peskine92b30732018-03-03 21:29:30 +01001105 * This is an implementation-defined \c struct. Applications should not
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001106 * make any assumptions about the content of this structure except
1107 * as directed by the documentation of a specific implementation. */
Gilles Peskine8c9def32018-02-08 10:02:12 +01001108typedef struct psa_mac_operation_s psa_mac_operation_t;
1109
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001110/** The size of the output of psa_mac_finish(), in bytes.
1111 *
1112 * This is also the MAC size that psa_mac_verify() expects.
1113 *
1114 * \param alg A MAC algorithm (\c PSA_ALG_XXX value such that
1115 * #PSA_ALG_IS_MAC(alg) is true).
1116 *
1117 * \return The MAC size for the specified algorithm.
1118 * If the MAC algorithm is not recognized, return 0.
1119 * An implementation may return either 0 or the correct size
1120 * for a MAC algorithm that it recognizes, but does not support.
1121 */
Gilles Peskine8c9def32018-02-08 10:02:12 +01001122#define PSA_MAC_FINAL_SIZE(key_type, key_bits, alg) \
Gilles Peskine71bb7b72018-04-19 08:29:59 +02001123 (PSA_ALG_IS_HMAC(alg) ? PSA_HASH_SIZE(PSA_ALG_HMAC_HASH(alg)) : \
Gilles Peskine8c9def32018-02-08 10:02:12 +01001124 PSA_ALG_IS_BLOCK_CIPHER_MAC(alg) ? PSA_BLOCK_CIPHER_BLOCK_SIZE(key_type) : \
1125 0)
1126
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001127/** Start a multipart MAC operation.
1128 *
1129 * The sequence of operations to calculate a MAC (message authentication code)
1130 * is as follows:
1131 * -# Allocate an operation object which will be passed to all the functions
1132 * listed here.
1133 * -# Call psa_mac_start() to specify the algorithm and key.
1134 * The key remains associated with the operation even if the content
1135 * of the key slot changes.
1136 * -# Call psa_mac_update() zero, one or more times, passing a fragment
1137 * of the message each time. The MAC that is calculated is the MAC
1138 * of the concatenation of these messages in order.
1139 * -# To calculate the MAC, call psa_mac_finish().
1140 * To compare the MAC with an expected value, call psa_mac_verify().
1141 *
1142 * The application may call psa_mac_abort() at any time after the operation
1143 * has been initialized with psa_mac_start().
1144 *
1145 * After a successful call to psa_mac_start(), the application must
Gilles Peskineed522972018-03-20 17:54:15 +01001146 * eventually terminate the operation. The following events terminate an
1147 * operation:
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001148 * - A failed call to psa_mac_update().
Gilles Peskine19067982018-03-20 17:54:53 +01001149 * - A call to psa_mac_finish(), psa_mac_verify() or psa_mac_abort().
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001150 *
Gilles Peskine36a74b72018-06-01 16:30:32 +02001151 * \param operation The operation object to use.
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001152 * \param alg The MAC algorithm to compute (\c PSA_ALG_XXX value
1153 * such that #PSA_ALG_IS_MAC(alg) is true).
1154 *
1155 * \retval PSA_SUCCESS
1156 * Success.
1157 * \retval PSA_ERROR_EMPTY_SLOT
Gilles Peskine92b30732018-03-03 21:29:30 +01001158 * \retval PSA_ERROR_NOT_PERMITTED
Gilles Peskine7e4acc52018-02-16 21:24:11 +01001159 * \retval PSA_ERROR_INVALID_ARGUMENT
1160 * \c key is not compatible with \c alg.
1161 * \retval PSA_ERROR_NOT_SUPPORTED
1162 * \c alg is not supported or is not a MAC algorithm.
1163 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1164 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1165 * \retval PSA_ERROR_HARDWARE_FAILURE
1166 * \retval PSA_ERROR_TAMPERING_DETECTED
1167 */
Gilles Peskine8c9def32018-02-08 10:02:12 +01001168psa_status_t psa_mac_start(psa_mac_operation_t *operation,
1169 psa_key_slot_t key,
1170 psa_algorithm_t alg);
1171
1172psa_status_t psa_mac_update(psa_mac_operation_t *operation,
1173 const uint8_t *input,
1174 size_t input_length);
1175
1176psa_status_t psa_mac_finish(psa_mac_operation_t *operation,
1177 uint8_t *mac,
1178 size_t mac_size,
1179 size_t *mac_length);
1180
1181psa_status_t psa_mac_verify(psa_mac_operation_t *operation,
1182 const uint8_t *mac,
1183 size_t mac_length);
1184
1185psa_status_t psa_mac_abort(psa_mac_operation_t *operation);
1186
1187/**@}*/
1188
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001189/** \defgroup cipher Symmetric ciphers
1190 * @{
1191 */
1192
1193/** The type of the state data structure for multipart cipher operations.
1194 *
1195 * This is an implementation-defined \c struct. Applications should not
1196 * make any assumptions about the content of this structure except
1197 * as directed by the documentation of a specific implementation. */
1198typedef struct psa_cipher_operation_s psa_cipher_operation_t;
1199
1200/** Set the key for a multipart symmetric encryption operation.
1201 *
1202 * The sequence of operations to encrypt a message with a symmetric cipher
1203 * is as follows:
1204 * -# Allocate an operation object which will be passed to all the functions
1205 * listed here.
1206 * -# Call psa_encrypt_setup() to specify the algorithm and key.
1207 * The key remains associated with the operation even if the content
1208 * of the key slot changes.
1209 * -# Call either psa_encrypt_generate_iv() or psa_encrypt_set_iv() to
1210 * generate or set the IV (initialization vector). You should use
1211 * psa_encrypt_generate_iv() unless the protocol you are implementing
1212 * requires a specific IV value.
1213 * -# Call psa_cipher_update() zero, one or more times, passing a fragment
1214 * of the message each time.
1215 * -# Call psa_cipher_finish().
1216 *
1217 * The application may call psa_cipher_abort() at any time after the operation
1218 * has been initialized with psa_encrypt_setup().
1219 *
1220 * After a successful call to psa_encrypt_setup(), the application must
Gilles Peskineed522972018-03-20 17:54:15 +01001221 * eventually terminate the operation. The following events terminate an
1222 * operation:
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001223 * - A failed call to psa_encrypt_generate_iv(), psa_encrypt_set_iv()
1224 * or psa_cipher_update().
Gilles Peskine19067982018-03-20 17:54:53 +01001225 * - A call to psa_cipher_finish() or psa_cipher_abort().
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001226 *
Gilles Peskine36a74b72018-06-01 16:30:32 +02001227 * \param operation The operation object to use.
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001228 * \param alg The cipher algorithm to compute (\c PSA_ALG_XXX value
1229 * such that #PSA_ALG_IS_CIPHER(alg) is true).
1230 *
1231 * \retval PSA_SUCCESS
1232 * Success.
1233 * \retval PSA_ERROR_EMPTY_SLOT
1234 * \retval PSA_ERROR_NOT_PERMITTED
1235 * \retval PSA_ERROR_INVALID_ARGUMENT
1236 * \c key is not compatible with \c alg.
1237 * \retval PSA_ERROR_NOT_SUPPORTED
1238 * \c alg is not supported or is not a cipher algorithm.
1239 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1240 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1241 * \retval PSA_ERROR_HARDWARE_FAILURE
1242 * \retval PSA_ERROR_TAMPERING_DETECTED
1243 */
1244psa_status_t psa_encrypt_setup(psa_cipher_operation_t *operation,
1245 psa_key_slot_t key,
1246 psa_algorithm_t alg);
1247
1248/** Set the key for a multipart symmetric decryption operation.
1249 *
1250 * The sequence of operations to decrypt a message with a symmetric cipher
1251 * is as follows:
1252 * -# Allocate an operation object which will be passed to all the functions
1253 * listed here.
1254 * -# Call psa_decrypt_setup() to specify the algorithm and key.
1255 * The key remains associated with the operation even if the content
1256 * of the key slot changes.
1257 * -# Call psa_cipher_update() with the IV (initialization vector) for the
1258 * decryption. If the IV is prepended to the ciphertext, you can call
1259 * psa_cipher_update() on a buffer containing the IV followed by the
1260 * beginning of the message.
1261 * -# Call psa_cipher_update() zero, one or more times, passing a fragment
1262 * of the message each time.
1263 * -# Call psa_cipher_finish().
1264 *
1265 * The application may call psa_cipher_abort() at any time after the operation
1266 * has been initialized with psa_encrypt_setup().
1267 *
1268 * After a successful call to psa_decrypt_setup(), the application must
Gilles Peskineed522972018-03-20 17:54:15 +01001269 * eventually terminate the operation. The following events terminate an
1270 * operation:
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001271 * - A failed call to psa_cipher_update().
Gilles Peskine19067982018-03-20 17:54:53 +01001272 * - A call to psa_cipher_finish() or psa_cipher_abort().
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001273 *
Gilles Peskine36a74b72018-06-01 16:30:32 +02001274 * \param operation The operation object to use.
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001275 * \param alg The cipher algorithm to compute (\c PSA_ALG_XXX value
1276 * such that #PSA_ALG_IS_CIPHER(alg) is true).
1277 *
1278 * \retval PSA_SUCCESS
1279 * Success.
1280 * \retval PSA_ERROR_EMPTY_SLOT
1281 * \retval PSA_ERROR_NOT_PERMITTED
1282 * \retval PSA_ERROR_INVALID_ARGUMENT
1283 * \c key is not compatible with \c alg.
1284 * \retval PSA_ERROR_NOT_SUPPORTED
1285 * \c alg is not supported or is not a cipher algorithm.
1286 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1287 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1288 * \retval PSA_ERROR_HARDWARE_FAILURE
1289 * \retval PSA_ERROR_TAMPERING_DETECTED
1290 */
1291psa_status_t psa_decrypt_setup(psa_cipher_operation_t *operation,
1292 psa_key_slot_t key,
1293 psa_algorithm_t alg);
1294
1295psa_status_t psa_encrypt_generate_iv(psa_cipher_operation_t *operation,
1296 unsigned char *iv,
1297 size_t iv_size,
1298 size_t *iv_length);
1299
1300psa_status_t psa_encrypt_set_iv(psa_cipher_operation_t *operation,
1301 const unsigned char *iv,
1302 size_t iv_length);
1303
1304psa_status_t psa_cipher_update(psa_cipher_operation_t *operation,
1305 const uint8_t *input,
mohammad1603503973b2018-03-12 15:59:30 +02001306 size_t input_length,
Gilles Peskine2d277862018-06-18 15:41:12 +02001307 unsigned char *output,
1308 size_t output_size,
mohammad1603503973b2018-03-12 15:59:30 +02001309 size_t *output_length);
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001310
1311psa_status_t psa_cipher_finish(psa_cipher_operation_t *operation,
mohammad1603503973b2018-03-12 15:59:30 +02001312 uint8_t *output,
Moran Peker0071b872018-04-22 20:16:58 +03001313 size_t output_size,
mohammad1603503973b2018-03-12 15:59:30 +02001314 size_t *output_length);
Gilles Peskine428dc5a2018-03-03 21:27:18 +01001315
1316psa_status_t psa_cipher_abort(psa_cipher_operation_t *operation);
1317
1318/**@}*/
1319
Gilles Peskine3b555712018-03-03 21:27:57 +01001320/** \defgroup aead Authenticated encryption with associated data (AEAD)
1321 * @{
1322 */
1323
Gilles Peskine5e39dc92018-06-08 11:41:57 +02001324/** The tag size for an AEAD algorithm, in bytes.
Gilles Peskine3b555712018-03-03 21:27:57 +01001325 *
Gilles Peskine5e39dc92018-06-08 11:41:57 +02001326 * \param alg An AEAD algorithm
1327 * (\c PSA_ALG_XXX value such that
1328 * #PSA_ALG_IS_AEAD(alg) is true).
1329 *
1330 * \return The tag size for the specified algorithm.
1331 * If the AEAD algorithm does not have an identified
1332 * tag that can be distinguished from the rest of
1333 * the ciphertext, return 0.
1334 * If the AEAD algorithm is not recognized, return 0.
1335 * An implementation may return either 0 or a
1336 * correct size for an AEAD algorithm that it
1337 * recognizes, but does not support.
1338 */
1339#define PSA_AEAD_TAG_SIZE(alg) \
1340 ((alg) == PSA_ALG_GCM ? 16 : \
1341 (alg) == PSA_ALG_CCM ? 16 : \
1342 0)
Gilles Peskine3b555712018-03-03 21:27:57 +01001343
Gilles Peskine212e4d82018-06-08 11:36:37 +02001344/** The maximum size of the output of psa_aead_encrypt(), in bytes.
Gilles Peskine3b555712018-03-03 21:27:57 +01001345 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001346 * If the size of the ciphertext buffer is at least this large, it is
1347 * guaranteed that psa_aead_encrypt() will not fail due to an
1348 * insufficient buffer size. Depending on the algorithm, the actual size of
1349 * the ciphertext may be smaller.
Gilles Peskine3b555712018-03-03 21:27:57 +01001350 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001351 * \param alg An AEAD algorithm
mohammad16031347a732018-06-07 01:38:45 +03001352 * (\c PSA_ALG_XXX value such that
1353 * #PSA_ALG_IS_AEAD(alg) is true).
Gilles Peskine212e4d82018-06-08 11:36:37 +02001354 * \param plaintext_length Size of the plaintext in bytes.
Gilles Peskine3b555712018-03-03 21:27:57 +01001355 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001356 * \return The AEAD ciphertext size for the specified
1357 * algorithm.
1358 * If the AEAD algorithm is not recognized, return 0.
1359 * An implementation may return either 0 or a
1360 * correct size for an AEAD algorithm that it
1361 * recognizes, but does not support.
mohammad16031347a732018-06-07 01:38:45 +03001362 */
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001363#define PSA_AEAD_ENCRYPT_OUTPUT_SIZE(alg, plaintext_length) \
Gilles Peskine5e39dc92018-06-08 11:41:57 +02001364 (PSA_AEAD_TAG_SIZE(alg) != 0 ? \
1365 (plaintext_length) + PSA_AEAD_TAG_SIZE(alg) : \
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001366 0)
1367
1368/** Process an authenticated encryption operation.
Gilles Peskine3b555712018-03-03 21:27:57 +01001369 *
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001370 * \param key Slot containing the key to use.
1371 * \param alg The AEAD algorithm to compute
1372 * (\c PSA_ALG_XXX value such that
1373 * #PSA_ALG_IS_AEAD(alg) is true).
1374 * \param nonce Nonce or IV to use.
1375 * \param nonce_length Size of the \p nonce buffer in bytes.
1376 * \param additional_data Additional data that will be authenticated
1377 * but not encrypted.
1378 * \param additional_data_length Size of \p additional_data in bytes.
1379 * \param plaintext Data that will be authenticated and
1380 * encrypted.
1381 * \param plaintext_length Size of \p plaintext in bytes.
1382 * \param ciphertext Output buffer for the authenticated and
1383 * encrypted data. The additional data is not
1384 * part of this output. For algorithms where the
1385 * encrypted data and the authentication tag
1386 * are defined as separate outputs, the
1387 * authentication tag is appended to the
1388 * encrypted data.
1389 * \param ciphertext_size Size of the \p ciphertext buffer in bytes.
1390 * This must be at least
1391 * #PSA_AEAD_ENCRYPT_OUTPUT_SIZE(\p alg,
1392 * \p plaintext_length).
1393 * \param ciphertext_length On success, the size of the output
1394 * in the \b ciphertext buffer.
Gilles Peskine3b555712018-03-03 21:27:57 +01001395 *
1396 * \retval PSA_SUCCESS
1397 * Success.
1398 * \retval PSA_ERROR_EMPTY_SLOT
1399 * \retval PSA_ERROR_NOT_PERMITTED
1400 * \retval PSA_ERROR_INVALID_ARGUMENT
1401 * \c key is not compatible with \c alg.
1402 * \retval PSA_ERROR_NOT_SUPPORTED
1403 * \c alg is not supported or is not an AEAD algorithm.
1404 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1405 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1406 * \retval PSA_ERROR_HARDWARE_FAILURE
1407 * \retval PSA_ERROR_TAMPERING_DETECTED
1408 */
mohammad160339ee8712018-04-26 00:51:02 +03001409psa_status_t psa_aead_encrypt( psa_key_slot_t key,
1410 psa_algorithm_t alg,
1411 const uint8_t *nonce,
1412 size_t nonce_length,
1413 const uint8_t *additional_data,
1414 size_t additional_data_length,
1415 const uint8_t *plaintext,
1416 size_t plaintext_length,
1417 uint8_t *ciphertext,
1418 size_t ciphertext_size,
1419 size_t *ciphertext_length );
Gilles Peskine3b555712018-03-03 21:27:57 +01001420
Gilles Peskine212e4d82018-06-08 11:36:37 +02001421/** The maximum size of the output of psa_aead_decrypt(), in bytes.
Gilles Peskine3b555712018-03-03 21:27:57 +01001422 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001423 * If the size of the plaintext buffer is at least this large, it is
1424 * guaranteed that psa_aead_decrypt() will not fail due to an
1425 * insufficient buffer size. Depending on the algorithm, the actual size of
1426 * the plaintext may be smaller.
Gilles Peskine3b555712018-03-03 21:27:57 +01001427 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001428 * \param alg An AEAD algorithm
mohammad16031347a732018-06-07 01:38:45 +03001429 * (\c PSA_ALG_XXX value such that
1430 * #PSA_ALG_IS_AEAD(alg) is true).
Gilles Peskine212e4d82018-06-08 11:36:37 +02001431 * \param ciphertext_length Size of the plaintext in bytes.
Gilles Peskine3b555712018-03-03 21:27:57 +01001432 *
Gilles Peskine212e4d82018-06-08 11:36:37 +02001433 * \return The AEAD ciphertext size for the specified
1434 * algorithm.
1435 * If the AEAD algorithm is not recognized, return 0.
1436 * An implementation may return either 0 or a
1437 * correct size for an AEAD algorithm that it
1438 * recognizes, but does not support.
mohammad16031347a732018-06-07 01:38:45 +03001439 */
Gilles Peskine5e39dc92018-06-08 11:41:57 +02001440#define PSA_AEAD_DECRYPT_OUTPUT_SIZE(alg, ciphertext_length) \
1441 (PSA_AEAD_TAG_SIZE(alg) != 0 ? \
1442 (plaintext_length) - PSA_AEAD_TAG_SIZE(alg) : \
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001443 0)
1444
1445/** Process an authenticated decryption operation.
Gilles Peskine3b555712018-03-03 21:27:57 +01001446 *
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001447 * \param key Slot containing the key to use.
1448 * \param alg The AEAD algorithm to compute
1449 * (\c PSA_ALG_XXX value such that
1450 * #PSA_ALG_IS_AEAD(alg) is true).
1451 * \param nonce Nonce or IV to use.
1452 * \param nonce_length Size of the \p nonce buffer in bytes.
1453 * \param additional_data Additional data that has been authenticated
1454 * but not encrypted.
1455 * \param additional_data_length Size of \p additional_data in bytes.
1456 * \param ciphertext Data that has been authenticated and
1457 * encrypted. For algorithms where the
1458 * encrypted data and the authentication tag
1459 * are defined as separate inputs, the buffer
1460 * must contain the encrypted data followed
1461 * by the authentication tag.
1462 * \param ciphertext_length Size of \p ciphertext in bytes.
1463 * \param plaintext Output buffer for the decrypted data.
1464 * \param plaintext_size Size of the \p plaintext buffer in bytes.
1465 * This must be at least
1466 * #PSA_AEAD_DECRYPT_OUTPUT_SIZE(\p alg,
1467 * \p ciphertext_length).
1468 * \param plaintext_length On success, the size of the output
mohammad1603fb5b9cb2018-06-06 13:44:27 +03001469 * in the \b plaintext buffer.
Gilles Peskine3b555712018-03-03 21:27:57 +01001470 *
1471 * \retval PSA_SUCCESS
1472 * Success.
1473 * \retval PSA_ERROR_EMPTY_SLOT
Gilles Peskine1e7d8f12018-06-01 16:29:38 +02001474 * \retval PSA_ERROR_INVALID_SIGNATURE
1475 * The ciphertext is not authentic.
Gilles Peskine3b555712018-03-03 21:27:57 +01001476 * \retval PSA_ERROR_NOT_PERMITTED
1477 * \retval PSA_ERROR_INVALID_ARGUMENT
1478 * \c key is not compatible with \c alg.
1479 * \retval PSA_ERROR_NOT_SUPPORTED
Gilles Peskine19067982018-03-20 17:54:53 +01001480 * \c alg is not supported or is not an AEAD algorithm.
Gilles Peskine3b555712018-03-03 21:27:57 +01001481 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1482 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1483 * \retval PSA_ERROR_HARDWARE_FAILURE
1484 * \retval PSA_ERROR_TAMPERING_DETECTED
1485 */
mohammad160339ee8712018-04-26 00:51:02 +03001486psa_status_t psa_aead_decrypt( psa_key_slot_t key,
1487 psa_algorithm_t alg,
1488 const uint8_t *nonce,
1489 size_t nonce_length,
1490 const uint8_t *additional_data,
1491 size_t additional_data_length,
1492 const uint8_t *ciphertext,
1493 size_t ciphertext_length,
1494 uint8_t *plaintext,
1495 size_t plaintext_size,
1496 size_t *plaintext_length );
Gilles Peskine3b555712018-03-03 21:27:57 +01001497
1498/**@}*/
1499
Gilles Peskine20035e32018-02-03 22:44:14 +01001500/** \defgroup asymmetric Asymmetric cryptography
1501 * @{
1502 */
1503
1504/**
Gilles Peskine0189e752018-02-03 23:57:22 +01001505 * \brief Maximum ECDSA signature size for a given curve bit size
1506 *
1507 * \param curve_bits Curve size in bits
1508 * \return Maximum signature size in bytes
1509 *
1510 * \note This macro returns a compile-time constant if its argument is one.
1511 *
1512 * \warning This macro may evaluate its argument multiple times.
1513 */
1514/*
1515 * RFC 4492 page 20:
1516 *
1517 * Ecdsa-Sig-Value ::= SEQUENCE {
1518 * r INTEGER,
1519 * s INTEGER
1520 * }
1521 *
1522 * Size is at most
1523 * 1 (tag) + 1 (len) + 1 (initial 0) + curve_bytes for each of r and s,
1524 * twice that + 1 (tag) + 2 (len) for the sequence
1525 * (assuming curve_bytes is less than 126 for r and s,
1526 * and less than 124 (total len <= 255) for the sequence)
1527 */
1528#define PSA_ECDSA_SIGNATURE_SIZE(curve_bits) \
1529 ( /*T,L of SEQUENCE*/ ((curve_bits) >= 61 * 8 ? 3 : 2) + \
1530 /*T,L of r,s*/ 2 * (((curve_bits) >= 127 * 8 ? 3 : 2) + \
1531 /*V of r,s*/ ((curve_bits) + 8) / 8))
1532
1533
Gilles Peskine308b91d2018-02-08 09:47:44 +01001534/** Safe signature buffer size for psa_asymmetric_sign().
1535 *
1536 * This macro returns a safe buffer size for a signature using a key
1537 * of the specified type and size, with the specified algorithm.
1538 * Note that the actual size of the signature may be smaller
1539 * (some algorithms produce a variable-size signature).
1540 *
1541 * \warning This function may call its arguments multiple times or
1542 * zero times, so you should not pass arguments that contain
1543 * side effects.
1544 *
1545 * \param key_type An asymmetric key type (this may indifferently be a
1546 * key pair type or a public key type).
1547 * \param key_bits The size of the key in bits.
1548 * \param alg The signature algorithm.
1549 *
1550 * \return If the parameters are valid and supported, return
1551 * a buffer size in bytes that guarantees that
1552 * psa_asymmetric_sign() will not fail with
1553 * #PSA_ERROR_BUFFER_TOO_SMALL.
1554 * If the parameters are a valid combination that is not supported
1555 * by the implementation, this macro either shall return either a
1556 * sensible size or 0.
1557 * If the parameters are not valid, the
1558 * return value is unspecified.
1559 *
1560 */
Gilles Peskine0189e752018-02-03 23:57:22 +01001561#define PSA_ASYMMETRIC_SIGN_OUTPUT_SIZE(key_type, key_bits, alg) \
Gilles Peskine2905a7a2018-03-07 16:39:31 +01001562 (PSA_KEY_TYPE_IS_RSA(key_type) ? ((void)alg, PSA_BITS_TO_BYTES(key_bits)) : \
Gilles Peskine0189e752018-02-03 23:57:22 +01001563 PSA_KEY_TYPE_IS_ECC(key_type) ? PSA_ECDSA_SIGNATURE_SIZE(key_bits) : \
Gilles Peskine84845652018-03-28 14:17:40 +02001564 ((void)alg, 0))
Gilles Peskine0189e752018-02-03 23:57:22 +01001565
1566/**
Gilles Peskine20035e32018-02-03 22:44:14 +01001567 * \brief Sign a hash or short message with a private key.
1568 *
Gilles Peskine308b91d2018-02-08 09:47:44 +01001569 * \param key Key slot containing an asymmetric key pair.
1570 * \param alg A signature algorithm that is compatible with
1571 * the type of \c key.
1572 * \param hash The message to sign.
1573 * \param hash_length Size of the \c hash buffer in bytes.
1574 * \param salt A salt or label, if supported by the signature
1575 * algorithm.
1576 * If the signature algorithm does not support a
1577 * salt, pass \c NULL.
1578 * If the signature algorithm supports an optional
1579 * salt and you do not want to pass a salt,
1580 * pass \c NULL.
1581 * \param salt_length Size of the \c salt buffer in bytes.
1582 * If \c salt is \c NULL, pass 0.
1583 * \param signature Buffer where the signature is to be written.
1584 * \param signature_size Size of the \c signature buffer in bytes.
1585 * \param signature_length On success, the number of bytes
1586 * that make up the returned signature value.
Gilles Peskine308b91d2018-02-08 09:47:44 +01001587 *
1588 * \retval PSA_SUCCESS
1589 * \retval PSA_ERROR_BUFFER_TOO_SMALL
1590 * The size of the \c signature buffer is too small. You can
1591 * determine a sufficient buffer size by calling
1592 * #PSA_ASYMMETRIC_SIGN_OUTPUT_SIZE(key_type, key_bits, alg)
1593 * where \c key_type and \c key_bits are the type and bit-size
1594 * respectively of \c key.
1595 * \retval PSA_ERROR_NOT_SUPPORTED
1596 * \retval PSA_ERROR_INVALID_ARGUMENT
1597 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1598 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1599 * \retval PSA_ERROR_HARDWARE_FAILURE
1600 * \retval PSA_ERROR_TAMPERING_DETECTED
1601 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
Gilles Peskine20035e32018-02-03 22:44:14 +01001602 */
1603psa_status_t psa_asymmetric_sign(psa_key_slot_t key,
1604 psa_algorithm_t alg,
1605 const uint8_t *hash,
1606 size_t hash_length,
1607 const uint8_t *salt,
1608 size_t salt_length,
1609 uint8_t *signature,
1610 size_t signature_size,
1611 size_t *signature_length);
1612
1613/**
1614 * \brief Verify the signature a hash or short message using a public key.
1615 *
Gilles Peskine308b91d2018-02-08 09:47:44 +01001616 * \param key Key slot containing a public key or an
1617 * asymmetric key pair.
1618 * \param alg A signature algorithm that is compatible with
1619 * the type of \c key.
1620 * \param hash The message whose signature is to be verified.
1621 * \param hash_length Size of the \c hash buffer in bytes.
1622 * \param salt A salt or label, if supported by the signature
1623 * algorithm.
1624 * If the signature algorithm does not support a
1625 * salt, pass \c NULL.
1626 * If the signature algorithm supports an optional
1627 * salt and you do not want to pass a salt,
1628 * pass \c NULL.
1629 * \param salt_length Size of the \c salt buffer in bytes.
1630 * If \c salt is \c NULL, pass 0.
1631 * \param signature Buffer containing the signature to verify.
1632 * \param signature_size Size of the \c signature buffer in bytes.
1633 *
1634 * \retval PSA_SUCCESS
1635 * The signature is valid.
1636 * \retval PSA_ERROR_INVALID_SIGNATURE
1637 * The calculation was perfomed successfully, but the passed
1638 * signature is not a valid signature.
1639 * \retval PSA_ERROR_NOT_SUPPORTED
1640 * \retval PSA_ERROR_INVALID_ARGUMENT
1641 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1642 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1643 * \retval PSA_ERROR_HARDWARE_FAILURE
1644 * \retval PSA_ERROR_TAMPERING_DETECTED
Gilles Peskine20035e32018-02-03 22:44:14 +01001645 */
1646psa_status_t psa_asymmetric_verify(psa_key_slot_t key,
1647 psa_algorithm_t alg,
1648 const uint8_t *hash,
1649 size_t hash_length,
1650 const uint8_t *salt,
1651 size_t salt_length,
1652 uint8_t *signature,
1653 size_t signature_size);
1654
Gilles Peskine6944f9a2018-03-28 14:18:39 +02001655#define PSA_ASYMMETRIC_ENCRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
Gilles Peskine06297932018-04-11 16:58:22 +02001656 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
1657 ((void)alg, PSA_BITS_TO_BYTES(key_bits)) : \
1658 0)
Gilles Peskine723feff2018-05-31 20:08:13 +02001659#define PSA_RSA_MINIMUM_PADDING_SIZE(alg) \
1660 (PSA_ALG_IS_RSA_OAEP_MGF1(alg) ? \
1661 2 * PSA_HASH_FINAL_SIZE(PSA_ALG_RSA_GET_HASH(alg)) + 1 : \
1662 11 /*PKCS#1v1.5*/)
1663#define PSA_ASYMMETRIC_DECRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
Gilles Peskine06297932018-04-11 16:58:22 +02001664 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
Gilles Peskine723feff2018-05-31 20:08:13 +02001665 PSA_BITS_TO_BYTES(key_bits) - PSA_RSA_MINIMUM_PADDING_SIZE(alg) : \
Gilles Peskine06297932018-04-11 16:58:22 +02001666 0)
Gilles Peskine6944f9a2018-03-28 14:18:39 +02001667
1668/**
1669 * \brief Encrypt a short message with a public key.
1670 *
1671 * \param key Key slot containing a public key or an asymmetric
1672 * key pair.
1673 * \param alg An asymmetric encryption algorithm that is
1674 * compatible with the type of \c key.
1675 * \param input The message to encrypt.
1676 * \param input_length Size of the \c input buffer in bytes.
1677 * \param salt A salt or label, if supported by the encryption
1678 * algorithm.
1679 * If the algorithm does not support a
1680 * salt, pass \c NULL.
1681 * If the algorithm supports an optional
1682 * salt and you do not want to pass a salt,
1683 * pass \c NULL.
1684 *
1685 * - For #PSA_ALG_RSA_PKCS1V15_CRYPT, no salt is
1686 * supported.
1687 * \param salt_length Size of the \c salt buffer in bytes.
1688 * If \c salt is \c NULL, pass 0.
1689 * \param output Buffer where the encrypted message is to be written.
1690 * \param output_size Size of the \c output buffer in bytes.
1691 * \param output_length On success, the number of bytes
1692 * that make up the returned output.
1693 *
1694 * \retval PSA_SUCCESS
1695 * \retval PSA_ERROR_BUFFER_TOO_SMALL
1696 * The size of the \c output buffer is too small. You can
1697 * determine a sufficient buffer size by calling
1698 * #PSA_ASYMMETRIC_ENCRYPT_OUTPUT_SIZE(key_type, key_bits, alg)
1699 * where \c key_type and \c key_bits are the type and bit-size
1700 * respectively of \c key.
1701 * \retval PSA_ERROR_NOT_SUPPORTED
1702 * \retval PSA_ERROR_INVALID_ARGUMENT
1703 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1704 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1705 * \retval PSA_ERROR_HARDWARE_FAILURE
1706 * \retval PSA_ERROR_TAMPERING_DETECTED
1707 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
1708 */
1709psa_status_t psa_asymmetric_encrypt(psa_key_slot_t key,
1710 psa_algorithm_t alg,
1711 const uint8_t *input,
1712 size_t input_length,
1713 const uint8_t *salt,
1714 size_t salt_length,
1715 uint8_t *output,
1716 size_t output_size,
1717 size_t *output_length);
1718
1719/**
1720 * \brief Decrypt a short message with a private key.
1721 *
1722 * \param key Key slot containing an asymmetric key pair.
1723 * \param alg An asymmetric encryption algorithm that is
1724 * compatible with the type of \c key.
1725 * \param input The message to decrypt.
1726 * \param input_length Size of the \c input buffer in bytes.
1727 * \param salt A salt or label, if supported by the encryption
1728 * algorithm.
1729 * If the algorithm does not support a
1730 * salt, pass \c NULL.
1731 * If the algorithm supports an optional
1732 * salt and you do not want to pass a salt,
1733 * pass \c NULL.
1734 *
1735 * - For #PSA_ALG_RSA_PKCS1V15_CRYPT, no salt is
1736 * supported.
1737 * \param salt_length Size of the \c salt buffer in bytes.
1738 * If \c salt is \c NULL, pass 0.
Gilles Peskinef48af7f2018-03-28 18:44:14 +02001739 * \param output Buffer where the decrypted message is to be written.
Gilles Peskine6944f9a2018-03-28 14:18:39 +02001740 * \param output_size Size of the \c output buffer in bytes.
1741 * \param output_length On success, the number of bytes
1742 * that make up the returned output.
1743 *
1744 * \retval PSA_SUCCESS
1745 * \retval PSA_ERROR_BUFFER_TOO_SMALL
1746 * The size of the \c output buffer is too small. You can
1747 * determine a sufficient buffer size by calling
1748 * #PSA_ASYMMETRIC_DECRYPT_OUTPUT_SIZE(key_type, key_bits, alg)
1749 * where \c key_type and \c key_bits are the type and bit-size
1750 * respectively of \c key.
1751 * \retval PSA_ERROR_NOT_SUPPORTED
1752 * \retval PSA_ERROR_INVALID_ARGUMENT
1753 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1754 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1755 * \retval PSA_ERROR_HARDWARE_FAILURE
1756 * \retval PSA_ERROR_TAMPERING_DETECTED
1757 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
1758 * \retval PSA_ERROR_INVALID_PADDING
1759 */
1760psa_status_t psa_asymmetric_decrypt(psa_key_slot_t key,
1761 psa_algorithm_t alg,
1762 const uint8_t *input,
1763 size_t input_length,
1764 const uint8_t *salt,
1765 size_t salt_length,
1766 uint8_t *output,
1767 size_t output_size,
1768 size_t *output_length);
1769
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001770/**@}*/
1771
Gilles Peskine9e7dc712018-03-28 14:18:50 +02001772/** \defgroup generation Key generation
1773 * @{
1774 */
1775
1776/**
1777 * \brief Generate random bytes.
1778 *
1779 * \warning This function **can** fail! Callers MUST check the return status
1780 * and MUST NOT use the content of the output buffer if the return
1781 * status is not #PSA_SUCCESS.
1782 *
1783 * \note To generate a key, use psa_generate_key() instead.
1784 *
1785 * \param output Output buffer for the generated data.
1786 * \param output_size Number of bytes to generate and output.
1787 *
1788 * \retval PSA_SUCCESS
1789 * \retval PSA_ERROR_NOT_SUPPORTED
1790 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
1791 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1792 * \retval PSA_ERROR_HARDWARE_FAILURE
1793 * \retval PSA_ERROR_TAMPERING_DETECTED
1794 */
1795psa_status_t psa_generate_random(uint8_t *output,
1796 size_t output_size);
1797
1798/**
1799 * \brief Generate a key or key pair.
1800 *
1801 * \param key Slot where the key will be stored. This must be a
1802 * valid slot for a key of the chosen type. It must
1803 * be unoccupied.
1804 * \param type Key type (a \c PSA_KEY_TYPE_XXX value).
1805 * \param bits Key size in bits.
1806 * \param parameters Extra parameters for key generation. The interpretation
1807 * of this parameter depends on \c type. All types support
1808 * \c NULL to use default parameters specified below.
1809 *
1810 * For any symmetric key type (type such that
1811 * `PSA_KEY_TYPE_IS_ASYMMETRIC(type)` is false), \c parameters must be
1812 * \c NULL. For asymmetric key types defined by this specification,
1813 * the parameter type and the default parameters are defined by the
1814 * table below. For vendor-defined key types, the vendor documentation
1815 * shall define the parameter type and the default parameters.
1816 *
Gilles Peskinef48af7f2018-03-28 18:44:14 +02001817 * Type | Parameter type | Meaning | Parameters used if `parameters == NULL`
1818 * ---- | -------------- | ------- | ---------------------------------------
1819 * `PSA_KEY_TYPE_RSA_KEYPAIR` | `unsigned int` | Public exponent | 65537
Gilles Peskine9e7dc712018-03-28 14:18:50 +02001820 *
1821 * \retval PSA_SUCCESS
1822 * \retval PSA_ERROR_NOT_SUPPORTED
1823 * \retval PSA_ERROR_INVALID_ARGUMENT
1824 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
1825 * \retval PSA_ERROR_INSUFFICIENT_ENTROPY
1826 * \retval PSA_ERROR_COMMUNICATION_FAILURE
1827 * \retval PSA_ERROR_HARDWARE_FAILURE
1828 * \retval PSA_ERROR_TAMPERING_DETECTED
1829 */
1830psa_status_t psa_generate_key(psa_key_slot_t key,
1831 psa_key_type_t type,
1832 size_t bits,
1833 const void *parameters);
1834
1835/**@}*/
1836
Gilles Peskinee59236f2018-01-27 23:32:46 +01001837#ifdef __cplusplus
1838}
1839#endif
1840
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001841/* The file "crypto_struct.h" contains definitions for
1842 * implementation-specific structs that are declared above. */
1843#include "crypto_struct.h"
1844
1845/* The file "crypto_extra.h" contains vendor-specific definitions. This
1846 * can include vendor-defined algorithms, extra functions, etc. */
Gilles Peskinee59236f2018-01-27 23:32:46 +01001847#include "crypto_extra.h"
1848
1849#endif /* PSA_CRYPTO_H */