Benoit Viguier - PhD Student in Radboud University
Benoit Viguier [--cv] ... [--gh] [--gl] [--mail] [--gpg] [-l]
Benoit Viguier is a PhD student at the Digital Security group and the Department of Software Science of the Radboud University in Nijmegen, working on tools for formally verifying cryptographic software under the supervision of Peter Schwabe,
Joan Daemen and Herman Geuvers. Before that, he was an engineering student at the INSA Rennes (National Institute of Applied Science, France) and master student in Research in Computer Science (MRI).
GitLab at cs.ru.nl
λ x y.
x @ y .nl
Mercator 1, 03.17
6525 EC Nijmegen
PUB-2017-630 -Gimli: A Cross-Platform Permutation
TLK-2017-0720 -Toward the correctness of TweetNaCl’s Ed25519 with VST
Presentation of the correctness of the Big Num arithmetic of TweetNaCl at the Student presentation of the Deep Spec Summer School - 2017
TLK-2017-0718 -KangarooTwelve draft-viguier-kangarootwelve-00
Presentation of a RFC draft about KangarooTwelve at the IRTF Crypto Forum Research Group (CFRG) meeting in Prague. Presentation kindly done by Dang, Quynh (NIST).
TLK-2017-0605 -Bookmarks for Cryptographers
Presentation of Tikz for Cryptographer and the Crypto Stack Exchange Community at the Summer School on real-world crypto and privacy in Croatia - 2017
TLK-2016-1209 -Curve25519: Proving datatypes with a rooster
Formalization of the Big Num arithmetic of TweetNaCl at ICIS DS Lunch Talk.
Ru is a recolorized version (Radboud University colors) of the Metropolis theme by Matthias Vogelgesang.
2017 - Jul. - Deep Spec Summer School - Philadelphia
Summer School organised by UPenn, Princeton, Yale & MIT about Formal Methods and their applications to Compilers and Code verification.
2017 - Jun. - Summer School on real-world crypto and privacy - Šibenik
Summer School organised by Radboud University, KU Leuven, ETH Zurich & FER Zagreb about recent advances in symmetric and assymetric cryptography, privacy and software and hardware security.
2017 - Jan. - High Assurance Cryptographic Software Workshop - New-York
Workshop following Real World Crypto 2017.
How formal Methods and Fuzzing can improve the trust in cryptographic softare.
2016 - Internship at STMicroelectronics
Formal methods in differential and linear trail search : [report] [slides]
With respect to the original version, typos have been corrected and some parts from the Apendix have been placed after the Preface.
Presentation: A brief introduction to Logic [slides]
Copyright (C) 2017 Benoit Viguier.