xref: /optee_os/lib/libmbedtls/mbedtls/library/dhm.c (revision b0563631928755fe864b97785160fb3088e9efdc)
1817466cbSJens Wiklander /*
2817466cbSJens Wiklander  *  Diffie-Hellman-Merkle key exchange
3817466cbSJens Wiklander  *
47901324dSJerome Forissier  *  Copyright The Mbed TLS Contributors
5*b0563631STom Van Eyck  *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6817466cbSJens Wiklander  */
7817466cbSJens Wiklander /*
8817466cbSJens Wiklander  *  The following sources were referenced in the design of this implementation
9817466cbSJens Wiklander  *  of the Diffie-Hellman-Merkle algorithm:
10817466cbSJens Wiklander  *
11817466cbSJens Wiklander  *  [1] Handbook of Applied Cryptography - 1997, Chapter 12
12817466cbSJens Wiklander  *      Menezes, van Oorschot and Vanstone
13817466cbSJens Wiklander  *
14817466cbSJens Wiklander  */
15817466cbSJens Wiklander 
167901324dSJerome Forissier #include "common.h"
17817466cbSJens Wiklander 
18817466cbSJens Wiklander #if defined(MBEDTLS_DHM_C)
19817466cbSJens Wiklander 
20817466cbSJens Wiklander #include "mbedtls/dhm.h"
213d3b0591SJens Wiklander #include "mbedtls/platform_util.h"
2211fa71b9SJerome Forissier #include "mbedtls/error.h"
23817466cbSJens Wiklander 
24817466cbSJens Wiklander #include <string.h>
25817466cbSJens Wiklander 
26817466cbSJens Wiklander #if defined(MBEDTLS_PEM_PARSE_C)
27817466cbSJens Wiklander #include "mbedtls/pem.h"
28817466cbSJens Wiklander #endif
29817466cbSJens Wiklander 
30817466cbSJens Wiklander #if defined(MBEDTLS_ASN1_PARSE_C)
31817466cbSJens Wiklander #include "mbedtls/asn1.h"
32817466cbSJens Wiklander #endif
33817466cbSJens Wiklander 
34817466cbSJens Wiklander #include "mbedtls/platform.h"
35817466cbSJens Wiklander 
363d3b0591SJens Wiklander #if !defined(MBEDTLS_DHM_ALT)
373d3b0591SJens Wiklander 
38817466cbSJens Wiklander /*
39817466cbSJens Wiklander  * helper to validate the mbedtls_mpi size and import it
40817466cbSJens Wiklander  */
dhm_read_bignum(mbedtls_mpi * X,unsigned char ** p,const unsigned char * end)41817466cbSJens Wiklander static int dhm_read_bignum(mbedtls_mpi *X,
42817466cbSJens Wiklander                            unsigned char **p,
43817466cbSJens Wiklander                            const unsigned char *end)
44817466cbSJens Wiklander {
45817466cbSJens Wiklander     int ret, n;
46817466cbSJens Wiklander 
4732b31808SJens Wiklander     if (end - *p < 2) {
4832b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
4932b31808SJens Wiklander     }
50817466cbSJens Wiklander 
51*b0563631STom Van Eyck     n = MBEDTLS_GET_UINT16_BE(*p, 0);
52817466cbSJens Wiklander     (*p) += 2;
53817466cbSJens Wiklander 
54*b0563631STom Van Eyck     if ((size_t) (end - *p) < (size_t) n) {
5532b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
5632b31808SJens Wiklander     }
57817466cbSJens Wiklander 
5832b31808SJens Wiklander     if ((ret = mbedtls_mpi_read_binary(X, *p, n)) != 0) {
5932b31808SJens Wiklander         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_READ_PARAMS_FAILED, ret);
6032b31808SJens Wiklander     }
61817466cbSJens Wiklander 
62817466cbSJens Wiklander     (*p) += n;
63817466cbSJens Wiklander 
6432b31808SJens Wiklander     return 0;
65817466cbSJens Wiklander }
66817466cbSJens Wiklander 
67817466cbSJens Wiklander /*
68817466cbSJens Wiklander  * Verify sanity of parameter with regards to P
69817466cbSJens Wiklander  *
70817466cbSJens Wiklander  * Parameter should be: 2 <= public_param <= P - 2
71817466cbSJens Wiklander  *
723d3b0591SJens Wiklander  * This means that we need to return an error if
733d3b0591SJens Wiklander  *              public_param < 2 or public_param > P-2
743d3b0591SJens Wiklander  *
75817466cbSJens Wiklander  * For more information on the attack, see:
76817466cbSJens Wiklander  *  http://www.cl.cam.ac.uk/~rja14/Papers/psandqs.pdf
77817466cbSJens Wiklander  *  http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2005-2643
78817466cbSJens Wiklander  */
dhm_check_range(const mbedtls_mpi * param,const mbedtls_mpi * P)79817466cbSJens Wiklander static int dhm_check_range(const mbedtls_mpi *param, const mbedtls_mpi *P)
80817466cbSJens Wiklander {
817901324dSJerome Forissier     mbedtls_mpi U;
823d3b0591SJens Wiklander     int ret = 0;
83817466cbSJens Wiklander 
847901324dSJerome Forissier     mbedtls_mpi_init(&U);
85817466cbSJens Wiklander 
86817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_sub_int(&U, P, 2));
87817466cbSJens Wiklander 
887901324dSJerome Forissier     if (mbedtls_mpi_cmp_int(param, 2) < 0 ||
8932b31808SJens Wiklander         mbedtls_mpi_cmp_mpi(param, &U) > 0) {
903d3b0591SJens Wiklander         ret = MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
91817466cbSJens Wiklander     }
92817466cbSJens Wiklander 
93817466cbSJens Wiklander cleanup:
947901324dSJerome Forissier     mbedtls_mpi_free(&U);
9532b31808SJens Wiklander     return ret;
96817466cbSJens Wiklander }
97817466cbSJens Wiklander 
mbedtls_dhm_init(mbedtls_dhm_context * ctx)98817466cbSJens Wiklander void mbedtls_dhm_init(mbedtls_dhm_context *ctx)
99817466cbSJens Wiklander {
100817466cbSJens Wiklander     memset(ctx, 0, sizeof(mbedtls_dhm_context));
101817466cbSJens Wiklander }
102817466cbSJens Wiklander 
mbedtls_dhm_get_bitlen(const mbedtls_dhm_context * ctx)10332b31808SJens Wiklander size_t mbedtls_dhm_get_bitlen(const mbedtls_dhm_context *ctx)
10432b31808SJens Wiklander {
10532b31808SJens Wiklander     return mbedtls_mpi_bitlen(&ctx->P);
10632b31808SJens Wiklander }
10732b31808SJens Wiklander 
mbedtls_dhm_get_len(const mbedtls_dhm_context * ctx)10832b31808SJens Wiklander size_t mbedtls_dhm_get_len(const mbedtls_dhm_context *ctx)
10932b31808SJens Wiklander {
11032b31808SJens Wiklander     return mbedtls_mpi_size(&ctx->P);
11132b31808SJens Wiklander }
11232b31808SJens Wiklander 
mbedtls_dhm_get_value(const mbedtls_dhm_context * ctx,mbedtls_dhm_parameter param,mbedtls_mpi * dest)11332b31808SJens Wiklander int mbedtls_dhm_get_value(const mbedtls_dhm_context *ctx,
11432b31808SJens Wiklander                           mbedtls_dhm_parameter param,
11532b31808SJens Wiklander                           mbedtls_mpi *dest)
11632b31808SJens Wiklander {
11732b31808SJens Wiklander     const mbedtls_mpi *src = NULL;
11832b31808SJens Wiklander     switch (param) {
11932b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_P:
12032b31808SJens Wiklander             src = &ctx->P;
12132b31808SJens Wiklander             break;
12232b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_G:
12332b31808SJens Wiklander             src = &ctx->G;
12432b31808SJens Wiklander             break;
12532b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_X:
12632b31808SJens Wiklander             src = &ctx->X;
12732b31808SJens Wiklander             break;
12832b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_GX:
12932b31808SJens Wiklander             src = &ctx->GX;
13032b31808SJens Wiklander             break;
13132b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_GY:
13232b31808SJens Wiklander             src = &ctx->GY;
13332b31808SJens Wiklander             break;
13432b31808SJens Wiklander         case MBEDTLS_DHM_PARAM_K:
13532b31808SJens Wiklander             src = &ctx->K;
13632b31808SJens Wiklander             break;
13732b31808SJens Wiklander         default:
13832b31808SJens Wiklander             return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
13932b31808SJens Wiklander     }
14032b31808SJens Wiklander     return mbedtls_mpi_copy(dest, src);
14132b31808SJens Wiklander }
14232b31808SJens Wiklander 
143817466cbSJens Wiklander /*
144817466cbSJens Wiklander  * Parse the ServerKeyExchange parameters
145817466cbSJens Wiklander  */
mbedtls_dhm_read_params(mbedtls_dhm_context * ctx,unsigned char ** p,const unsigned char * end)146817466cbSJens Wiklander int mbedtls_dhm_read_params(mbedtls_dhm_context *ctx,
147817466cbSJens Wiklander                             unsigned char **p,
148817466cbSJens Wiklander                             const unsigned char *end)
149817466cbSJens Wiklander {
15011fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
151817466cbSJens Wiklander 
152817466cbSJens Wiklander     if ((ret = dhm_read_bignum(&ctx->P,  p, end)) != 0 ||
153817466cbSJens Wiklander         (ret = dhm_read_bignum(&ctx->G,  p, end)) != 0 ||
15432b31808SJens Wiklander         (ret = dhm_read_bignum(&ctx->GY, p, end)) != 0) {
15532b31808SJens Wiklander         return ret;
15632b31808SJens Wiklander     }
157817466cbSJens Wiklander 
15832b31808SJens Wiklander     if ((ret = dhm_check_range(&ctx->GY, &ctx->P)) != 0) {
15932b31808SJens Wiklander         return ret;
16032b31808SJens Wiklander     }
161817466cbSJens Wiklander 
16232b31808SJens Wiklander     return 0;
163817466cbSJens Wiklander }
164817466cbSJens Wiklander 
165817466cbSJens Wiklander /*
1667901324dSJerome Forissier  * Pick a random R in the range [2, M-2] for blinding or key generation.
167817466cbSJens Wiklander  */
dhm_random_below(mbedtls_mpi * R,const mbedtls_mpi * M,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)1687901324dSJerome Forissier static int dhm_random_below(mbedtls_mpi *R, const mbedtls_mpi *M,
1697901324dSJerome Forissier                             int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
1707901324dSJerome Forissier {
1717901324dSJerome Forissier     int ret;
1727901324dSJerome Forissier 
1737901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_random(R, 3, M, f_rng, p_rng));
1747901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_sub_int(R, R, 1));
1757901324dSJerome Forissier 
1767901324dSJerome Forissier cleanup:
17732b31808SJens Wiklander     return ret;
1787901324dSJerome Forissier }
1797901324dSJerome Forissier 
dhm_make_common(mbedtls_dhm_context * ctx,int x_size,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)1807901324dSJerome Forissier static int dhm_make_common(mbedtls_dhm_context *ctx, int x_size,
181817466cbSJens Wiklander                            int (*f_rng)(void *, unsigned char *, size_t),
182817466cbSJens Wiklander                            void *p_rng)
183817466cbSJens Wiklander {
1847901324dSJerome Forissier     int ret = 0;
185817466cbSJens Wiklander 
18632b31808SJens Wiklander     if (mbedtls_mpi_cmp_int(&ctx->P, 0) == 0) {
18732b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
188817466cbSJens Wiklander     }
18932b31808SJens Wiklander     if (x_size < 0) {
19032b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
19132b31808SJens Wiklander     }
19232b31808SJens Wiklander 
19332b31808SJens Wiklander     if ((unsigned) x_size < mbedtls_mpi_size(&ctx->P)) {
19432b31808SJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_fill_random(&ctx->X, x_size, f_rng, p_rng));
19532b31808SJens Wiklander     } else {
1967901324dSJerome Forissier         /* Generate X as large as possible ( <= P - 2 ) */
1977901324dSJerome Forissier         ret = dhm_random_below(&ctx->X, &ctx->P, f_rng, p_rng);
19832b31808SJens Wiklander         if (ret == MBEDTLS_ERR_MPI_NOT_ACCEPTABLE) {
19932b31808SJens Wiklander             return MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED;
20032b31808SJens Wiklander         }
20132b31808SJens Wiklander         if (ret != 0) {
20232b31808SJens Wiklander             return ret;
20332b31808SJens Wiklander         }
2047901324dSJerome Forissier     }
205817466cbSJens Wiklander 
206817466cbSJens Wiklander     /*
207817466cbSJens Wiklander      * Calculate GX = G^X mod P
208817466cbSJens Wiklander      */
209817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_exp_mod(&ctx->GX, &ctx->G, &ctx->X,
210817466cbSJens Wiklander                                         &ctx->P, &ctx->RP));
211817466cbSJens Wiklander 
21232b31808SJens Wiklander     if ((ret = dhm_check_range(&ctx->GX, &ctx->P)) != 0) {
21332b31808SJens Wiklander         return ret;
21432b31808SJens Wiklander     }
215817466cbSJens Wiklander 
2167901324dSJerome Forissier cleanup:
21732b31808SJens Wiklander     return ret;
2187901324dSJerome Forissier }
2197901324dSJerome Forissier 
220817466cbSJens Wiklander /*
2217901324dSJerome Forissier  * Setup and write the ServerKeyExchange parameters
2227901324dSJerome Forissier  */
mbedtls_dhm_make_params(mbedtls_dhm_context * ctx,int x_size,unsigned char * output,size_t * olen,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)2237901324dSJerome Forissier int mbedtls_dhm_make_params(mbedtls_dhm_context *ctx, int x_size,
2247901324dSJerome Forissier                             unsigned char *output, size_t *olen,
2257901324dSJerome Forissier                             int (*f_rng)(void *, unsigned char *, size_t),
2267901324dSJerome Forissier                             void *p_rng)
2277901324dSJerome Forissier {
2287901324dSJerome Forissier     int ret;
2297901324dSJerome Forissier     size_t n1, n2, n3;
2307901324dSJerome Forissier     unsigned char *p;
2317901324dSJerome Forissier 
2327901324dSJerome Forissier     ret = dhm_make_common(ctx, x_size, f_rng, p_rng);
23332b31808SJens Wiklander     if (ret != 0) {
2347901324dSJerome Forissier         goto cleanup;
23532b31808SJens Wiklander     }
2367901324dSJerome Forissier 
2377901324dSJerome Forissier     /*
2387901324dSJerome Forissier      * Export P, G, GX. RFC 5246 §4.4 states that "leading zero octets are
2397901324dSJerome Forissier      * not required". We omit leading zeros for compactness.
240817466cbSJens Wiklander      */
241817466cbSJens Wiklander #define DHM_MPI_EXPORT(X, n)                                          \
2423d3b0591SJens Wiklander     do {                                                                \
2433d3b0591SJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_write_binary((X),               \
2443d3b0591SJens Wiklander                                                  p + 2,               \
2453d3b0591SJens Wiklander                                                  (n)));           \
246039e02dfSJerome Forissier         *p++ = MBEDTLS_BYTE_1(n);                                     \
247039e02dfSJerome Forissier         *p++ = MBEDTLS_BYTE_0(n);                                     \
2483d3b0591SJens Wiklander         p += (n);                                                     \
2493d3b0591SJens Wiklander     } while (0)
250817466cbSJens Wiklander 
251817466cbSJens Wiklander     n1 = mbedtls_mpi_size(&ctx->P);
252817466cbSJens Wiklander     n2 = mbedtls_mpi_size(&ctx->G);
253817466cbSJens Wiklander     n3 = mbedtls_mpi_size(&ctx->GX);
254817466cbSJens Wiklander 
255817466cbSJens Wiklander     p = output;
256817466cbSJens Wiklander     DHM_MPI_EXPORT(&ctx->P, n1);
257817466cbSJens Wiklander     DHM_MPI_EXPORT(&ctx->G, n2);
258817466cbSJens Wiklander     DHM_MPI_EXPORT(&ctx->GX, n3);
259817466cbSJens Wiklander 
260*b0563631STom Van Eyck     *olen = (size_t) (p - output);
261817466cbSJens Wiklander 
262817466cbSJens Wiklander cleanup:
26332b31808SJens Wiklander     if (ret != 0 && ret > -128) {
2647901324dSJerome Forissier         ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED, ret);
26532b31808SJens Wiklander     }
26632b31808SJens Wiklander     return ret;
267817466cbSJens Wiklander }
268817466cbSJens Wiklander 
269817466cbSJens Wiklander /*
2703d3b0591SJens Wiklander  * Set prime modulus and generator
2713d3b0591SJens Wiklander  */
mbedtls_dhm_set_group(mbedtls_dhm_context * ctx,const mbedtls_mpi * P,const mbedtls_mpi * G)2723d3b0591SJens Wiklander int mbedtls_dhm_set_group(mbedtls_dhm_context *ctx,
2733d3b0591SJens Wiklander                           const mbedtls_mpi *P,
2743d3b0591SJens Wiklander                           const mbedtls_mpi *G)
2753d3b0591SJens Wiklander {
27611fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2773d3b0591SJens Wiklander 
2783d3b0591SJens Wiklander     if ((ret = mbedtls_mpi_copy(&ctx->P, P)) != 0 ||
27932b31808SJens Wiklander         (ret = mbedtls_mpi_copy(&ctx->G, G)) != 0) {
28032b31808SJens Wiklander         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_SET_GROUP_FAILED, ret);
2813d3b0591SJens Wiklander     }
2823d3b0591SJens Wiklander 
28332b31808SJens Wiklander     return 0;
2843d3b0591SJens Wiklander }
2853d3b0591SJens Wiklander 
2863d3b0591SJens Wiklander /*
287817466cbSJens Wiklander  * Import the peer's public value G^Y
288817466cbSJens Wiklander  */
mbedtls_dhm_read_public(mbedtls_dhm_context * ctx,const unsigned char * input,size_t ilen)289817466cbSJens Wiklander int mbedtls_dhm_read_public(mbedtls_dhm_context *ctx,
290817466cbSJens Wiklander                             const unsigned char *input, size_t ilen)
291817466cbSJens Wiklander {
29211fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
293817466cbSJens Wiklander 
29432b31808SJens Wiklander     if (ilen < 1 || ilen > mbedtls_dhm_get_len(ctx)) {
29532b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
29632b31808SJens Wiklander     }
297817466cbSJens Wiklander 
29832b31808SJens Wiklander     if ((ret = mbedtls_mpi_read_binary(&ctx->GY, input, ilen)) != 0) {
29932b31808SJens Wiklander         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_READ_PUBLIC_FAILED, ret);
30032b31808SJens Wiklander     }
301817466cbSJens Wiklander 
30232b31808SJens Wiklander     return 0;
303817466cbSJens Wiklander }
304817466cbSJens Wiklander 
305817466cbSJens Wiklander /*
306817466cbSJens Wiklander  * Create own private value X and export G^X
307817466cbSJens Wiklander  */
mbedtls_dhm_make_public(mbedtls_dhm_context * ctx,int x_size,unsigned char * output,size_t olen,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)308817466cbSJens Wiklander int mbedtls_dhm_make_public(mbedtls_dhm_context *ctx, int x_size,
309817466cbSJens Wiklander                             unsigned char *output, size_t olen,
310817466cbSJens Wiklander                             int (*f_rng)(void *, unsigned char *, size_t),
311817466cbSJens Wiklander                             void *p_rng)
312817466cbSJens Wiklander {
3137901324dSJerome Forissier     int ret;
314817466cbSJens Wiklander 
31532b31808SJens Wiklander     if (olen < 1 || olen > mbedtls_dhm_get_len(ctx)) {
31632b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
31732b31808SJens Wiklander     }
318817466cbSJens Wiklander 
3197901324dSJerome Forissier     ret = dhm_make_common(ctx, x_size, f_rng, p_rng);
32032b31808SJens Wiklander     if (ret == MBEDTLS_ERR_DHM_MAKE_PARAMS_FAILED) {
32132b31808SJens Wiklander         return MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED;
32232b31808SJens Wiklander     }
32332b31808SJens Wiklander     if (ret != 0) {
3247901324dSJerome Forissier         goto cleanup;
32532b31808SJens Wiklander     }
326817466cbSJens Wiklander 
327817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_write_binary(&ctx->GX, output, olen));
328817466cbSJens Wiklander 
329817466cbSJens Wiklander cleanup:
33032b31808SJens Wiklander     if (ret != 0 && ret > -128) {
3317901324dSJerome Forissier         ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_MAKE_PUBLIC_FAILED, ret);
33232b31808SJens Wiklander     }
33332b31808SJens Wiklander     return ret;
334817466cbSJens Wiklander }
335817466cbSJens Wiklander 
3367901324dSJerome Forissier 
337817466cbSJens Wiklander /*
338817466cbSJens Wiklander  * Use the blinding method and optimisation suggested in section 10 of:
339817466cbSJens Wiklander  *  KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
340817466cbSJens Wiklander  *  DSS, and other systems. In : Advances in Cryptology-CRYPTO'96. Springer
341817466cbSJens Wiklander  *  Berlin Heidelberg, 1996. p. 104-113.
342817466cbSJens Wiklander  */
dhm_update_blinding(mbedtls_dhm_context * ctx,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)343817466cbSJens Wiklander static int dhm_update_blinding(mbedtls_dhm_context *ctx,
344817466cbSJens Wiklander                                int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
345817466cbSJens Wiklander {
3467901324dSJerome Forissier     int ret;
3477901324dSJerome Forissier     mbedtls_mpi R;
3487901324dSJerome Forissier 
3497901324dSJerome Forissier     mbedtls_mpi_init(&R);
350817466cbSJens Wiklander 
351817466cbSJens Wiklander     /*
352817466cbSJens Wiklander      * Don't use any blinding the first time a particular X is used,
353817466cbSJens Wiklander      * but remember it to use blinding next time.
354817466cbSJens Wiklander      */
35532b31808SJens Wiklander     if (mbedtls_mpi_cmp_mpi(&ctx->X, &ctx->pX) != 0) {
356817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_copy(&ctx->pX, &ctx->X));
357817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_lset(&ctx->Vi, 1));
358817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_lset(&ctx->Vf, 1));
359817466cbSJens Wiklander 
36032b31808SJens Wiklander         return 0;
361817466cbSJens Wiklander     }
362817466cbSJens Wiklander 
363817466cbSJens Wiklander     /*
364817466cbSJens Wiklander      * Ok, we need blinding. Can we re-use existing values?
365817466cbSJens Wiklander      * If yes, just update them by squaring them.
366817466cbSJens Wiklander      */
36732b31808SJens Wiklander     if (mbedtls_mpi_cmp_int(&ctx->Vi, 1) != 0) {
368817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&ctx->Vi, &ctx->Vi, &ctx->Vi));
369817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&ctx->Vi, &ctx->Vi, &ctx->P));
370817466cbSJens Wiklander 
371817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&ctx->Vf, &ctx->Vf, &ctx->Vf));
372817466cbSJens Wiklander         MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&ctx->Vf, &ctx->Vf, &ctx->P));
373817466cbSJens Wiklander 
37432b31808SJens Wiklander         return 0;
375817466cbSJens Wiklander     }
376817466cbSJens Wiklander 
377817466cbSJens Wiklander     /*
378817466cbSJens Wiklander      * We need to generate blinding values from scratch
379817466cbSJens Wiklander      */
380817466cbSJens Wiklander 
3817901324dSJerome Forissier     /* Vi = random( 2, P-2 ) */
3827901324dSJerome Forissier     MBEDTLS_MPI_CHK(dhm_random_below(&ctx->Vi, &ctx->P, f_rng, p_rng));
383817466cbSJens Wiklander 
3847901324dSJerome Forissier     /* Vf = Vi^-X mod P
3857901324dSJerome Forissier      * First compute Vi^-1 = R * (R Vi)^-1, (avoiding leaks from inv_mod),
3867901324dSJerome Forissier      * then elevate to the Xth power. */
3877901324dSJerome Forissier     MBEDTLS_MPI_CHK(dhm_random_below(&R, &ctx->P, f_rng, p_rng));
3887901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&ctx->Vf, &ctx->Vi, &R));
3897901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&ctx->Vf, &ctx->Vf, &ctx->P));
3907901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_inv_mod(&ctx->Vf, &ctx->Vf, &ctx->P));
3917901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&ctx->Vf, &ctx->Vf, &R));
3927901324dSJerome Forissier     MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&ctx->Vf, &ctx->Vf, &ctx->P));
393817466cbSJens Wiklander 
394817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_exp_mod(&ctx->Vf, &ctx->Vf, &ctx->X, &ctx->P, &ctx->RP));
395817466cbSJens Wiklander 
396817466cbSJens Wiklander cleanup:
3977901324dSJerome Forissier     mbedtls_mpi_free(&R);
3987901324dSJerome Forissier 
39932b31808SJens Wiklander     return ret;
400817466cbSJens Wiklander }
401817466cbSJens Wiklander 
402817466cbSJens Wiklander /*
403817466cbSJens Wiklander  * Derive and export the shared secret (G^Y)^X mod P
404817466cbSJens Wiklander  */
mbedtls_dhm_calc_secret(mbedtls_dhm_context * ctx,unsigned char * output,size_t output_size,size_t * olen,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)405817466cbSJens Wiklander int mbedtls_dhm_calc_secret(mbedtls_dhm_context *ctx,
406817466cbSJens Wiklander                             unsigned char *output, size_t output_size, size_t *olen,
407817466cbSJens Wiklander                             int (*f_rng)(void *, unsigned char *, size_t),
408817466cbSJens Wiklander                             void *p_rng)
409817466cbSJens Wiklander {
41011fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
411817466cbSJens Wiklander     mbedtls_mpi GYb;
412817466cbSJens Wiklander 
41332b31808SJens Wiklander     if (f_rng == NULL) {
41432b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
41532b31808SJens Wiklander     }
416817466cbSJens Wiklander 
41732b31808SJens Wiklander     if (output_size < mbedtls_dhm_get_len(ctx)) {
41832b31808SJens Wiklander         return MBEDTLS_ERR_DHM_BAD_INPUT_DATA;
41932b31808SJens Wiklander     }
42032b31808SJens Wiklander 
42132b31808SJens Wiklander     if ((ret = dhm_check_range(&ctx->GY, &ctx->P)) != 0) {
42232b31808SJens Wiklander         return ret;
42332b31808SJens Wiklander     }
424817466cbSJens Wiklander 
425817466cbSJens Wiklander     mbedtls_mpi_init(&GYb);
426817466cbSJens Wiklander 
427817466cbSJens Wiklander     /* Blind peer's value */
428817466cbSJens Wiklander     MBEDTLS_MPI_CHK(dhm_update_blinding(ctx, f_rng, p_rng));
429817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&GYb, &ctx->GY, &ctx->Vi));
430817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&GYb, &GYb, &ctx->P));
431817466cbSJens Wiklander 
432817466cbSJens Wiklander     /* Do modular exponentiation */
433817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_exp_mod(&ctx->K, &GYb, &ctx->X,
434817466cbSJens Wiklander                                         &ctx->P, &ctx->RP));
435817466cbSJens Wiklander 
436817466cbSJens Wiklander     /* Unblind secret value */
437817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_mul_mpi(&ctx->K, &ctx->K, &ctx->Vf));
438817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_mod_mpi(&ctx->K, &ctx->K, &ctx->P));
439817466cbSJens Wiklander 
4407901324dSJerome Forissier     /* Output the secret without any leading zero byte. This is mandatory
4417901324dSJerome Forissier      * for TLS per RFC 5246 §8.1.2. */
442817466cbSJens Wiklander     *olen = mbedtls_mpi_size(&ctx->K);
443817466cbSJens Wiklander     MBEDTLS_MPI_CHK(mbedtls_mpi_write_binary(&ctx->K, output, *olen));
444817466cbSJens Wiklander 
445817466cbSJens Wiklander cleanup:
446817466cbSJens Wiklander     mbedtls_mpi_free(&GYb);
447817466cbSJens Wiklander 
44832b31808SJens Wiklander     if (ret != 0) {
44932b31808SJens Wiklander         return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_CALC_SECRET_FAILED, ret);
45032b31808SJens Wiklander     }
451817466cbSJens Wiklander 
45232b31808SJens Wiklander     return 0;
453817466cbSJens Wiklander }
454817466cbSJens Wiklander 
455817466cbSJens Wiklander /*
456817466cbSJens Wiklander  * Free the components of a DHM key
457817466cbSJens Wiklander  */
mbedtls_dhm_free(mbedtls_dhm_context * ctx)458817466cbSJens Wiklander void mbedtls_dhm_free(mbedtls_dhm_context *ctx)
459817466cbSJens Wiklander {
46032b31808SJens Wiklander     if (ctx == NULL) {
4613d3b0591SJens Wiklander         return;
46232b31808SJens Wiklander     }
4633d3b0591SJens Wiklander 
4643d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->pX);
4653d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->Vf);
4663d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->Vi);
4673d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->RP);
4683d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->K);
4693d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->GY);
4703d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->GX);
4713d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->X);
4723d3b0591SJens Wiklander     mbedtls_mpi_free(&ctx->G);
473817466cbSJens Wiklander     mbedtls_mpi_free(&ctx->P);
474817466cbSJens Wiklander 
4753d3b0591SJens Wiklander     mbedtls_platform_zeroize(ctx, sizeof(mbedtls_dhm_context));
476817466cbSJens Wiklander }
477817466cbSJens Wiklander 
478817466cbSJens Wiklander #if defined(MBEDTLS_ASN1_PARSE_C)
479817466cbSJens Wiklander /*
480817466cbSJens Wiklander  * Parse DHM parameters
481817466cbSJens Wiklander  */
mbedtls_dhm_parse_dhm(mbedtls_dhm_context * dhm,const unsigned char * dhmin,size_t dhminlen)482817466cbSJens Wiklander int mbedtls_dhm_parse_dhm(mbedtls_dhm_context *dhm, const unsigned char *dhmin,
483817466cbSJens Wiklander                           size_t dhminlen)
484817466cbSJens Wiklander {
48511fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
486817466cbSJens Wiklander     size_t len;
487817466cbSJens Wiklander     unsigned char *p, *end;
488817466cbSJens Wiklander #if defined(MBEDTLS_PEM_PARSE_C)
489817466cbSJens Wiklander     mbedtls_pem_context pem;
4903d3b0591SJens Wiklander #endif /* MBEDTLS_PEM_PARSE_C */
491817466cbSJens Wiklander 
4923d3b0591SJens Wiklander #if defined(MBEDTLS_PEM_PARSE_C)
493817466cbSJens Wiklander     mbedtls_pem_init(&pem);
494817466cbSJens Wiklander 
495817466cbSJens Wiklander     /* Avoid calling mbedtls_pem_read_buffer() on non-null-terminated string */
49632b31808SJens Wiklander     if (dhminlen == 0 || dhmin[dhminlen - 1] != '\0') {
497817466cbSJens Wiklander         ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
49832b31808SJens Wiklander     } else {
499817466cbSJens Wiklander         ret = mbedtls_pem_read_buffer(&pem,
500817466cbSJens Wiklander                                       "-----BEGIN DH PARAMETERS-----",
501817466cbSJens Wiklander                                       "-----END DH PARAMETERS-----",
502817466cbSJens Wiklander                                       dhmin, NULL, 0, &dhminlen);
50332b31808SJens Wiklander     }
504817466cbSJens Wiklander 
50532b31808SJens Wiklander     if (ret == 0) {
506817466cbSJens Wiklander         /*
507817466cbSJens Wiklander          * Was PEM encoded
508817466cbSJens Wiklander          */
509817466cbSJens Wiklander         dhminlen = pem.buflen;
51032b31808SJens Wiklander     } else if (ret != MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT) {
511817466cbSJens Wiklander         goto exit;
51232b31808SJens Wiklander     }
513817466cbSJens Wiklander 
514817466cbSJens Wiklander     p = (ret == 0) ? pem.buf : (unsigned char *) dhmin;
515817466cbSJens Wiklander #else
516817466cbSJens Wiklander     p = (unsigned char *) dhmin;
517817466cbSJens Wiklander #endif /* MBEDTLS_PEM_PARSE_C */
518817466cbSJens Wiklander     end = p + dhminlen;
519817466cbSJens Wiklander 
520817466cbSJens Wiklander     /*
521817466cbSJens Wiklander      *  DHParams ::= SEQUENCE {
522817466cbSJens Wiklander      *      prime              INTEGER,  -- P
523817466cbSJens Wiklander      *      generator          INTEGER,  -- g
524817466cbSJens Wiklander      *      privateValueLength INTEGER OPTIONAL
525817466cbSJens Wiklander      *  }
526817466cbSJens Wiklander      */
527817466cbSJens Wiklander     if ((ret = mbedtls_asn1_get_tag(&p, end, &len,
52832b31808SJens Wiklander                                     MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0) {
5297901324dSJerome Forissier         ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_INVALID_FORMAT, ret);
530817466cbSJens Wiklander         goto exit;
531817466cbSJens Wiklander     }
532817466cbSJens Wiklander 
533817466cbSJens Wiklander     end = p + len;
534817466cbSJens Wiklander 
535817466cbSJens Wiklander     if ((ret = mbedtls_asn1_get_mpi(&p, end, &dhm->P)) != 0 ||
53632b31808SJens Wiklander         (ret = mbedtls_asn1_get_mpi(&p, end, &dhm->G)) != 0) {
5377901324dSJerome Forissier         ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_INVALID_FORMAT, ret);
538817466cbSJens Wiklander         goto exit;
539817466cbSJens Wiklander     }
540817466cbSJens Wiklander 
54132b31808SJens Wiklander     if (p != end) {
542817466cbSJens Wiklander         /* This might be the optional privateValueLength.
543817466cbSJens Wiklander          * If so, we can cleanly discard it */
544817466cbSJens Wiklander         mbedtls_mpi rec;
545817466cbSJens Wiklander         mbedtls_mpi_init(&rec);
546817466cbSJens Wiklander         ret = mbedtls_asn1_get_mpi(&p, end, &rec);
547817466cbSJens Wiklander         mbedtls_mpi_free(&rec);
54832b31808SJens Wiklander         if (ret != 0) {
5497901324dSJerome Forissier             ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_INVALID_FORMAT, ret);
550817466cbSJens Wiklander             goto exit;
551817466cbSJens Wiklander         }
55232b31808SJens Wiklander         if (p != end) {
5537901324dSJerome Forissier             ret = MBEDTLS_ERROR_ADD(MBEDTLS_ERR_DHM_INVALID_FORMAT,
5547901324dSJerome Forissier                                     MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
555817466cbSJens Wiklander             goto exit;
556817466cbSJens Wiklander         }
557817466cbSJens Wiklander     }
558817466cbSJens Wiklander 
559817466cbSJens Wiklander     ret = 0;
560817466cbSJens Wiklander 
561817466cbSJens Wiklander exit:
562817466cbSJens Wiklander #if defined(MBEDTLS_PEM_PARSE_C)
563817466cbSJens Wiklander     mbedtls_pem_free(&pem);
564817466cbSJens Wiklander #endif
56532b31808SJens Wiklander     if (ret != 0) {
566817466cbSJens Wiklander         mbedtls_dhm_free(dhm);
56732b31808SJens Wiklander     }
568817466cbSJens Wiklander 
56932b31808SJens Wiklander     return ret;
570817466cbSJens Wiklander }
571817466cbSJens Wiklander 
572817466cbSJens Wiklander #if defined(MBEDTLS_FS_IO)
573817466cbSJens Wiklander /*
574817466cbSJens Wiklander  * Load all data from a file into a given buffer.
575817466cbSJens Wiklander  *
576817466cbSJens Wiklander  * The file is expected to contain either PEM or DER encoded data.
577817466cbSJens Wiklander  * A terminating null byte is always appended. It is included in the announced
578817466cbSJens Wiklander  * length only if the data looks like it is PEM encoded.
579817466cbSJens Wiklander  */
load_file(const char * path,unsigned char ** buf,size_t * n)580817466cbSJens Wiklander static int load_file(const char *path, unsigned char **buf, size_t *n)
581817466cbSJens Wiklander {
582817466cbSJens Wiklander     FILE *f;
583817466cbSJens Wiklander     long size;
584817466cbSJens Wiklander 
58532b31808SJens Wiklander     if ((f = fopen(path, "rb")) == NULL) {
58632b31808SJens Wiklander         return MBEDTLS_ERR_DHM_FILE_IO_ERROR;
58732b31808SJens Wiklander     }
58832b31808SJens Wiklander     /* The data loaded here is public, so don't bother disabling buffering. */
589817466cbSJens Wiklander 
590817466cbSJens Wiklander     fseek(f, 0, SEEK_END);
59132b31808SJens Wiklander     if ((size = ftell(f)) == -1) {
592817466cbSJens Wiklander         fclose(f);
59332b31808SJens Wiklander         return MBEDTLS_ERR_DHM_FILE_IO_ERROR;
594817466cbSJens Wiklander     }
595817466cbSJens Wiklander     fseek(f, 0, SEEK_SET);
596817466cbSJens Wiklander 
597817466cbSJens Wiklander     *n = (size_t) size;
598817466cbSJens Wiklander 
599817466cbSJens Wiklander     if (*n + 1 == 0 ||
60032b31808SJens Wiklander         (*buf = mbedtls_calloc(1, *n + 1)) == NULL) {
601817466cbSJens Wiklander         fclose(f);
60232b31808SJens Wiklander         return MBEDTLS_ERR_DHM_ALLOC_FAILED;
603817466cbSJens Wiklander     }
604817466cbSJens Wiklander 
60532b31808SJens Wiklander     if (fread(*buf, 1, *n, f) != *n) {
606817466cbSJens Wiklander         fclose(f);
6073d3b0591SJens Wiklander 
608*b0563631STom Van Eyck         mbedtls_zeroize_and_free(*buf, *n + 1);
6093d3b0591SJens Wiklander 
61032b31808SJens Wiklander         return MBEDTLS_ERR_DHM_FILE_IO_ERROR;
611817466cbSJens Wiklander     }
612817466cbSJens Wiklander 
613817466cbSJens Wiklander     fclose(f);
614817466cbSJens Wiklander 
615817466cbSJens Wiklander     (*buf)[*n] = '\0';
616817466cbSJens Wiklander 
61732b31808SJens Wiklander     if (strstr((const char *) *buf, "-----BEGIN ") != NULL) {
618817466cbSJens Wiklander         ++*n;
61932b31808SJens Wiklander     }
620817466cbSJens Wiklander 
62132b31808SJens Wiklander     return 0;
622817466cbSJens Wiklander }
623817466cbSJens Wiklander 
624817466cbSJens Wiklander /*
625817466cbSJens Wiklander  * Load and parse DHM parameters
626817466cbSJens Wiklander  */
mbedtls_dhm_parse_dhmfile(mbedtls_dhm_context * dhm,const char * path)627817466cbSJens Wiklander int mbedtls_dhm_parse_dhmfile(mbedtls_dhm_context *dhm, const char *path)
628817466cbSJens Wiklander {
62911fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
630817466cbSJens Wiklander     size_t n;
631817466cbSJens Wiklander     unsigned char *buf;
632817466cbSJens Wiklander 
63332b31808SJens Wiklander     if ((ret = load_file(path, &buf, &n)) != 0) {
63432b31808SJens Wiklander         return ret;
63532b31808SJens Wiklander     }
636817466cbSJens Wiklander 
637817466cbSJens Wiklander     ret = mbedtls_dhm_parse_dhm(dhm, buf, n);
638817466cbSJens Wiklander 
639*b0563631STom Van Eyck     mbedtls_zeroize_and_free(buf, n);
640817466cbSJens Wiklander 
64132b31808SJens Wiklander     return ret;
642817466cbSJens Wiklander }
643817466cbSJens Wiklander #endif /* MBEDTLS_FS_IO */
644817466cbSJens Wiklander #endif /* MBEDTLS_ASN1_PARSE_C */
6453d3b0591SJens Wiklander #endif /* MBEDTLS_DHM_ALT */
646817466cbSJens Wiklander 
647817466cbSJens Wiklander #if defined(MBEDTLS_SELF_TEST)
648817466cbSJens Wiklander 
6495b25c76aSJerome Forissier #if defined(MBEDTLS_PEM_PARSE_C)
650817466cbSJens Wiklander static const char mbedtls_test_dhm_params[] =
651817466cbSJens Wiklander     "-----BEGIN DH PARAMETERS-----\r\n"
652817466cbSJens Wiklander     "MIGHAoGBAJ419DBEOgmQTzo5qXl5fQcN9TN455wkOL7052HzxxRVMyhYmwQcgJvh\r\n"
653817466cbSJens Wiklander     "1sa18fyfR9OiVEMYglOpkqVoGLN7qd5aQNNi5W7/C+VBdHTBJcGZJyyP5B3qcz32\r\n"
654817466cbSJens Wiklander     "9mLJKudlVudV0Qxk5qUJaPZ/xupz0NyoVpviuiBOI1gNi8ovSXWzAgEC\r\n"
655817466cbSJens Wiklander     "-----END DH PARAMETERS-----\r\n";
6565b25c76aSJerome Forissier #else /* MBEDTLS_PEM_PARSE_C */
6575b25c76aSJerome Forissier static const char mbedtls_test_dhm_params[] = {
6585b25c76aSJerome Forissier     0x30, 0x81, 0x87, 0x02, 0x81, 0x81, 0x00, 0x9e, 0x35, 0xf4, 0x30, 0x44,
6595b25c76aSJerome Forissier     0x3a, 0x09, 0x90, 0x4f, 0x3a, 0x39, 0xa9, 0x79, 0x79, 0x7d, 0x07, 0x0d,
6605b25c76aSJerome Forissier     0xf5, 0x33, 0x78, 0xe7, 0x9c, 0x24, 0x38, 0xbe, 0xf4, 0xe7, 0x61, 0xf3,
6615b25c76aSJerome Forissier     0xc7, 0x14, 0x55, 0x33, 0x28, 0x58, 0x9b, 0x04, 0x1c, 0x80, 0x9b, 0xe1,
6625b25c76aSJerome Forissier     0xd6, 0xc6, 0xb5, 0xf1, 0xfc, 0x9f, 0x47, 0xd3, 0xa2, 0x54, 0x43, 0x18,
6635b25c76aSJerome Forissier     0x82, 0x53, 0xa9, 0x92, 0xa5, 0x68, 0x18, 0xb3, 0x7b, 0xa9, 0xde, 0x5a,
6645b25c76aSJerome Forissier     0x40, 0xd3, 0x62, 0xe5, 0x6e, 0xff, 0x0b, 0xe5, 0x41, 0x74, 0x74, 0xc1,
6655b25c76aSJerome Forissier     0x25, 0xc1, 0x99, 0x27, 0x2c, 0x8f, 0xe4, 0x1d, 0xea, 0x73, 0x3d, 0xf6,
6665b25c76aSJerome Forissier     0xf6, 0x62, 0xc9, 0x2a, 0xe7, 0x65, 0x56, 0xe7, 0x55, 0xd1, 0x0c, 0x64,
6675b25c76aSJerome Forissier     0xe6, 0xa5, 0x09, 0x68, 0xf6, 0x7f, 0xc6, 0xea, 0x73, 0xd0, 0xdc, 0xa8,
6685b25c76aSJerome Forissier     0x56, 0x9b, 0xe2, 0xba, 0x20, 0x4e, 0x23, 0x58, 0x0d, 0x8b, 0xca, 0x2f,
66932b31808SJens Wiklander     0x49, 0x75, 0xb3, 0x02, 0x01, 0x02
67032b31808SJens Wiklander };
6715b25c76aSJerome Forissier #endif /* MBEDTLS_PEM_PARSE_C */
672817466cbSJens Wiklander 
673817466cbSJens Wiklander static const size_t mbedtls_test_dhm_params_len = sizeof(mbedtls_test_dhm_params);
674817466cbSJens Wiklander 
675817466cbSJens Wiklander /*
676817466cbSJens Wiklander  * Checkup routine
677817466cbSJens Wiklander  */
mbedtls_dhm_self_test(int verbose)678817466cbSJens Wiklander int mbedtls_dhm_self_test(int verbose)
679817466cbSJens Wiklander {
68011fa71b9SJerome Forissier     int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
681817466cbSJens Wiklander     mbedtls_dhm_context dhm;
682817466cbSJens Wiklander 
683817466cbSJens Wiklander     mbedtls_dhm_init(&dhm);
684817466cbSJens Wiklander 
68532b31808SJens Wiklander     if (verbose != 0) {
686817466cbSJens Wiklander         mbedtls_printf("  DHM parameter load: ");
68732b31808SJens Wiklander     }
688817466cbSJens Wiklander 
689817466cbSJens Wiklander     if ((ret = mbedtls_dhm_parse_dhm(&dhm,
690817466cbSJens Wiklander                                      (const unsigned char *) mbedtls_test_dhm_params,
69132b31808SJens Wiklander                                      mbedtls_test_dhm_params_len)) != 0) {
69232b31808SJens Wiklander         if (verbose != 0) {
693817466cbSJens Wiklander             mbedtls_printf("failed\n");
69432b31808SJens Wiklander         }
695817466cbSJens Wiklander 
696817466cbSJens Wiklander         ret = 1;
697817466cbSJens Wiklander         goto exit;
698817466cbSJens Wiklander     }
699817466cbSJens Wiklander 
70032b31808SJens Wiklander     if (verbose != 0) {
701817466cbSJens Wiklander         mbedtls_printf("passed\n\n");
70232b31808SJens Wiklander     }
703817466cbSJens Wiklander 
704817466cbSJens Wiklander exit:
705817466cbSJens Wiklander     mbedtls_dhm_free(&dhm);
706817466cbSJens Wiklander 
70732b31808SJens Wiklander     return ret;
708817466cbSJens Wiklander }
709817466cbSJens Wiklander 
710817466cbSJens Wiklander #endif /* MBEDTLS_SELF_TEST */
711817466cbSJens Wiklander 
712817466cbSJens Wiklander #endif /* MBEDTLS_DHM_C */
713