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, ...
International Conference on Cryptographic Hardware and Embedded Systems, 299-320, 2017
972017
K angarooT welve: Fast Hashing Based on
G Bertoni, J Daemen, M Peeters, GV Assche, RV Keer, B Viguier
International Conference on Applied Cryptography and Network Security, 400-418, 2018
272018
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
172018
Gimli
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
Submission to the NIST Lightweight Cryptography project. Available online …, 2019
142019
Assembly or optimized C for lightweight cryptography on RISC-V?
F Campos, L Jellema, M Lemmen, L Müller, D Sprenkels, B Viguier
International Conference on Cryptology and Network Security, 526-545, 2020
92020
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
42021
Gimli: NIST LWC second-round candidate status update
DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ...
NIST-LWC 2nd Round update, 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
[Sn], 2021
2021
Correction to: 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
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–12