Benoît Viguier

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Automated Theorem Provers

Development Environments

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Guido Bertoni, Joan Daemen, Seth Hoffert, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier
TurboSHAKE. IACR Cryptol. ePrint Arch. 2023 (2023)
Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk
A Coq proof of the correctness of X25519 in TweetNaCl. CSF (2021)
Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk
A Coq proof of the correctness of X25519 in TweetNaCl. IACR Cryptol. ePrint Arch. 2021 (2021)
Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller, Daan Sprenkels, Benoît Viguier
Assembly or Optimized C for Lightweight Cryptography on RISC-V? IACR Cryptol. ePrint Arch. 2020 (2020)
Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller, Daan Sprenkels, Benoît Viguier
Assembly or Optimized C for Lightweight Cryptography on RISC-V? CANS (2020)
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
A benchmark for C program verification. CoRR (2019)
Tomer Ashur, Maria Eichlseder, Martin M. Lauridsen, Gaëtan Leurent, Brice Minaud, Yann Rotella, Yu Sasaki, Benoît Viguier
Cryptanalysis of MORUS. ASIACRYPT (2) (2018)
Tomer Ashur, Maria Eichlseder, Martin M. Lauridsen, Gaëtan Leurent, Brice Minaud, Yann Rotella, Yu Sasaki, Benoît Viguier
Cryptanalysis of MORUS. IACR Cryptol. ePrint Arch. 2018 (2018)
Guido Bertoni, Joan Daemen, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier
KangarooTwelve: Fast Hashing Based on Keccak-p. ACNS (2018)
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
Gimli : A Cross-Platform Permutation. CHES (2017)
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
Gimli: a cross-platform permutation. IACR Cryptol. ePrint Arch. 2017 (2017)