ASCON Suite
ascon-aead-128.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 
27 /* Initialization vector for ASCON-128 */
28 static uint8_t const ASCON128_IV[8] =
29  {0x80, 0x40, 0x0c, 0x06, 0x00, 0x00, 0x00, 0x00};
30 
32  (unsigned char *c, size_t *clen,
33  const unsigned char *m, size_t mlen,
34  const unsigned char *ad, size_t adlen,
35  const unsigned char *npub,
36  const unsigned char *k)
37 {
39  unsigned char partial;
40 
41  /* Set the length of the returned ciphertext */
42  *clen = mlen + ASCON128_TAG_SIZE;
43 
44  /* Initialize the ASCON state */
45  ascon_init(&state);
46  ascon_overwrite_bytes(&state, ASCON128_IV, 0, 8);
49  ascon_permute(&state, 0);
50  ascon_absorb_16(&state, k, 24);
51 
52  /* Absorb the associated data into the state */
53  if (adlen > 0)
54  ascon_aead_absorb_8(&state, ad, adlen, 6, 1);
55 
56  /* Separator between the associated data and the payload */
58 
59  /* Encrypt the plaintext to create the ciphertext */
60  partial = ascon_aead_encrypt_8(&state, c, m, mlen, 6, 0);
61  ascon_pad(&state, partial);
62 
63  /* Finalize and compute the authentication tag */
64  ascon_absorb_16(&state, k, 8);
65  ascon_permute(&state, 0);
66  ascon_absorb_16(&state, k, 24);
68  ascon_free(&state);
69 }
70 
72  (unsigned char *m, size_t *mlen,
73  const unsigned char *c, size_t clen,
74  const unsigned char *ad, size_t adlen,
75  const unsigned char *npub,
76  const unsigned char *k)
77 {
79  unsigned char tag[ASCON128_TAG_SIZE];
80  unsigned char partial;
81  int result;
82 
83  /* Set the length of the returned plaintext */
84  if (clen < ASCON128_TAG_SIZE)
85  return -1;
86  *mlen = clen - ASCON128_TAG_SIZE;
87 
88  /* Initialize the ASCON state */
89  ascon_init(&state);
90  ascon_overwrite_bytes(&state, ASCON128_IV, 0, 8);
93  ascon_permute(&state, 0);
94  ascon_absorb_16(&state, k, 24);
95 
96  /* Absorb the associated data into the state */
97  if (adlen > 0)
98  ascon_aead_absorb_8(&state, ad, adlen, 6, 1);
99 
100  /* Separator between the associated data and the payload */
102 
103  /* Decrypt the ciphertext to create the plaintext */
104  partial = ascon_aead_decrypt_8(&state, m, c, *mlen, 6, 0);
105  ascon_pad(&state, partial);
106 
107  /* Finalize and check the authentication tag */
108  ascon_absorb_16(&state, k, 8);
109  ascon_permute(&state, 0);
110  ascon_absorb_16(&state, k, 24);
111  ascon_squeeze_16(&state, tag, 24);
112  result = ascon_aead_check_tag(m, *mlen, tag, c + *mlen, ASCON128_TAG_SIZE);
113  ascon_clean(tag, sizeof(tag));
114  ascon_free(&state);
115  return result;
116 }
#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
int ascon128_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-128.
void ascon128_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-128.
unsigned char ascon_aead_encrypt_8(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 an 8-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_8(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 an 8-byte rate.
void ascon_aead_absorb_8(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 an 8-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