gec_dl.c

Go to the documentation of this file.

/*
 * Copyright (C) 2017 Michal Podhradsky <michal.podhradsky@aggiemail.usu.edu>
 *
 * This file is part of paparazzi.
 *
 * paparazzi is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2, or (at your option)
 * any later version.
 *
 * paparazzi is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with paparazzi; see the file COPYING.  If not, see
 * <http://www.gnu.org/licenses/>.
 *
 */
 
#include "gec_dl.h"
#include "modules/datalink/gec/gec.h"
#include "modules/datalink/datalink.h"
#include "pprzlink/messages.h"
#include <string.h> // for memset()
 
#if PPRZLINK_DEFAULT_VER == 2
// minimal size of the encrypted message
#define PPRZ_MSG_ID 3
// index of the message ID for plaintext messages
#define PPRZ_PLAINTEXT_MSG_ID_IDX 4
// 4 bytes of MSG info (source_ID, dest_ID, class_byte, msg_ID) + 1 GEC byte
#define PPRZ_PLAINTEXT_MSG_MIN_LEN 5
// 20 bytes crypto overhead + 4 bytes MSG info + 1 GEC byte
#define PPRZ_ENCRYPTED_MSG_MIN_LEN 25
// length of the authenticated data (SOURCE ID, DEST ID)
#define PPRZ_AUTH_LEN 2
// index of the beginning of the ciphertext
#define PPRZ_CIPH_IDX 7
#else
#if PPRZLINK_DEFAULT_VER == 1
// minimal size of the encrypted message
#define PPRZ_MSG_ID 1
// index of the message ID for plaintext messages
#define PPRZ_PLAINTEXT_MSG_ID_IDX 2
// 2 bytes of MSG info (source_ID, msg_ID) + 1 GEC byte
#define PPRZ_PLAINTEXT_MSG_MIN_LEN 3
// 20 bytes crypto overhead + 2 bytes MSG info + 1 GEC byte
#define PPRZ_ENCRYPTED_MSG_MIN_LEN 23
// length of the authenticated data (SOURCE ID)
#define PPRZ_AUTH_LEN 1
// index of the beginning of the ciphertext
#define PPRZ_CIPH_IDX 6
#endif // PPRZLINK_DEFAULT_VER = 1
#endif // PPRZLINK_DEFAULT_VER = 2
 
#ifdef GEC_STATUS_LED
#include "led.h" // for LED indication
#endif
 
#ifndef GEC_UPDATE_DL
#define GEC_UPDATE_DL TRUE
#endif
 
struct gec_transport gec_tp;
 
#if PERIODIC_TELEMETRY
#include "modules/datalink/telemetry.h"
 
static void send_secure_link_info(struct transport_tx *trans, struct link_device *dev)
{
  pprz_msg_send_SECURE_LINK_STATUS(trans, dev, AC_ID,
                                   (uint8_t *)&gec_tp.sts.protocol_stage,
                                   (uint8_t *)&gec_tp.sts.last_error,
                                   &gec_tp.sts.rx_counter_err,
                                   &gec_tp.sts.decrypt_err,
                                   &gec_tp.sts.encrypt_err);
}
#endif
 
static inline void insert_byte(struct gec_transport *t, const uint8_t byte)
{
  t->tx_msg[t->tx_msg_idx] = byte;
  t->tx_msg_idx++;
}
 
#if PPRZLINK_DEFAULT_VER == 2
void gec_encapsulate_and_send_msg(struct pprzlink_msg *msg, long fd);
 
static struct gec_transport *get_trans(struct pprzlink_msg *msg)
{
  return (struct gec_transport *)(msg->trans->impl);
}
 
static void put_bytes(struct pprzlink_msg *msg, long fd __attribute__((unused)),
                      enum TransportDataType type __attribute__((unused)),
                      enum TransportDataFormat format __attribute__((unused)), const void *bytes,
                      uint16_t len)
{
  const uint8_t *b = (const uint8_t *) bytes;
  int i;
  for (i = 0; i < len; i++) {
    insert_byte(get_trans(msg), b[i]);
  }
}
 
static void put_named_byte(struct pprzlink_msg *msg,
                           long fd __attribute__((unused)),
                           enum TransportDataType type __attribute__((unused)),
                           enum TransportDataFormat format __attribute__((unused)), uint8_t byte,
                           const char *name __attribute__((unused)))
{
  insert_byte(get_trans(msg), byte);
}
 
static uint8_t size_of(struct pprzlink_msg *msg, uint8_t len)
{
  return PPRZ_CRYPTO_OVERHEAD + 1
         + get_trans(msg)->pprz_tp.trans_tx.size_of(msg, len);
}
 
static void start_message(struct pprzlink_msg *msg,
                          long fd __attribute__((unused)),
                          uint8_t payload_len __attribute__((unused)))
{
  PPRZ_MUTEX_LOCK(get_trans(msg)->mtx_tx);  // lock mutex
  memset(get_trans(msg)->tx_msg, 0, TRANSPORT_PAYLOAD_LEN);// erase message data
  get_trans(msg)->tx_msg_idx = 0;// reset index
}
 
static void overrun(struct pprzlink_msg *msg)
{
  get_trans(msg)->pprz_tp.trans_tx.overrun(msg);
}
 
static void count_bytes(struct pprzlink_msg *msg, uint8_t bytes)
{
  get_trans(msg)->pprz_tp.trans_tx.count_bytes(msg, bytes);
}
 
static int check_available_space(struct pprzlink_msg *msg, long *fd,
                                 uint16_t bytes)
{
  if (get_trans(msg)->sts.protocol_stage == CRYPTO_OK) {
    return get_trans(msg)->pprz_tp.trans_tx.check_available_space(msg, fd,
           bytes);
  }
  return 0;
}
 
static void end_message(struct pprzlink_msg *msg, long fd)
{
  switch (gec_tp.sts.protocol_stage) {
    case CRYPTO_OK:
      if (gec_encrypt_message(gec_tp.tx_msg, &gec_tp.tx_msg_idx)) {
        gec_encapsulate_and_send_msg(msg, fd);
        return;
      }
      break;
    default:
      // shouldn't be here as sending messages is not allowed until after the key exchange
      break;
  }
  // unlock mutex
  PPRZ_MUTEX_UNLOCK(get_trans(msg)->mtx_tx);
}
 
void gec_encapsulate_and_send_msg(struct pprzlink_msg *msg, long fd)
{
  get_trans(msg)->pprz_tp.trans_tx.start_message(msg, fd, get_trans(msg)->tx_msg_idx);
  get_trans(msg)->pprz_tp.trans_tx.put_bytes(msg, fd, DL_TYPE_UINT8,
      DL_FORMAT_SCALAR, get_trans(msg)->tx_msg, get_trans(msg)->tx_msg_idx);
  // unlock mutex
  PPRZ_MUTEX_UNLOCK(get_trans(msg)->mtx_tx);
  get_trans(msg)->pprz_tp.trans_tx.end_message(msg, fd);
}
 
#else
#if PPRZLINK_DEFAULT_VER == 1
void gec_encapsulate_and_send_msg(struct gec_transport *trans,
                                  struct link_device *dev, long fd);
 
static void put_bytes(struct gec_transport *trans,
                      struct link_device *dev __attribute__((unused)),
                      long fd __attribute__((unused)),
                      enum TransportDataType type __attribute__((unused)),
                      enum TransportDataFormat format __attribute__((unused)), const void *bytes,
                      uint16_t len)
{
  const uint8_t *b = (const uint8_t *) bytes;
  int i;
  for (i = 0; i < len; i++) {
    insert_byte(trans, b[i]);
  }
}
 
static void put_named_byte(struct gec_transport *trans,
                           struct link_device *dev __attribute__((unused)),
                           long fd __attribute__((unused)),
                           enum TransportDataType type __attribute__((unused)),
                           enum TransportDataFormat format __attribute__((unused)), uint8_t byte,
                           const char *name __attribute__((unused)))
{
  insert_byte(trans, byte);
}
 
static uint8_t size_of(struct gec_transport *trans __attribute__((unused)),
                       uint8_t len)
{
  return PPRZ_CRYPTO_OVERHEAD + 1 + trans->pprz_tp.trans_tx.size_of(trans, len);
}
 
static void start_message(struct gec_transport *trans,
                          struct link_device *dev __attribute__((unused)),
                          long fd __attribute__((unused)),
                          uint8_t payload_len __attribute__((unused)))
{
  PPRZ_MUTEX_LOCK(trans->mtx_tx);  // lock mutex
  memset(trans->tx_msg, 0, TRANSPORT_PAYLOAD_LEN);  // erase message data
  trans->tx_msg_idx = 0;  // reset index
}
 
static void end_message(struct gec_transport *trans, struct link_device *dev,
                        long fd)
{
  switch (gec_tp.sts.protocol_stage) {
    case CRYPTO_OK:
      if (gec_encrypt_message(gec_tp.tx_msg, &gec_tp.tx_msg_idx)) {
        gec_encapsulate_and_send_msg(trans, dev, fd);
        return;
      }
      break;
    default:
      // shouldn't be here as sending messages is not allowed until after the key exchange
      break;
  }
  // unlock mutex
  PPRZ_MUTEX_UNLOCK(trans->mtx_tx);
}
 
void gec_encapsulate_and_send_msg(struct gec_transport *trans,
                                  struct link_device *dev, long fd)
{
  trans->pprz_tp.trans_tx.start_message(trans, dev, fd, trans->tx_msg_idx);
  trans->pprz_tp.trans_tx.put_bytes(trans, dev, fd, DL_TYPE_UINT8,
                                    DL_FORMAT_SCALAR, trans->tx_msg, trans->tx_msg_idx);
  // unlock mutex
  PPRZ_MUTEX_UNLOCK(trans->mtx_tx);
  trans->pprz_tp.trans_tx.end_message(trans, dev, fd);
}
 
static void overrun(struct gec_transport *trans __attribute__((unused)),
                    struct link_device *dev)
{
  trans->pprz_tp.trans_tx.overrun(trans, dev);
}
 
static void count_bytes(struct gec_transport *trans __attribute__((unused)),
                        struct link_device *dev, uint8_t bytes)
{
  trans->pprz_tp.trans_tx.count_bytes(trans, dev, bytes);
}
 
static int check_available_space(
  struct gec_transport *trans __attribute__((unused)),
  struct link_device *dev, long *fd, uint16_t bytes)
{
  if (trans->sts.protocol_stage == CRYPTO_OK) {
    return trans->pprz_tp.trans_tx.check_available_space(trans, dev, fd, bytes);
  }
  return 0;
}
#endif // PPRZLINK_DEFAULT_VER == 1
#endif // PPRZLINK_DEFAULT_VER == 2
 
// Init pprz transport structure
void gec_transport_init(struct gec_transport *t)
{
  t->trans_rx.msg_received = false;
  t->trans_tx.size_of = (size_of_t) size_of;
  t->trans_tx.check_available_space =
    (check_available_space_t) check_available_space;
  t->trans_tx.put_bytes = (put_bytes_t) put_bytes;
  t->trans_tx.put_named_byte = (put_named_byte_t) put_named_byte;
  t->trans_tx.start_message = (start_message_t) start_message;
  t->trans_tx.end_message = (end_message_t) end_message;
  t->trans_tx.overrun = (overrun_t) overrun;
  t->trans_tx.count_bytes = (count_bytes_t) count_bytes;
  t->trans_tx.impl = (void *)(t);
  PPRZ_MUTEX_INIT(t->mtx_tx);  // init mutex, check if correct pointer
 
  // add whitelist messages
  gec_add_to_whitelist(&(t->whitelist), KEY_EXCHANGE_MSG_ID_UAV);
  gec_add_to_whitelist(&(t->whitelist), KEY_EXCHANGE_MSG_ID_GCS);
}
 
void gec_dl_init(void)
{
#ifdef GEC_STATUS_LED
  LED_OFF(GEC_STATUS_LED);
#endif
 
  // init pprz transport
  pprz_transport_init(&gec_tp.pprz_tp);
 
  // init crypto transport
  gec_transport_init(&gec_tp);
 
  // initialize keys
  gec_sts_init(&gec_tp.sts);
 
#if PERIODIC_TELEMETRY
  register_periodic_telemetry(DefaultPeriodic, PPRZ_MSG_ID_SECURE_LINK_STATUS, send_secure_link_info);
#endif
}
 
bool gec_encrypt_message(uint8_t *buf, uint8_t *payload_len)
{
  // check payload length
  if (*payload_len <= PPRZ_MSG_ID) {
    return false;
  }
  // check if the key is ready
  if (!gec_tp.sts.tx_sym_key.ready) {
    return false;
  }
 
  // increment counter
  uint32_t counter = gec_tp.sts.tx_sym_key.counter + 1;
  // convert to bytes
  uint8_t counter_as_bytes[4];
  gec_counter_to_bytes(counter, counter_as_bytes);
  // update nonce
  memcpy(gec_tp.sts.tx_sym_key.nonce, counter_as_bytes, sizeof(uint32_t));
 
  // update intermediate fields
  uint8_t auth[PPRZ_AUTH_LEN];
  memcpy(auth, buf, PPRZ_AUTH_LEN);
  uint8_t tag[PPRZ_MAC_LEN];
  uint8_t ciphertext[TRANSPORT_PAYLOAD_LEN - PPRZ_CRYPTO_OVERHEAD];
  uint32_t mlen = *payload_len - PPRZ_AUTH_LEN;  // at least CLASS_BYTE and MSG_ID
 
  uint32_t res = Hacl_Chacha20Poly1305_aead_encrypt(ciphertext, tag,
                 &buf[PPRZ_AUTH_LEN], mlen, auth,
                 PPRZ_AUTH_LEN, gec_tp.sts.tx_sym_key.key, gec_tp.sts.tx_sym_key.nonce);
 
  if (res == 0) {
    memset(buf, 0, TRANSPORT_PAYLOAD_LEN);  // reset  whole buffer
    *payload_len = 0;
    buf[PPRZ_GEC_IDX] = PPRZ_MSG_TYPE_ENCRYPTED;  // CRYPTO_BYTE
    *payload_len += 1;
    memcpy(&buf[PPRZ_CNTR_IDX], counter_as_bytes, sizeof(uint32_t));  // counter
    *payload_len += sizeof(uint32_t);
    memcpy(&buf[PPRZ_AUTH_IDX], auth, PPRZ_AUTH_LEN);  // auth data
    *payload_len += PPRZ_AUTH_LEN;
    memcpy(&buf[PPRZ_CIPH_IDX], ciphertext, mlen);  // ciphertext
    *payload_len += mlen;
    memcpy(&buf[PPRZ_CIPH_IDX + mlen], tag, PPRZ_MAC_LEN);  // tag
    *payload_len += PPRZ_MAC_LEN;
    gec_tp.sts.tx_sym_key.counter = counter;  // update counter
    return true;
  } else {
    gec_tp.sts.encrypt_err++;
    return false;
  }
}
 
bool gec_decrypt_message(uint8_t *buf, volatile uint8_t *payload_len)
{
  switch (buf[PPRZ_GEC_IDX]) {
    case PPRZ_MSG_TYPE_PLAINTEXT:
      // handle plaintext message
      if (*payload_len < PPRZ_PLAINTEXT_MSG_MIN_LEN) {
        return false;
      }
      // check if the message is in the whitelist
      if (gec_is_in_the_whitelist(&gec_tp.whitelist,
                                  buf[PPRZ_PLAINTEXT_MSG_ID_IDX])) {
        // return the buffer minus the crypto byte
        memmove(buf, &buf[1], *payload_len - 1);
        return true;
      }
      return false;
      break;
    case PPRZ_MSG_TYPE_ENCRYPTED:
      // attempt decryption
      if (*payload_len < PPRZ_ENCRYPTED_MSG_MIN_LEN) {
        return false;
      }
      if (!gec_tp.sts.rx_sym_key.ready) {
        // the rx key is not ready yet
        return false;
      }
      // first check the message counter
      uint32_t counter = gec_bytes_to_counter(&buf[PPRZ_CNTR_IDX]);
      // check against the saved counter
      if (counter <= gec_tp.sts.rx_sym_key.counter) {
        gec_tp.sts.rx_counter_err++;
        return false;
      }
      // update nonce with 4 counter bytes
      memcpy(gec_tp.sts.rx_sym_key.nonce, &buf[PPRZ_CNTR_IDX],
             sizeof(uint32_t));
      // update intermediate fields
      uint8_t auth[PPRZ_AUTH_LEN];
      memcpy(auth, &buf[PPRZ_AUTH_IDX], PPRZ_AUTH_LEN);
      uint8_t tag[PPRZ_MAC_LEN];
      memcpy(tag, &buf[*payload_len - PPRZ_MAC_LEN], PPRZ_MAC_LEN);
      uint8_t ciphertext[TRANSPORT_PAYLOAD_LEN - PPRZ_CRYPTO_OVERHEAD];
      // payload - AUTH_DATA(2) - TAG(16) - CRYPTO_BYTE(1) - COUNTER(4) = payload_len - 23
      uint32_t mlen = *payload_len - PPRZ_CRYPTO_OVERHEAD - 1 - PPRZ_AUTH_LEN;  // don't forget to count for CRYPTO_BYTE
      memcpy(ciphertext, &buf[PPRZ_CIPH_IDX], mlen);
      uint8_t plaintext[TRANSPORT_PAYLOAD_LEN - PPRZ_CRYPTO_OVERHEAD];
 
      // try decryption
      uint32_t res = Hacl_Chacha20Poly1305_aead_decrypt(plaintext, ciphertext,
                     mlen, tag, auth,
                     PPRZ_AUTH_LEN, gec_tp.sts.rx_sym_key.key,
                     gec_tp.sts.rx_sym_key.nonce);
 
      // res == 0 means all good
      if (res == 0) {
        memset(buf, 0, TRANSPORT_PAYLOAD_LEN);  // reset  whole buffer
        *payload_len = 0;
        memcpy(buf, auth, PPRZ_AUTH_LEN);  // copy auth data
        *payload_len += PPRZ_AUTH_LEN;
        memcpy(&buf[PPRZ_AUTH_LEN], plaintext, mlen);  // copy plaintext
        *payload_len += mlen;
        gec_tp.sts.rx_sym_key.counter = counter;  // update counter
        return true;
      } else {
        gec_tp.sts.decrypt_err++;
        return false;
      }
      break;
    default:
      break;
  }
  return false;
}
 
void gec_dl_event(void)
{
  // strip PPRZ_STX, MSG_LEN, and CHEKSUM, return (CRYPTO_BYTE..MSG_PAYLOAD)
  pprz_check_and_parse(&DOWNLINK_DEVICE.device, &gec_tp.pprz_tp,
                       gec_tp.pprz_tp.trans_rx.payload, (bool *) &gec_tp.trans_rx.msg_received);
  // we have (CRYPTO_BYTE .. MSG_PAYLOAD) in
  if (gec_tp.trans_rx.msg_received) {  // self.rx.parse_byte(b)
    switch (gec_tp.sts.protocol_stage) {
      case CRYPTO_OK:
        // decrypt message
        // if successfull return the message (sender_ID .. MSG_payload)
        if (gec_decrypt_message(gec_tp.pprz_tp.trans_rx.payload,
                                &gec_tp.pprz_tp.trans_rx.payload_len)) {
          // copy the buffer over
          // NOTE:the real payload_len is at least one byte shorter
          // but we can copy whole buffer anyway since we don't overflow
          DatalinkFillDlBuffer(gec_tp.pprz_tp.trans_rx.payload,
                               gec_tp.pprz_tp.trans_rx.payload_len);
          // pass to datalink
          DlCheckAndParse(&DOWNLINK_DEVICE.device, &gec_tp.trans_tx, dl_buffer,
                          &dl_msg_available, GEC_UPDATE_DL);
        }
        break;
      case WAIT_MSG1:
        // decrypt message (checks against the whitelist and removes the crypto byte)
        // returns (SENDER_ID .. MSG_PAYLOAD
        if (gec_decrypt_message(gec_tp.pprz_tp.trans_rx.payload,
                                &gec_tp.pprz_tp.trans_rx.payload_len)) {
          gec_process_msg1(gec_tp.pprz_tp.trans_rx.payload);
        } else {
        }
        break;
      case WAIT_MSG3:
        // decrypt message (checks against the whitelist and removes the crypto byte)
        // returns (SENDER_ID .. MSG_PAYLOAD
        if (gec_decrypt_message(gec_tp.pprz_tp.trans_rx.payload,
                                &gec_tp.pprz_tp.trans_rx.payload_len)) {
          if (gec_process_msg3(gec_tp.pprz_tp.trans_rx.payload)) {
            // if OK, we are ready for an ongoing communication
            gec_tp.sts.protocol_stage = CRYPTO_OK;
#ifdef GEC_STATUS_LED
            LED_ON(GEC_STATUS_LED);
#endif
          }
        }
        break;
      default:
        // shouldn't be here unless something is really wrong
        break;
    }
    // reset flag
    gec_tp.trans_rx.msg_received = false;
  }
}
 
void gec_process_msg1(uint8_t *buf)
{
  if (SenderIdOfPprzMsg(buf) != 0) {
    // process only messages from GCS
    // log an error
    return;
  }
 
  // check message ID
  if (IdOfPprzMsg(buf) != DL_KEY_EXCHANGE_GCS) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_ERROR;
    return;
  }
 
  // check message type
  if (DL_KEY_EXCHANGE_GCS_msg_type(buf) != P_AE) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_TYPE_ERROR;
    return;
  }
 
  // check data length
  if (DL_KEY_EXCHANGE_GCS_msg_data_length(buf) != PPRZ_KEY_LEN) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_DATA_ERROR;
    return;
  }
 
  // copy P_ae over
  memcpy(&gec_tp.sts.their_public_ephemeral.pub,
         DL_KEY_EXCHANGE_GCS_msg_data(buf), sizeof(struct gec_pubkey));
  gec_tp.sts.their_public_ephemeral.ready = true;
 
  // 2. B generates ephemeral curve25519 key pair (Pbe, Qbe).
  if (!gec_tp.sts.my_private_ephemeral.ready) {
    gec_generate_ephemeral_keys(&gec_tp.sts.my_private_ephemeral);
  }
 
  // 3. B computes the shared secret: z = scalar_multiplication(Qbe, Pae)
  uint8_t z[32] = { 0 };
  Hacl_Curve25519_crypto_scalarmult(z, gec_tp.sts.my_private_ephemeral.priv,
                                    gec_tp.sts.their_public_ephemeral.pub);
 
  // 4. B uses the key derivation function kdf(z,1) to compute Kb || Sb,
  // kdf(z,0) to compute Ka || Sa, and kdf(z,2) to compute Kclient || Sclient.
  gec_derive_key_material(&gec_tp.sts, z);
 
  // 5. B computes the ed25519 signature: sig = signQb(Pbe || Pae)
  uint8_t sig[PPRZ_SIGN_LEN] = { 0 };
  uint8_t pbe_concat_p_ae[PPRZ_KEY_LEN * 2] = { 0 };
  memcpy(pbe_concat_p_ae, &gec_tp.sts.my_private_ephemeral.pub, PPRZ_KEY_LEN);
  memcpy(&pbe_concat_p_ae[PPRZ_KEY_LEN], &gec_tp.sts.their_public_ephemeral.pub,
         PPRZ_KEY_LEN);
  Hacl_Ed25519_sign(sig, gec_tp.sts.my_private_key.priv, pbe_concat_p_ae,
                    PPRZ_KEY_LEN * 2);
 
  // 6. B computes and sends the message Pbe || Ekey=Kb,IV=Sb||zero(sig)
  uint8_t msg_data[PPRZ_KEY_LEN + PPRZ_SIGN_LEN + PPRZ_MAC_LEN] = { 0 };
  memcpy(msg_data, &gec_tp.sts.my_private_ephemeral.pub, PPRZ_KEY_LEN);
 
  if (Hacl_Chacha20Poly1305_aead_encrypt(&msg_data[PPRZ_KEY_LEN],
                                         &msg_data[PPRZ_KEY_LEN + PPRZ_SIGN_LEN], sig, PPRZ_SIGN_LEN, NULL, 0,
                                         gec_tp.sts.tx_sym_key.key, gec_tp.sts.tx_sym_key.nonce)) {
    gec_tp.sts.last_error = MSG1_ENCRYPT_ERROR;
    return;
  }
 
#if PPRZLINK_DEFAULT_VER == 2
  // now we have to manually construct the message
  // CRYPTO BYTE
  // source_id
  // sender_id
  // class id
  // msg id
  // msg_type
  // msg_data
  gec_tp.tx_msg[PPRZ_GEC_IDX] = PPRZ_MSG_TYPE_PLAINTEXT;
  gec_tp.tx_msg_idx = 1;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = AC_ID;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = 0;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = 1;// telemetry
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = 239;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = P_BE;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = sizeof(msg_data);
  gec_tp.tx_msg_idx++;
  memcpy(&gec_tp.tx_msg[gec_tp.tx_msg_idx], msg_data, sizeof(msg_data));
  gec_tp.tx_msg_idx += sizeof(msg_data);
 
  struct pprzlink_msg msg2;
  msg2.trans = &gec_tp.pprz_tp.trans_tx;
  msg2.dev = &DOWNLINK_DEVICE.device;
 
  gec_encapsulate_and_send_msg(&msg2, 0);
#else
#if PPRZLINK_DEFAULT_VER ==1
  // Pprzlink 1.0
  // now we have to manually construct the message
  // CRYPTO BYTE
  // source_id
  // msg id
  // msg_type
  // msg_data
  gec_tp.tx_msg[PPRZ_GEC_IDX] = PPRZ_MSG_TYPE_PLAINTEXT;
  gec_tp.tx_msg_idx = 1;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = AC_ID;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = 239;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = P_BE;
  gec_tp.tx_msg_idx++;
  gec_tp.tx_msg[gec_tp.tx_msg_idx] = sizeof(msg_data);
  gec_tp.tx_msg_idx++;
  memcpy(&gec_tp.tx_msg[gec_tp.tx_msg_idx], msg_data, sizeof(msg_data));
  gec_tp.tx_msg_idx += sizeof(msg_data);
 
  gec_encapsulate_and_send_msg(&gec_tp, &DOWNLINK_DEVICE.device, 0);
#endif // PPRZLINK 1.0
#endif // PPRZLINK 2.0
 
  /*
   * Note that ideally we would use the following function call, but the problem is that
   * 'end_message()` cannot currently distinguish between encrypted and plaintext message to be sent
   * (i.e. I don't know the message ID). The second problem I am using the same buffer here as for
   * constructing a message, so a corruption of the buffer is possible.
   *
   * Since I am doing this only once, the method above is fine for the time being.
   *
   * Pprzlink 2.0:
   uint8_t msg_status = P_BE;
   pprz_msg_send_KEY_EXCHANGE_UAV(&gec_tp.pprz_tp.trans_tx, &DOWNLINK_DEVICE.device, AC_ID,
   &msg_status, sizeof(msg_data), msg_data);
   */
 
  // increment status
  gec_tp.sts.protocol_stage = WAIT_MSG3;
}
 
bool gec_process_msg3(uint8_t *buf)
{
  if (SenderIdOfPprzMsg(buf) != 0) {
    // process only messages from GCS
    // log an error
    return false;
  }
 
// check message ID
  if (IdOfPprzMsg(buf) != DL_KEY_EXCHANGE_GCS) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_ERROR;
    return false;
  }
 
// check message type
  if (DL_KEY_EXCHANGE_GCS_msg_type(buf) != SIG) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_TYPE_ERROR;
    return false;
  }
 
// check data length
  if (DL_KEY_EXCHANGE_GCS_msg_data_length(buf)
      != (PPRZ_SIGN_LEN + PPRZ_MAC_LEN)) {
    gec_tp.sts.last_error = UNEXPECTED_MSG_DATA_ERROR;
    return false;
  }
 
  // 13. B decrypts the message and verifies the signature.
  uint8_t sign[PPRZ_SIGN_LEN] = { 0 };
  if (Hacl_Chacha20Poly1305_aead_decrypt(sign,
                                         DL_KEY_EXCHANGE_GCS_msg_data(buf),
                                         PPRZ_SIGN_LEN, DL_KEY_EXCHANGE_GCS_msg_data(buf) + PPRZ_SIGN_LEN, NULL, 0,
                                         gec_tp.sts.rx_sym_key.key, gec_tp.sts.rx_sym_key.nonce)) {
    gec_tp.sts.last_error = MSG3_DECRYPT_ERROR;
    return false;
  }
 
  // verify
  uint8_t p_ae_concat_p_be[PPRZ_KEY_LEN * 2] = { 0 };
  memcpy(p_ae_concat_p_be, &gec_tp.sts.their_public_ephemeral.pub,
         PPRZ_KEY_LEN);
  memcpy(&p_ae_concat_p_be[PPRZ_KEY_LEN], &gec_tp.sts.my_private_ephemeral.pub,
         PPRZ_KEY_LEN);
  // returns true if verified properly
  if (!Hacl_Ed25519_verify(gec_tp.sts.their_public_key.pub, p_ae_concat_p_be,
                           PPRZ_SIGN_LEN, sign)) {
    // log error and return
    gec_tp.sts.last_error = MSG3_SIGNVERIFY_ERROR;
    return false;
  }
 
  // all ok
  return true;
}
 
// add a message id to the whitelist
void gec_add_to_whitelist(struct gec_whitelist *whitelist, uint8_t id)
{
  if (whitelist->init && (whitelist->idx < WHITELIST_LEN)) {
    whitelist->whitelist[whitelist->idx] = id;
    whitelist->idx++;
 
  } else {
    memset(whitelist, 0, WHITELIST_LEN);  // erase the whitelist
    whitelist->init = true;
    whitelist->idx = 0;
  }
}
 
// return true if given message id is in the whitelist
bool gec_is_in_the_whitelist(struct gec_whitelist *whitelist, uint8_t id)
{
  if (whitelist->init) {
    for (uint8_t i = 0; i < whitelist->idx; i++) {
      if (whitelist->whitelist[i] == id) {
        return true;
      }
    }
  }
  return false;
}