Login / Signup
Antoine Séré
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
General Purpose
Code Generator
Functional Language
Functional Programming
Top Venues
VMCAI
IACR Trans. Cryptogr. Hardw. Embed. Syst.
IACR Cryptol. ePrint Arch.
</>
Publications
</>
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Jean-Christophe Léchenet
,
Tiago Oliveira
,
Hugo Pacheco
,
Miguel Quaresma
,
Peter Schwabe
,
Antoine Séré
,
Pierre-Yves Strub
Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch.
2023 (2023)
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Jean-Christophe Léchenet
,
Tiago Oliveira
,
Hugo Pacheco
,
Miguel Quaresma
,
Peter Schwabe
,
Antoine Séré
,
Pierre-Yves Strub
Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2023 (3) (2023)
Nathanaël Courant
,
Antoine Séré
,
Natarajan Shankar
The Correctness of a Code Generator for a Functional Language.
VMCAI
(2020)