Thibault Porteboeuf

Multi-Level Formal Analysis, A New Direction for Fault Injection Attack?

Laurent Sauvage, Tarik Graba, Thibault Porteboeuf, 2016 .

Hardware-Enforced Protection Against Buffer Overflow Using Masked Program Counter

Sylvain Guilley, Jean-Luc Danger, Florian Praden, 2016, The New Codebreakers.

HCODE: Hardware-Enhanced Real-Time CFI

Sylvain Guilley, Jean-Luc Danger, Florian Praden, 2014, PPREW-4.

Random Active Shield

David Naccache, Sylvain Guilley, Jean-Luc Danger, 2012, 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography.

Multi-level formal verification

Laurent Sauvage, Tarik Graba, Thibault Porteboeuf, 2016, Journal of Cryptographic Engineering.

3D Hardware Canaries

David Naccache, Sylvain Guilley, Jean-Luc Danger, 2012, CHES.

Optimized linear complementary codes implementation for hardware trojan prevention

Claude Carlet, Sylvain Guilley, Jean-Luc Danger, 2015, 2015 European Conference on Circuit Theory and Design (ECCTD).