ASCON Suite
ascon-aead-128a.c
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2021 Southern Storm Software, Pty Ltd.
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining a
5  * copy of this software and associated documentation files (the "Software"),
6  * to deal in the Software without restriction, including without limitation
7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8  * and/or sell copies of the Software, and to permit persons to whom the
9  * Software is furnished to do so, subject to the following conditions:
10  *
11  * The above copyright notice and this permission notice shall be included
12  * in all copies or substantial portions of the Software.
13  *
14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
15  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
20  * DEALINGS IN THE SOFTWARE.
21  */
22 
23 #include "aead/ascon-aead-common.h"
24 #include "core/ascon-util-snp.h"
25 #include <string.h>
26 
30 static uint8_t const ASCON128a_IV[8] =
31  {0x80, 0x80, 0x0c, 0x08, 0x00, 0x00, 0x00, 0x00};
32 
34  (unsigned char *c, size_t *clen,
35  const unsigned char *m, size_t mlen,
36  const unsigned char *ad, size_t adlen,
37  const unsigned char *npub,
38  const unsigned char *k)
39 {
41  unsigned char partial;
42 
43  /* Set the length of the returned ciphertext */
44  *clen = mlen + ASCON128_TAG_SIZE;
45 
46  /* Initialize the ASCON state */
47  ascon_init(&state);
48  ascon_overwrite_bytes(&state, ASCON128a_IV, 0, 8);
51  ascon_permute(&state, 0);
52  ascon_absorb_16(&state, k, 24);
53 
54  /* Absorb the associated data into the state */
55  if (adlen > 0)
56  ascon_aead_absorb_16(&state, ad, adlen, 4, 1);
57 
58  /* Separator between the associated data and the payload */
60 
61  /* Encrypt the plaintext to create the ciphertext */
62  partial = ascon_aead_encrypt_16(&state, c, m, mlen, 4, 0);
63  ascon_pad(&state, partial);
64 
65  /* Finalize and compute the authentication tag */
66  ascon_absorb_16(&state, k, 16);
67  ascon_permute(&state, 0);
68  ascon_absorb_16(&state, k, 24);
70  ascon_free(&state);
71 }
72 
74  (unsigned char *m, size_t *mlen,
75  const unsigned char *c, size_t clen,
76  const unsigned char *ad, size_t adlen,
77  const unsigned char *npub,
78  const unsigned char *k)
79 {
81  unsigned char tag[ASCON128_TAG_SIZE];
82  unsigned char partial;
83  int result;
84 
85  /* Set the length of the returned plaintext */
86  if (clen < ASCON128_TAG_SIZE)
87  return -1;
88  *mlen = clen - ASCON128_TAG_SIZE;
89 
90  /* Initialize the ASCON state */
91  ascon_init(&state);
92  ascon_overwrite_bytes(&state, ASCON128a_IV, 0, 8);
95  ascon_permute(&state, 0);
96  ascon_absorb_16(&state, k, 24);
97 
98  /* Absorb the associated data into the state */
99  if (adlen > 0)
100  ascon_aead_absorb_16(&state, ad, adlen, 4, 1);
101 
102  /* Separator between the associated data and the payload */
104 
105  /* Decrypt the ciphertext to create the plaintext */
106  partial = ascon_aead_decrypt_16(&state, m, c, *mlen, 4, 0);
107  ascon_pad(&state, partial);
108 
109  /* Finalize and check the authentication tag */
110  ascon_absorb_16(&state, k, 16);
111  ascon_permute(&state, 0);
112  ascon_absorb_16(&state, k, 24);
113  ascon_squeeze_16(&state, tag, 24);
114  result = ascon_aead_check_tag(m, *mlen, tag, c + *mlen, ASCON128_TAG_SIZE);
115  ascon_clean(tag, sizeof(tag));
116  ascon_free(&state);
117  return result;
118 }
#define ASCON128_TAG_SIZE
Size of the authentication tag for ASCON-128 and ASCON-128a.
Definition: aead.h:65
#define ASCON128_NONCE_SIZE
Size of the nonce for ASCON-128 and ASCON-128a.
Definition: aead.h:60
#define ASCON128_KEY_SIZE
Size of the key for ASCON-128 and ASCON-128a.
Definition: aead.h:55
void ascon128a_aead_encrypt(unsigned char *c, size_t *clen, const unsigned char *m, size_t mlen, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
Encrypts and authenticates a packet with ASCON-128a.
int ascon128a_aead_decrypt(unsigned char *m, size_t *mlen, const unsigned char *c, size_t clen, const unsigned char *ad, size_t adlen, const unsigned char *npub, const unsigned char *k)
Decrypts and authenticates a packet with ASCON-128a.
void ascon_aead_absorb_16(ascon_state_t *state, const unsigned char *data, size_t len, uint8_t first_round, int last_permute)
Absorbs data into an ASCON state with a 16-byte rate.
unsigned char ascon_aead_encrypt_16(ascon_state_t *state, unsigned char *dest, const unsigned char *src, size_t len, uint8_t first_round, unsigned char partial)
Encrypts a block of data with an ASCON state and a 16-byte rate.
int ascon_aead_check_tag(unsigned char *plaintext, size_t plaintext_len, const unsigned char *tag1, const unsigned char *tag2, size_t size)
Check an authentication tag in constant time.
unsigned char ascon_aead_decrypt_16(ascon_state_t *state, unsigned char *dest, const unsigned char *src, size_t len, uint8_t first_round, unsigned char partial)
Decrypts a block of data with an ASCON state and a 16-byte rate.
#define ascon_pad(state, offset)
#define ascon_absorb_16(state, data, offset)
#define ascon_squeeze_partial(state, data, offset, count)
#define ascon_squeeze_16(state, data, offset)
#define ascon_separator(state)
void ascon_free(ascon_state_t *state)
Frees an ASCON permutation state and attempts to destroy any sensitive material.
void ascon_overwrite_bytes(ascon_state_t *state, const uint8_t *data, unsigned offset, unsigned size)
Overwrites existing bytes in the ASCON state.
void ascon_permute(ascon_state_t *state, uint8_t first_round)
Permutes the ASCON state with a specified number of rounds.
Definition: ascon-c32.c:36
void ascon_init(ascon_state_t *state)
Initializes the words of the ASCON permutation state to zero.
ascon_state_t state
[snippet_key]
Definition: snippets.c:2
Structure of the internal state of the ASCON permutation.
Definition: permutation.h:63
void ascon_clean(void *buf, unsigned size)
Cleans a buffer that contains sensitive material.
Definition: ascon-clean.c:38