Rémi Hutin

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Program Slicing

Formal Verification

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Gilles Barthe, Sandrine Blazy, Rémi Hutin, David Pichardie
Secure Compilation of Constant-Resource Programs. CSF (2021)
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu
Formal verification of a constant-time preserving C compiler. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu
Formal Verification of a Constant-Time Preserving C Compiler. IACR Cryptol. ePrint Arch. 2019 (2019)
Sandrine Blazy, Rémi Hutin
Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions. CPP (2019)