Benoît Viguier

According to our database1, Benoît Viguier authored at least 7 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
TurboSHAKE.
IACR Cryptol. ePrint Arch., 2023

2021
A Coq proof of the correctness of X25519 in TweetNaCl.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Assembly or Optimized C for Lightweight Cryptography on RISC-V?
Proceedings of the Cryptology and Network Security - 19th International Conference, 2020

2019
A benchmark for C program verification.
CoRR, 2019

2018
Cryptanalysis of MORUS.
Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

KangarooTwelve: Fast Hashing Based on Keccak-p.
Proceedings of the Applied Cryptography and Network Security, 2018

2017
Gimli : A Cross-Platform Permutation.
Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017


  Loading...