blob: 34664fc10c67475168f623080e349c342d3ab183 [file] [log] [blame]
Gilles Peskine0cad07c2018-06-27 19:49:02 +02001/**
2 * \file psa/crypto_sizes.h
3 *
4 * \brief PSA cryptography module: Mbed TLS buffer size macros
5 *
Gilles Peskine07c91f52018-06-28 18:02:53 +02006 * \note This file may not be included directly. Applications must
7 * include psa/crypto.h.
8 *
Gilles Peskine0cad07c2018-06-27 19:49:02 +02009 * This file contains the definitions of macros that are useful to
10 * compute buffer sizes. The signatures and semantics of these macros
11 * are standardized, but the definitions are not, because they depend on
12 * the available algorithms and, in some cases, on permitted tolerances
13 * on buffer sizes.
Gilles Peskine49cee6c2018-06-27 21:03:58 +020014 *
Gilles Peskine07c91f52018-06-28 18:02:53 +020015 * In implementations with isolation between the application and the
16 * cryptography module, implementers should take care to ensure that
17 * the definitions that are exposed to applications match what the
18 * module implements.
19 *
Gilles Peskine49cee6c2018-06-27 21:03:58 +020020 * Macros that compute sizes whose values do not depend on the
21 * implementation are in crypto.h.
Gilles Peskine0cad07c2018-06-27 19:49:02 +020022 */
23/*
24 * Copyright (C) 2018, ARM Limited, All Rights Reserved
25 * SPDX-License-Identifier: Apache-2.0
26 *
27 * Licensed under the Apache License, Version 2.0 (the "License"); you may
28 * not use this file except in compliance with the License.
29 * You may obtain a copy of the License at
30 *
31 * http://www.apache.org/licenses/LICENSE-2.0
32 *
33 * Unless required by applicable law or agreed to in writing, software
34 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
35 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
36 * See the License for the specific language governing permissions and
37 * limitations under the License.
38 *
39 * This file is part of mbed TLS (https://tls.mbed.org)
40 */
41
42#ifndef PSA_CRYPTO_SIZES_H
43#define PSA_CRYPTO_SIZES_H
44
45/* Include the Mbed TLS configuration file, the way Mbed TLS does it
46 * in each of its header files. */
47#if !defined(MBEDTLS_CONFIG_FILE)
48#include "../mbedtls/config.h"
49#else
50#include MBEDTLS_CONFIG_FILE
51#endif
52
Gilles Peskinea7c26db2018-12-12 13:42:25 +010053#define PSA_BITS_TO_BYTES(bits) (((bits) + 7) / 8)
54#define PSA_BYTES_TO_BITS(bytes) ((bytes) * 8)
55
56/** The size of the output of psa_hash_finish(), in bytes.
57 *
58 * This is also the hash size that psa_hash_verify() expects.
59 *
60 * \param alg A hash algorithm (\c PSA_ALG_XXX value such that
61 * #PSA_ALG_IS_HASH(\p alg) is true), or an HMAC algorithm
62 * (#PSA_ALG_HMAC(\c hash_alg) where \c hash_alg is a
63 * hash algorithm).
64 *
65 * \return The hash size for the specified hash algorithm.
66 * If the hash algorithm is not recognized, return 0.
67 * An implementation may return either 0 or the correct size
68 * for a hash algorithm that it recognizes, but does not support.
69 */
70#define PSA_HASH_SIZE(alg) \
71 ( \
72 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_MD2 ? 16 : \
73 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_MD4 ? 16 : \
74 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_MD5 ? 16 : \
75 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_RIPEMD160 ? 20 : \
76 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_1 ? 20 : \
77 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_224 ? 28 : \
78 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_256 ? 32 : \
79 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_384 ? 48 : \
80 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512 ? 64 : \
81 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_224 ? 28 : \
82 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA_512_256 ? 32 : \
83 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_224 ? 28 : \
84 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_256 ? 32 : \
85 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_384 ? 48 : \
86 PSA_ALG_HMAC_GET_HASH(alg) == PSA_ALG_SHA3_512 ? 64 : \
87 0)
88
Gilles Peskineaf3baab2018-06-27 22:55:52 +020089/** \def PSA_HASH_MAX_SIZE
90 *
91 * Maximum size of a hash.
92 *
93 * This macro must expand to a compile-time constant integer. This value
94 * should be the maximum size of a hash supported by the implementation,
95 * in bytes, and must be no smaller than this maximum.
96 */
Gilles Peskine3052f532018-09-17 14:13:26 +020097/* Note: for HMAC-SHA-3, the block size is 144 bytes for HMAC-SHA3-226,
98 * 136 bytes for HMAC-SHA3-256, 104 bytes for SHA3-384, 72 bytes for
99 * HMAC-SHA3-512. */
Gilles Peskine0cad07c2018-06-27 19:49:02 +0200100#if defined(MBEDTLS_SHA512_C)
101#define PSA_HASH_MAX_SIZE 64
102#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 128
103#else
104#define PSA_HASH_MAX_SIZE 32
105#define PSA_HMAC_MAX_HASH_BLOCK_SIZE 64
106#endif
107
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200108/** \def PSA_MAC_MAX_SIZE
109 *
110 * Maximum size of a MAC.
111 *
112 * This macro must expand to a compile-time constant integer. This value
113 * should be the maximum size of a MAC supported by the implementation,
114 * in bytes, and must be no smaller than this maximum.
115 */
116/* All non-HMAC MACs have a maximum size that's smaller than the
117 * minimum possible value of PSA_HASH_MAX_SIZE in this implementation. */
Gilles Peskinee1f2d7d2018-08-21 14:54:54 +0200118/* Note that the encoding of truncated MAC algorithms limits this value
119 * to 64 bytes.
120 */
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200121#define PSA_MAC_MAX_SIZE PSA_HASH_MAX_SIZE
122
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100123/** The tag size for an AEAD algorithm, in bytes.
124 *
125 * \param alg An AEAD algorithm
126 * (\c PSA_ALG_XXX value such that
127 * #PSA_ALG_IS_AEAD(\p alg) is true).
128 *
129 * \return The tag size for the specified algorithm.
130 * If the AEAD algorithm does not have an identified
131 * tag that can be distinguished from the rest of
132 * the ciphertext, return 0.
133 * If the AEAD algorithm is not recognized, return 0.
134 * An implementation may return either 0 or a
135 * correct size for an AEAD algorithm that it
136 * recognizes, but does not support.
137 */
138#define PSA_AEAD_TAG_LENGTH(alg) \
139 (PSA_ALG_IS_AEAD(alg) ? \
140 (((alg) & PSA_ALG_AEAD_TAG_LENGTH_MASK) >> PSA_AEAD_TAG_LENGTH_OFFSET) : \
141 0)
142
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200143/* The maximum size of an RSA key on this implementation, in bits.
144 * This is a vendor-specific macro.
145 *
146 * Mbed TLS does not set a hard limit on the size of RSA keys: any key
147 * whose parameters fit in a bignum is accepted. However large keys can
148 * induce a large memory usage and long computation times. Unlike other
149 * auxiliary macros in this file and in crypto.h, which reflect how the
150 * library is configured, this macro defines how the library is
151 * configured. This implementation refuses to import or generate an
152 * RSA key whose size is larger than the value defined here.
153 *
154 * Note that an implementation may set different size limits for different
155 * operations, and does not need to accept all key sizes up to the limit. */
156#define PSA_VENDOR_RSA_MAX_KEY_BITS 4096
157
158/* The maximum size of an ECC key on this implementation, in bits.
159 * This is a vendor-specific macro. */
160#if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED)
161#define PSA_VENDOR_ECC_MAX_CURVE_BITS 521
162#elif defined(MBEDTLS_ECP_DP_BP512R1_ENABLED)
163#define PSA_VENDOR_ECC_MAX_CURVE_BITS 512
164#elif defined(MBEDTLS_ECP_DP_CURVE448_ENABLED)
165#define PSA_VENDOR_ECC_MAX_CURVE_BITS 448
166#elif defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED)
167#define PSA_VENDOR_ECC_MAX_CURVE_BITS 384
168#elif defined(MBEDTLS_ECP_DP_BP384R1_ENABLED)
169#define PSA_VENDOR_ECC_MAX_CURVE_BITS 384
170#elif defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED)
171#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256
172#elif defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED)
173#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256
174#elif defined(MBEDTLS_ECP_DP_BP256R1_ENABLED)
175#define PSA_VENDOR_ECC_MAX_CURVE_BITS 256
176#elif defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED)
177#define PSA_VENDOR_ECC_MAX_CURVE_BITS 255
178#elif defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED)
179#define PSA_VENDOR_ECC_MAX_CURVE_BITS 224
180#elif defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED)
181#define PSA_VENDOR_ECC_MAX_CURVE_BITS 224
182#elif defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED)
183#define PSA_VENDOR_ECC_MAX_CURVE_BITS 192
184#elif defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED)
185#define PSA_VENDOR_ECC_MAX_CURVE_BITS 192
186#else
187#define PSA_VENDOR_ECC_MAX_CURVE_BITS 0
188#endif
189
Hanno Becker8dbfca42018-10-12 11:56:55 +0100190/** \def PSA_ALG_TLS12_PSK_TO_MS_MAX_PSK_LEN
191 *
192 * This macro returns the maximum length of the PSK supported
193 * by the TLS-1.2 PSK-to-MS key derivation.
194 *
195 * Quoting RFC 4279, Sect 5.3:
196 * TLS implementations supporting these ciphersuites MUST support
197 * arbitrary PSK identities up to 128 octets in length, and arbitrary
198 * PSKs up to 64 octets in length. Supporting longer identities and
199 * keys is RECOMMENDED.
200 *
201 * Therefore, no implementation should define a value smaller than 64
202 * for #PSA_ALG_TLS12_PSK_TO_MS_MAX_PSK_LEN.
203 */
204#define PSA_ALG_TLS12_PSK_TO_MS_MAX_PSK_LEN 128
205
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200206/** \def PSA_ASYMMETRIC_SIGNATURE_MAX_SIZE
207 *
208 * Maximum size of an asymmetric signature.
209 *
210 * This macro must expand to a compile-time constant integer. This value
211 * should be the maximum size of a MAC supported by the implementation,
212 * in bytes, and must be no smaller than this maximum.
213 */
214#define PSA_ASYMMETRIC_SIGNATURE_MAX_SIZE \
215 PSA_BITS_TO_BYTES( \
216 PSA_VENDOR_RSA_MAX_KEY_BITS > PSA_VENDOR_ECC_MAX_CURVE_BITS ? \
217 PSA_VENDOR_RSA_MAX_KEY_BITS : \
218 PSA_VENDOR_ECC_MAX_CURVE_BITS \
219 )
220
Gilles Peskined911eb72018-08-14 15:18:45 +0200221/** The maximum size of a block cipher supported by the implementation. */
222#define PSA_MAX_BLOCK_CIPHER_BLOCK_SIZE 16
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200223
Gilles Peskineacd4be32018-07-08 19:56:25 +0200224/** The size of the output of psa_mac_sign_finish(), in bytes.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200225 *
Gilles Peskineacd4be32018-07-08 19:56:25 +0200226 * This is also the MAC size that psa_mac_verify_finish() expects.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200227 *
228 * \param key_type The type of the MAC key.
229 * \param key_bits The size of the MAC key in bits.
230 * \param alg A MAC algorithm (\c PSA_ALG_XXX value such that
231 * #PSA_ALG_IS_MAC(alg) is true).
232 *
233 * \return The MAC size for the specified algorithm with
234 * the specified key parameters.
235 * \return 0 if the MAC algorithm is not recognized.
236 * \return Either 0 or the correct size for a MAC algorithm that
237 * the implementation recognizes, but does not support.
238 * \return Unspecified if the key parameters are not consistent
239 * with the algorithm.
240 */
241#define PSA_MAC_FINAL_SIZE(key_type, key_bits, alg) \
Gilles Peskined911eb72018-08-14 15:18:45 +0200242 ((alg) & PSA_ALG_MAC_TRUNCATION_MASK ? PSA_MAC_TRUNCATED_LENGTH(alg) : \
243 PSA_ALG_IS_HMAC(alg) ? PSA_HASH_SIZE(PSA_ALG_HMAC_GET_HASH(alg)) : \
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200244 PSA_ALG_IS_BLOCK_CIPHER_MAC(alg) ? PSA_BLOCK_CIPHER_BLOCK_SIZE(key_type) : \
Gilles Peskine35fe2032018-08-22 18:26:02 +0200245 ((void)(key_type), (void)(key_bits), 0))
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200246
247/** The maximum size of the output of psa_aead_encrypt(), in bytes.
248 *
249 * If the size of the ciphertext buffer is at least this large, it is
250 * guaranteed that psa_aead_encrypt() will not fail due to an
251 * insufficient buffer size. Depending on the algorithm, the actual size of
252 * the ciphertext may be smaller.
253 *
254 * \param alg An AEAD algorithm
255 * (\c PSA_ALG_XXX value such that
256 * #PSA_ALG_IS_AEAD(alg) is true).
257 * \param plaintext_length Size of the plaintext in bytes.
258 *
259 * \return The AEAD ciphertext size for the specified
260 * algorithm.
261 * If the AEAD algorithm is not recognized, return 0.
262 * An implementation may return either 0 or a
263 * correct size for an AEAD algorithm that it
264 * recognizes, but does not support.
265 */
Gilles Peskine23cc2ff2018-08-17 19:47:52 +0200266#define PSA_AEAD_ENCRYPT_OUTPUT_SIZE(alg, plaintext_length) \
267 (PSA_AEAD_TAG_LENGTH(alg) != 0 ? \
268 (plaintext_length) + PSA_AEAD_TAG_LENGTH(alg) : \
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200269 0)
270
271/** The maximum size of the output of psa_aead_decrypt(), in bytes.
272 *
273 * If the size of the plaintext buffer is at least this large, it is
274 * guaranteed that psa_aead_decrypt() will not fail due to an
275 * insufficient buffer size. Depending on the algorithm, the actual size of
276 * the plaintext may be smaller.
277 *
278 * \param alg An AEAD algorithm
279 * (\c PSA_ALG_XXX value such that
280 * #PSA_ALG_IS_AEAD(alg) is true).
281 * \param ciphertext_length Size of the plaintext in bytes.
282 *
283 * \return The AEAD ciphertext size for the specified
284 * algorithm.
285 * If the AEAD algorithm is not recognized, return 0.
286 * An implementation may return either 0 or a
287 * correct size for an AEAD algorithm that it
288 * recognizes, but does not support.
289 */
Gilles Peskine23cc2ff2018-08-17 19:47:52 +0200290#define PSA_AEAD_DECRYPT_OUTPUT_SIZE(alg, ciphertext_length) \
291 (PSA_AEAD_TAG_LENGTH(alg) != 0 ? \
292 (plaintext_length) - PSA_AEAD_TAG_LENGTH(alg) : \
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200293 0)
294
Jaeden Amero7f042142019-02-07 10:44:38 +0000295#define PSA_RSA_MINIMUM_PADDING_SIZE(alg) \
296 (PSA_ALG_IS_RSA_OAEP(alg) ? \
297 2 * PSA_HASH_SIZE(PSA_ALG_RSA_OAEP_GET_HASH(alg)) + 1 : \
Gilles Peskinea7c26db2018-12-12 13:42:25 +0100298 11 /*PKCS#1v1.5*/)
299
300/**
301 * \brief ECDSA signature size for a given curve bit size
302 *
303 * \param curve_bits Curve size in bits.
304 * \return Signature size in bytes.
305 *
306 * \note This macro returns a compile-time constant if its argument is one.
307 */
308#define PSA_ECDSA_SIGNATURE_SIZE(curve_bits) \
309 (PSA_BITS_TO_BYTES(curve_bits) * 2)
310
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200311/** Safe signature buffer size for psa_asymmetric_sign().
312 *
313 * This macro returns a safe buffer size for a signature using a key
314 * of the specified type and size, with the specified algorithm.
315 * Note that the actual size of the signature may be smaller
316 * (some algorithms produce a variable-size signature).
317 *
318 * \warning This function may call its arguments multiple times or
319 * zero times, so you should not pass arguments that contain
320 * side effects.
321 *
322 * \param key_type An asymmetric key type (this may indifferently be a
323 * key pair type or a public key type).
324 * \param key_bits The size of the key in bits.
325 * \param alg The signature algorithm.
326 *
327 * \return If the parameters are valid and supported, return
328 * a buffer size in bytes that guarantees that
329 * psa_asymmetric_sign() will not fail with
330 * #PSA_ERROR_BUFFER_TOO_SMALL.
331 * If the parameters are a valid combination that is not supported
332 * by the implementation, this macro either shall return either a
333 * sensible size or 0.
334 * If the parameters are not valid, the
335 * return value is unspecified.
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200336 */
337#define PSA_ASYMMETRIC_SIGN_OUTPUT_SIZE(key_type, key_bits, alg) \
338 (PSA_KEY_TYPE_IS_RSA(key_type) ? ((void)alg, PSA_BITS_TO_BYTES(key_bits)) : \
339 PSA_KEY_TYPE_IS_ECC(key_type) ? PSA_ECDSA_SIGNATURE_SIZE(key_bits) : \
340 ((void)alg, 0))
341
Gilles Peskinedcd14942018-07-12 00:30:52 +0200342/** Safe output buffer size for psa_asymmetric_encrypt().
343 *
344 * This macro returns a safe buffer size for a ciphertext produced using
345 * a key of the specified type and size, with the specified algorithm.
346 * Note that the actual size of the ciphertext may be smaller, depending
347 * on the algorithm.
348 *
349 * \warning This function may call its arguments multiple times or
350 * zero times, so you should not pass arguments that contain
351 * side effects.
352 *
353 * \param key_type An asymmetric key type (this may indifferently be a
354 * key pair type or a public key type).
355 * \param key_bits The size of the key in bits.
356 * \param alg The signature algorithm.
357 *
358 * \return If the parameters are valid and supported, return
359 * a buffer size in bytes that guarantees that
360 * psa_asymmetric_encrypt() will not fail with
361 * #PSA_ERROR_BUFFER_TOO_SMALL.
362 * If the parameters are a valid combination that is not supported
363 * by the implementation, this macro either shall return either a
364 * sensible size or 0.
365 * If the parameters are not valid, the
366 * return value is unspecified.
367 */
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200368#define PSA_ASYMMETRIC_ENCRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
369 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
370 ((void)alg, PSA_BITS_TO_BYTES(key_bits)) : \
371 0)
Gilles Peskinedcd14942018-07-12 00:30:52 +0200372
373/** Safe output buffer size for psa_asymmetric_decrypt().
374 *
375 * This macro returns a safe buffer size for a ciphertext produced using
376 * a key of the specified type and size, with the specified algorithm.
377 * Note that the actual size of the ciphertext may be smaller, depending
378 * on the algorithm.
379 *
380 * \warning This function may call its arguments multiple times or
381 * zero times, so you should not pass arguments that contain
382 * side effects.
383 *
384 * \param key_type An asymmetric key type (this may indifferently be a
385 * key pair type or a public key type).
386 * \param key_bits The size of the key in bits.
387 * \param alg The signature algorithm.
388 *
389 * \return If the parameters are valid and supported, return
390 * a buffer size in bytes that guarantees that
391 * psa_asymmetric_decrypt() will not fail with
392 * #PSA_ERROR_BUFFER_TOO_SMALL.
393 * If the parameters are a valid combination that is not supported
394 * by the implementation, this macro either shall return either a
395 * sensible size or 0.
396 * If the parameters are not valid, the
397 * return value is unspecified.
398 */
Gilles Peskine49cee6c2018-06-27 21:03:58 +0200399#define PSA_ASYMMETRIC_DECRYPT_OUTPUT_SIZE(key_type, key_bits, alg) \
400 (PSA_KEY_TYPE_IS_RSA(key_type) ? \
401 PSA_BITS_TO_BYTES(key_bits) - PSA_RSA_MINIMUM_PADDING_SIZE(alg) : \
402 0)
403
Gilles Peskine1be949b2018-08-10 19:06:59 +0200404/* Maximum size of the ASN.1 encoding of an INTEGER with the specified
405 * number of bits.
406 *
407 * This definition assumes that bits <= 2^19 - 9 so that the length field
408 * is at most 3 bytes. The length of the encoding is the length of the
409 * bit string padded to a whole number of bytes plus:
410 * - 1 type byte;
411 * - 1 to 3 length bytes;
412 * - 0 to 1 bytes of leading 0 due to the sign bit.
413 */
414#define PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(bits) \
415 ((bits) / 8 + 5)
416
417/* Maximum size of the export encoding of an RSA public key.
418 * Assumes that the public exponent is less than 2^32.
419 *
Gilles Peskine1be949b2018-08-10 19:06:59 +0200420 * RSAPublicKey ::= SEQUENCE {
421 * modulus INTEGER, -- n
422 * publicExponent INTEGER } -- e
423 *
Jaeden Amero25384a22019-01-10 10:23:21 +0000424 * - 4 bytes of SEQUENCE overhead;
Gilles Peskine1be949b2018-08-10 19:06:59 +0200425 * - n : INTEGER;
426 * - 7 bytes for the public exponent.
427 */
428#define PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(key_bits) \
Jaeden Amero25384a22019-01-10 10:23:21 +0000429 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) + 11)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200430
431/* Maximum size of the export encoding of an RSA key pair.
432 * Assumes thatthe public exponent is less than 2^32 and that the size
433 * difference between the two primes is at most 1 bit.
434 *
435 * RSAPrivateKey ::= SEQUENCE {
436 * version Version, -- 0
437 * modulus INTEGER, -- N-bit
438 * publicExponent INTEGER, -- 32-bit
439 * privateExponent INTEGER, -- N-bit
440 * prime1 INTEGER, -- N/2-bit
441 * prime2 INTEGER, -- N/2-bit
442 * exponent1 INTEGER, -- N/2-bit
443 * exponent2 INTEGER, -- N/2-bit
444 * coefficient INTEGER, -- N/2-bit
445 * }
446 *
447 * - 4 bytes of SEQUENCE overhead;
448 * - 3 bytes of version;
449 * - 7 half-size INTEGERs plus 2 full-size INTEGERs,
450 * overapproximated as 9 half-size INTEGERS;
451 * - 7 bytes for the public exponent.
452 */
453#define PSA_KEY_EXPORT_RSA_KEYPAIR_MAX_SIZE(key_bits) \
454 (9 * PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE((key_bits) / 2 + 1) + 14)
455
456/* Maximum size of the export encoding of a DSA public key.
457 *
458 * SubjectPublicKeyInfo ::= SEQUENCE {
459 * algorithm AlgorithmIdentifier,
460 * subjectPublicKey BIT STRING } -- contains DSAPublicKey
461 * AlgorithmIdentifier ::= SEQUENCE {
462 * algorithm OBJECT IDENTIFIER,
463 * parameters Dss-Parms } -- SEQUENCE of 3 INTEGERs
464 * DSAPublicKey ::= INTEGER -- public key, Y
465 *
466 * - 3 * 4 bytes of SEQUENCE overhead;
467 * - 1 + 1 + 7 bytes of algorithm (DSA OID);
468 * - 4 bytes of BIT STRING overhead;
469 * - 3 full-size INTEGERs (p, g, y);
470 * - 1 + 1 + 32 bytes for 1 sub-size INTEGER (q <= 256 bits).
471 */
472#define PSA_KEY_EXPORT_DSA_PUBLIC_KEY_MAX_SIZE(key_bits) \
473 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) * 3 + 59)
474
475/* Maximum size of the export encoding of a DSA key pair.
476 *
477 * DSAPrivateKey ::= SEQUENCE {
478 * version Version, -- 0
479 * prime INTEGER, -- p
480 * subprime INTEGER, -- q
481 * generator INTEGER, -- g
482 * public INTEGER, -- y
483 * private INTEGER, -- x
484 * }
485 *
486 * - 4 bytes of SEQUENCE overhead;
487 * - 3 bytes of version;
488 * - 3 full-size INTEGERs (p, g, y);
489 * - 2 * (1 + 1 + 32) bytes for 2 sub-size INTEGERs (q, x <= 256 bits).
490 */
491#define PSA_KEY_EXPORT_DSA_KEYPAIR_MAX_SIZE(key_bits) \
492 (PSA_KEY_EXPORT_ASN1_INTEGER_MAX_SIZE(key_bits) * 3 + 75)
493
494/* Maximum size of the export encoding of an ECC public key.
495 *
Jaeden Ameroccdce902019-01-10 11:42:27 +0000496 * The representation of an ECC public key is:
497 * - The byte 0x04;
498 * - `x_P` as a `ceiling(m/8)`-byte string, big-endian;
499 * - `y_P` as a `ceiling(m/8)`-byte string, big-endian;
500 * - where m is the bit size associated with the curve.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200501 *
Jaeden Ameroccdce902019-01-10 11:42:27 +0000502 * - 1 byte + 2 * point size.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200503 */
504#define PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(key_bits) \
Jaeden Ameroccdce902019-01-10 11:42:27 +0000505 (2 * PSA_BITS_TO_BYTES(key_bits) + 1)
Gilles Peskine1be949b2018-08-10 19:06:59 +0200506
507/* Maximum size of the export encoding of an ECC key pair.
508 *
Gilles Peskine5eb15212018-10-31 13:24:35 +0100509 * An ECC key pair is represented by the secret value.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200510 */
511#define PSA_KEY_EXPORT_ECC_KEYPAIR_MAX_SIZE(key_bits) \
Gilles Peskine5eb15212018-10-31 13:24:35 +0100512 (PSA_BITS_TO_BYTES(key_bits))
Gilles Peskine1be949b2018-08-10 19:06:59 +0200513
514/** Safe output buffer size for psa_export_key() or psa_export_public_key().
515 *
516 * This macro returns a compile-time constant if its arguments are
517 * compile-time constants.
518 *
519 * \warning This function may call its arguments multiple times or
520 * zero times, so you should not pass arguments that contain
521 * side effects.
522 *
523 * The following code illustrates how to allocate enough memory to export
524 * a key by querying the key type and size at runtime.
525 * \code{c}
526 * psa_key_type_t key_type;
527 * size_t key_bits;
528 * psa_status_t status;
529 * status = psa_get_key_information(key, &key_type, &key_bits);
530 * if (status != PSA_SUCCESS) handle_error(...);
531 * size_t buffer_size = PSA_KEY_EXPORT_MAX_SIZE(key_type, key_bits);
532 * unsigned char *buffer = malloc(buffer_size);
533 * if (buffer != NULL) handle_error(...);
534 * size_t buffer_length;
535 * status = psa_export_key(key, buffer, buffer_size, &buffer_length);
536 * if (status != PSA_SUCCESS) handle_error(...);
537 * \endcode
538 *
539 * For psa_export_public_key(), calculate the buffer size from the
540 * public key type. You can use the macro #PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR
541 * to convert a key pair type to the corresponding public key type.
542 * \code{c}
543 * psa_key_type_t key_type;
544 * size_t key_bits;
545 * psa_status_t status;
546 * status = psa_get_key_information(key, &key_type, &key_bits);
547 * if (status != PSA_SUCCESS) handle_error(...);
548 * psa_key_type_t public_key_type = PSA_KEY_TYPE_PUBLIC_KEY_OF_KEYPAIR(key_type);
549 * size_t buffer_size = PSA_KEY_EXPORT_MAX_SIZE(public_key_type, key_bits);
550 * unsigned char *buffer = malloc(buffer_size);
551 * if (buffer != NULL) handle_error(...);
552 * size_t buffer_length;
553 * status = psa_export_public_key(key, buffer, buffer_size, &buffer_length);
554 * if (status != PSA_SUCCESS) handle_error(...);
555 * \endcode
556 *
557 * \param key_type A supported key type.
558 * \param key_bits The size of the key in bits.
Gilles Peskine1be949b2018-08-10 19:06:59 +0200559 *
560 * \return If the parameters are valid and supported, return
561 * a buffer size in bytes that guarantees that
562 * psa_asymmetric_sign() will not fail with
563 * #PSA_ERROR_BUFFER_TOO_SMALL.
564 * If the parameters are a valid combination that is not supported
565 * by the implementation, this macro either shall return either a
566 * sensible size or 0.
567 * If the parameters are not valid, the
568 * return value is unspecified.
569 */
570#define PSA_KEY_EXPORT_MAX_SIZE(key_type, key_bits) \
571 (PSA_KEY_TYPE_IS_UNSTRUCTURED(key_type) ? PSA_BITS_TO_BYTES(key_bits) : \
572 (key_type) == PSA_KEY_TYPE_RSA_KEYPAIR ? PSA_KEY_EXPORT_RSA_KEYPAIR_MAX_SIZE(key_bits) : \
573 (key_type) == PSA_KEY_TYPE_RSA_PUBLIC_KEY ? PSA_KEY_EXPORT_RSA_PUBLIC_KEY_MAX_SIZE(key_bits) : \
574 (key_type) == PSA_KEY_TYPE_DSA_KEYPAIR ? PSA_KEY_EXPORT_DSA_KEYPAIR_MAX_SIZE(key_bits) : \
575 (key_type) == PSA_KEY_TYPE_DSA_PUBLIC_KEY ? PSA_KEY_EXPORT_DSA_PUBLIC_KEY_MAX_SIZE(key_bits) : \
576 PSA_KEY_TYPE_IS_ECC_KEYPAIR(key_type) ? PSA_KEY_EXPORT_ECC_KEYPAIR_MAX_SIZE(key_bits) : \
577 PSA_KEY_TYPE_IS_ECC_PUBLIC_KEY(key_type) ? PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(key_bits) : \
578 0)
579
Gilles Peskine0cad07c2018-06-27 19:49:02 +0200580#endif /* PSA_CRYPTO_SIZES_H */