Thibault Porteboeuf

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Hardware And Software

Software Implementation

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Laurent Sauvage, Tarik Graba, Thibault Porteboeuf
Multi-level formal verification - A new approach against fault injection attack. J. Cryptogr. Eng. 7 (1) (2017)
Jean-Luc Danger, Sylvain Guilley, Thibault Porteboeuf, Florian Praden, Michaël Timbert
Hardware-Enforced Protection Against Buffer Overflow Using Masked Program Counter. The New Codebreakers (2016)
Claude Carlet, Abderrahman Daif, Jean-Luc Danger, Sylvain Guilley, Zakaria Najm, Xuan Thuy Ngo, Thibault Porteboeuf, Cédric Tavernier
Optimized linear complementary codes implementation for hardware trojan prevention. ECCTD (2015)
Jean-Luc Danger, Sylvain Guilley, Thibault Porteboeuf, Florian Praden, Michaël Timbert
HCODE: Hardware-Enhanced Real-Time CFI. PPREW@ACSAC (2014)
Sébastien Briais, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, David Naccache, Thibault Porteboeuf
Random Active Shield. FDTC (2012)
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
3D Hardware Canaries. CHES (2012)
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
3D Hardware Canaries. IACR Cryptol. ePrint Arch. 2012 (2012)