Folgen
Benoit Viguier
Benoit Viguier
Radboud University
Bestätigte E-Mail-Adresse bei viguier.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1592017
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
622018
Gimli
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
Second Round Submission to NIST Lightweight Cryptography, 2019
292019
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
232020
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
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
152021
TurboSHAKE
G Bertoni, J Daemen, S Hoffert, M Peeters, G Van Assche, R Van Keer, ...
Cryptology ePrint Archive, 2023
82023
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
22019
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13