Coverage Report

Created: 2023-02-22 06:14

/src/nettle-with-mini-gmp/umac64.c
Line
Count
Source
1
/* umac64.c
2
3
   Copyright (C) 2013 Niels Möller
4
5
   This file is part of GNU Nettle.
6
7
   GNU Nettle is free software: you can redistribute it and/or
8
   modify it under the terms of either:
9
10
     * the GNU Lesser General Public License as published by the Free
11
       Software Foundation; either version 3 of the License, or (at your
12
       option) any later version.
13
14
   or
15
16
     * the GNU General Public License as published by the Free
17
       Software Foundation; either version 2 of the License, or (at your
18
       option) any later version.
19
20
   or both in parallel, as here.
21
22
   GNU Nettle is distributed in the hope that it will be useful,
23
   but WITHOUT ANY WARRANTY; without even the implied warranty of
24
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
25
   General Public License for more details.
26
27
   You should have received copies of the GNU General Public License and
28
   the GNU Lesser General Public License along with this program.  If
29
   not, see http://www.gnu.org/licenses/.
30
*/
31
32
#if HAVE_CONFIG_H
33
# include "config.h"
34
#endif
35
36
#include <assert.h>
37
#include <string.h>
38
39
#include "umac.h"
40
#include "umac-internal.h"
41
42
#include "macros.h"
43
44
void
45
umac64_set_key (struct umac64_ctx *ctx, const uint8_t *key)
46
385
{
47
385
  _nettle_umac_set_key (ctx->l1_key, ctx->l2_key, ctx->l3_key1, ctx->l3_key2,
48
385
      &ctx->pdf_key, key, 2);
49
50
  /* Clear nonce */
51
385
  memset (ctx->nonce, 0, sizeof(ctx->nonce));
52
385
  ctx->nonce_low = 0;
53
385
  ctx->nonce_length = sizeof(ctx->nonce);
54
55
  /* Initialize buffer */
56
385
  ctx->count = ctx->index = 0;
57
385
}
58
59
void
60
umac64_set_nonce (struct umac64_ctx *ctx,
61
      size_t nonce_length, const uint8_t *nonce)
62
385
{
63
385
  assert (nonce_length > 0);
64
385
  assert (nonce_length <= AES_BLOCK_SIZE);
65
66
385
  memcpy (ctx->nonce, nonce, nonce_length);
67
385
  memset (ctx->nonce + nonce_length, 0, AES_BLOCK_SIZE - nonce_length);
68
69
385
  ctx->nonce_low = ctx->nonce[nonce_length - 1] & 1;
70
385
  ctx->nonce[nonce_length - 1] &= ~1;
71
385
  ctx->nonce_length = nonce_length;
72
385
}
73
74
350
#define UMAC64_BLOCK(ctx, block) do {         \
75
350
    uint64_t __umac64_y[2];           \
76
350
    _nettle_umac_nh_n (__umac64_y, 2, ctx->l1_key, UMAC_BLOCK_SIZE, block); \
77
350
    __umac64_y[0] += 8*UMAC_BLOCK_SIZE;         \
78
350
    __umac64_y[1] += 8*UMAC_BLOCK_SIZE;         \
79
350
    _nettle_umac_l2 (ctx->l2_key, ctx->l2_state, 2, ctx->count++, __umac64_y); \
80
350
  } while (0)
81
82
void
83
umac64_update (struct umac64_ctx *ctx,
84
         size_t length, const uint8_t *data)
85
16.3k
{
86
16.3k
  MD_UPDATE (ctx, length, data, UMAC64_BLOCK, (void)0);
87
16.3k
}
88
89
90
void
91
umac64_digest (struct umac64_ctx *ctx,
92
         size_t length, uint8_t *digest)
93
385
{
94
385
  uint32_t tag[2];
95
385
  uint32_t *pad;
96
97
385
  assert (length > 0);
98
385
  assert (length <= 8);
99
100
385
  if (ctx->index > 0 || ctx->count == 0)
101
385
    {
102
      /* Zero pad to multiple of 32 */
103
385
      uint64_t y[2];
104
385
      unsigned pad = (ctx->index > 0) ? 31 & - ctx->index : 32;
105
385
      memset (ctx->block + ctx->index, 0, pad);
106
107
385
      _nettle_umac_nh_n (y, 2, ctx->l1_key, ctx->index + pad, ctx->block);
108
385
      y[0] += 8 * ctx->index;
109
385
      y[1] += 8 * ctx->index;
110
385
      _nettle_umac_l2 (ctx->l2_key, ctx->l2_state, 2, ctx->count++, y);
111
385
    }
112
385
  assert (ctx->count > 0);
113
385
  if ( !(ctx->nonce_low & _UMAC_NONCE_CACHED))
114
385
    {
115
385
      aes128_encrypt (&ctx->pdf_key, AES_BLOCK_SIZE,
116
385
          (uint8_t *) ctx->pad_cache, ctx->nonce);
117
385
      ctx->nonce_low |= _UMAC_NONCE_CACHED;
118
385
    }
119
385
  pad = ctx->pad_cache + 2*(ctx->nonce_low & 1);
120
121
  /* Increment nonce */
122
385
  ctx->nonce_low++;
123
385
  if ( !(ctx->nonce_low & 1))
124
320
    {
125
320
      unsigned i = ctx->nonce_length - 1;
126
127
320
      ctx->nonce_low = 0;
128
320
      ctx->nonce[i] += 2;
129
130
320
      if (ctx->nonce[i] == 0 && i > 0)
131
119
  INCREMENT (i, ctx->nonce);
132
320
    }
133
134
385
  _nettle_umac_l2_final (ctx->l2_key, ctx->l2_state, 2, ctx->count);
135
385
  tag[0] = pad[0] ^ ctx->l3_key2[0] ^ _nettle_umac_l3 (ctx->l3_key1,
136
385
                   ctx->l2_state);
137
385
  tag[1] = pad[1] ^ ctx->l3_key2[1] ^ _nettle_umac_l3 (ctx->l3_key1 + 8,
138
385
                   ctx->l2_state + 2);
139
385
  memcpy (digest, tag, length);
140
141
  /* Reinitialize */
142
385
  ctx->count = ctx->index = 0;
143
385
}