Benoît Viguier

According to our database, Benoît Viguier authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

TurboSHAKE.

Guido Bertoni, Joan Daemen, Seth Hoffert, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier

IACR Cryptol. ePrint Arch., 2023

2021

A Coq proof of the correctness of X25519 in TweetNaCl.

Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk

IACR Cryptol. ePrint Arch., 2021

2020

Assembly or Optimized C for Lightweight Cryptography on RISC-V?

Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller, Amber Sprenkels, Benoît Viguier

IACR Cryptol. ePrint Arch., 2020

2019

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

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

KangarooTwelve: Fast Hashing Based on Keccak-p.

Guido Bertoni, Joan Daemen, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier

Proceedings of the Applied Cryptography and Network Security, 2018

2017

Gimli: a cross-platform permutation.

Daniel J. Bernstein, Stefan Kölbl, Stefan Lucks, Pedro Maat Costa Massolino, Florian Mendel, Kashif Nawaz, Tobias Schneider, Peter Schwabe, François-Xavier Standaert, Yosuke Todo, Benoît Viguier

IACR Cryptol. ePrint Arch., 2017