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

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 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

Proceedings of the Cryptology and Network Security - 19th International Conference, 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

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 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

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017