Demo Data from EDBT 2026 / reviewers in the wild / expert
Benoît Viguier
dblp:203/4396
· DBLP profile ↗
5ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0002-8943-5080ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 5 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
2 papers |
Cryptographic primitives and cryptanalysis · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic primitives and cryptanalysis
authenticated encryption |
0.4 | 2 | 2018 | Cryptanalysis of MORUS · ASIACRYPT (2) 2018 Gimli : A Cross-Platform Permutation · CHES 2017 |
Cryptographic primitives and cryptanalysis
stream cipher cryptanalysis |
0.3 | 1 | 2018 | Cryptanalysis of MORUS · ASIACRYPT (2) 2018 |
Cryptographic primitives and cryptanalysis › symmetric cryptography › permutation-based cryptography
gimli |
0.3 | 1 | 2017 | Gimli : A Cross-Platform Permutation · CHES 2017 |
Cryptographic primitives and cryptanalysis
symmetric cryptography |
0.3 | 1 | 2017 | Gimli : A Cross-Platform Permutation · CHES 2017 |
Methods — techniques the papers use, named apart from their topics
permutation design · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | A Coq proof of the correctness of X25519 in TweetNaClabstractWe formally prove that the C implementation of the X25519 key-exchange protocol in the TweetNaCl library is correct. We prove both that it correctly implements the protocol from Bernstein's 2006 paper, as standardized in RFC 7748, as well as the absence of undefined behavior like arithmetic overflows and array out-of-bounds errors. We also formally prove, based on the work of Bartzia and Strub, that X25519 is mathematically correct, i.e., that it correctly computes scalar multiplication on the elliptic curve Curve25519. The proofs are all computer-verified using the Coq theorem prover. To establish the link between C and Coq we use the Verified Software Toolchain (VST). Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk |
CSF | 2 |
| 2020 | Assembly or Optimized C for Lightweight Cryptography on RISC-V?
Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller 0006, Amber Sprenkels, Benoît Viguier |
CANS | 6 |
| 2018 | KangarooTwelve: Fast Hashing Based on Keccak-p
Guido Bertoni, Joan Daemen, Michaël Peeters, Gilles Van Assche, Ronny Van Keer, Benoît Viguier |
ACNS | 6 |
| 2018 | Cryptanalysis of MORUS
Tomer Ashur, Maria Eichlseder, Martin M. Lauridsen, Gaëtan Leurent, Brice Minaud, Yann Rotella, Yu Sasaki 0001, Benoît Viguier |
ASIACRYPT (2) | 8 |
| 2017 | Gimli : A Cross-Platform Permutation
Daniel J. Bernstein, Stefan Kölbl, Stefan Lucks, Pedro Maat Costa Massolino, Florian Mendel, Kashif Nawaz, Tobias Schneider 0002, Peter Schwabe, François-Xavier Standaert, Yosuke Todo, Benoît Viguier |
CHES | 11 |