Follow
Benoit Viguier
Benoit Viguier
Radboud University
Verified email at viguier.nl - Homepage
Title
Cited by
Cited by
Year
Gimli : A Cross-Platform Permutation
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
Cryptographic Hardware and Embedded Systems–CHES 2017: 19th International …, 2017
1352017
KangarooTwelve: Fast Hashing Based on
G Bertoni, J Daemen, M Peeters, G Van Assche, R Van Keer, B Viguier
Applied Cryptography and Network Security: 16th International Conference …, 2018
512018
Gimli
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
Submission to the NIST Lightweight Cryptography project. Available online …, 2019
282019
Cryptanalysis of MORUS
T Ashur, M Eichlseder, MM Lauridsen, G Leurent, B Minaud, Y Rotella, ...
International Conference on the Theory and Application of Cryptology and …, 2018
182018
Assembly or optimized C for lightweight cryptography on RISC-V?
F Campos, L Jellema, M Lemmen, L Müller, D Sprenkels, B Viguier
Cryptology and Network Security: 19th International Conference, CANS 2020 …, 2020
172020
A Coq proof of the correctness of X25519 in TweetNaCl
P Schwabe, B Viguier, T Weerwag, F Wiedijk
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
142021
TurboSHAKE
G Bertoni, J Daemen, S Hoffert, M Peeters, G Van Assche, R Van Keer, ...
Cryptology ePrint Archive, 2023
72023
Gimli: NIST LWC second-round candidate status update
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
Projects/lightweight-cryptography/documents/round-2/status-update-sep2020 …, 2020
42020
A benchmark for C program verification
M van Eekelen, D Frumin, H Geuvers, L Gondelman, R Krebbers, ...
arXiv preprint arXiv:1904.01009, 2019
12019
A Coq proof of the correctness of X25519 in TweetNaCl
B Viguier, P Schwabe, T Weerwag, F Wiedijk
Zenodo, 2021
2021
Correction to: Cryptanalysis of MORUS
T Ashur, M Eichlseder, MM Lauridsen, G Leurent, B Minaud, Y Rotella, ...
Advances in Cryptology–ASIACRYPT 2018: 24th International Conference on the …, 2018
2018
Formal methods in differential and linear trail search
G Van Assche, J Daemen, M Peeters, B Kordy
This submission is from the following team, listed in alphabetical order:• Daniel J. Bernstein (corresponding submitter)• Stefan Kölbl• Stefan Lucks
PMC Massolino, F Mendel, K Nawaz, T Schneider, P Schwabe, ...
The system can't perform the operation now. Try again later.
Articles 1–13