Mobile Objects "Must" Move Safely. - Sébastien Briais; Uwe Nestmann (FMOODS, 2002)

Symbolic Bisimulation in the Spi Calculus. - Johannes Borgström; Sébastien Briais; Uwe Nestmann (CONCUR, 2004)

A formal semantics for protocol narrations. - Sébastien Briais; Uwe Nestmann (Theor. Comput. Sci., 2007)

Open bisimulation, revisited. - Sébastien Briais; Uwe Nestmann (Theor. Comput. Sci., 2007)

SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling. - Karine Deschinkel; Sid Ahmed Ali Touati; Sébastien Briais (J. Comb. Optim., 2011)

Random Active Shield. - Sébastien Briais; Jean-Michel Cioranesco; Jean-Luc Danger; Sylvain Guilley; David Naccache; Thibault Porteboeuf (FDTC, 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)

The Speedup-Test: a statistical methodology for programme speedup analysis and computation. - Sid Ahmed Ali Touati; Julien Worms; Sébastien Briais (Concurr. Comput. Pract. Exp., 2013)

A formal study of two physical countermeasures against side channel attacks. - Sébastien Briais; Jean-Luc Danger; Sylvain Guilley (J. Cryptogr. Eng., 2013)

How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations. - Sid Ahmed Ali Touati; Sébastien Briais; Karine Deschinkel (RAIRO Oper. Res., 2013)