Benoit Viguier

Cited by

	All	Since 2019
Citations	267	242
h-index	6	6
i10-index	6	6

201720182019202020212022202320245 20 25 55 51 55 46 10

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Florian MendelCryptographer & Security Architect - Infineon TechnologiesVerified email at infineon.com
Peter SchwabeMPI-SP and Radboud UniversityVerified email at mpi-sp.org
Stefan KölblGoogleVerified email at mailbox.org
Tobias SchneiderNXP Semiconductors, Gratkorn, AustriaVerified email at rub.de
Francois-Xavier StandaertSenior Associate Researcher (FNRS-F.R.S), Université catholique de LouvainVerified email at uclouvain.be
Yosuke TodoNTT Social Informatics LaboratoriesVerified email at ntt.com
Daniel J. BernsteinUniversity of Illinois at Chicago and Technische Universiteit EindhovenVerified email at box.cr.yp.to
Joan DaemenProfessor, Radboud UniversityVerified email at noekeon.org
Gilles Van AsscheSTMicroelectronicsVerified email at noekeon.org
Pedro Maat C. MassolinoPQShield Ltd.Verified email at pqshield.com
Kashif NawazOak Ridge National LaboratoryVerified email at ornl.gov
Rotella YannUniversité Paris-Saclay, Laboratoire de Mathématiques de Versailles, UVSQVerified email at uvsq.fr
Tomer Ashur3MI LabsVerified email at 3milabs.tech
Maria EichlsederGraz University of TechnologyVerified email at iaik.tugraz.at
Gaëtan LeurentINRIAVerified email at inria.fr
Martin M. LauridsenTechnical University of DenmarkVerified email at dtu.dk
Fabio CamposufpeVerified email at ieee.org

Benoit Viguier

Radboud University

Verified email at viguier.nl - Homepage

Cryptography Formal Methods


Title Sort by citations Sort by year Sort by 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	135	2017
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	49	2018
Gimli DJ Bernstein, S Kölbl, S Lucks, PMC Massolino, F Mendel, K Nawaz, ... Submission to the NIST Lightweight Cryptography project. Available online …, 2019	27	2019
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	18	2018
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	15	2020
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	13	2021
TurboSHAKE G Bertoni, J Daemen, S Hoffert, M Peeters, G Van Assche, R Van Keer, ... Cryptology ePrint Archive, 2023	5	2023
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	4	2020
A benchmark for C program verification M van Eekelen, D Frumin, H Geuvers, L Gondelman, R Krebbers, ... arXiv preprint arXiv:1904.01009, 2019	1	2019
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors