Gimli: a cross-platform permutation. - Daniel J. Bernstein; Stefan Kölbl; Stefan Lucks; Pedro Maat Costa Massolino; Florian Mendel; Kashif Nawaz; Tobias Schneider 002; Peter Schwabe; François-Xavier Standaert; Yosuke Todo; Benoît Viguier (IACR Cryptol. ePrint Arch., 2017)

KangarooTwelve: Fast Hashing Based on Keccak-p. - Guido Bertoni; Joan Daemen; Michaël Peeters; Gilles Van Assche; Ronny Van Keer; Benoît Viguier (ACNS, 2018)

Cryptanalysis of MORUS. - Tomer Ashur; Maria Eichlseder; Martin M. Lauridsen; Gaëtan Leurent; Brice Minaud; Yann Rotella; Yu Sasaki; Benoît Viguier (IACR Cryptol. ePrint Arch., 2018)

A benchmark for C program verification. - Marko C. J. D. van Eekelen; Daniil Frumin; Herman Geuvers; Léon Gondelman; Robbert Krebbers; Marc Schoolderman; Sjaak Smetsers; Freek Verbeek; Benoît Viguier; Freek Wiedijk (CoRR, 2019)

Assembly or Optimized C for Lightweight Cryptography on RISC-V? - Fabio Campos; Lars Jellema; Mauk Lemmen; Lars Müller 006; Amber Sprenkels; Benoît Viguier (IACR Cryptol. ePrint Arch., 2020)

A Coq proof of the correctness of X25519 in TweetNaCl. - Peter Schwabe; Benoît Viguier; Timmy Weerwag; Freek Wiedijk (IACR Cryptol. ePrint Arch., 2021)

TurboSHAKE. - Guido Bertoni; Joan Daemen; Seth Hoffert; Michaël Peeters; Gilles Van Assche; Ronny Van Keer; Benoît Viguier (IACR Cryptol. ePrint Arch., 2023)