Thibault Porteboeuf

According to our database, Thibault Porteboeuf authored at least 6 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Multi-level formal verification - A new approach against fault injection attack.

Laurent Sauvage, Tarik Graba, Thibault Porteboeuf

J. Cryptogr. Eng., 2017

2016

Hardware-Enforced Protection Against Buffer Overflow Using Masked Program Counter.

Jean-Luc Danger, Sylvain Guilley, Thibault Porteboeuf, Florian Praden, Michaël Timbert

Proceedings of the New Codebreakers, 2016

2015

Optimized linear complementary codes implementation for hardware trojan prevention.

Claude Carlet, Abderrahman Daif, Jean-Luc Danger, Sylvain Guilley, Zakaria Najm, Xuan Thuy Ngo, Thibault Porteboeuf, Cédric Tavernier

Proceedings of the European Conference on Circuit Theory and Design, 2015

2014

HCODE: Hardware-Enhanced Real-Time CFI.

Jean-Luc Danger, Sylvain Guilley, Thibault Porteboeuf, Florian Praden, Michaël Timbert

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2012

3D Hardware Canaries.

Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf

IACR Cryptol. ePrint Arch., 2012

Random Active Shield.

Sébastien Briais, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, David Naccache, Thibault Porteboeuf

Proceedings of the 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2012