Sébastien Briais

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Countermeasures

Personal Computer

Top Venues

IACR Cryptol. ePrint Arch.

RAIRO Oper. Res.

Publications

Sébastien Briais, Jean-Luc Danger, Sylvain Guilley
A formal study of two physical countermeasures against side channel attacks. J. Cryptogr. Eng. 3 (3) (2013)
Sid Ahmed Ali Touati, Sébastien Briais, Karine Deschinkel
How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations. RAIRO Oper. Res. 47 (3) (2013)
Sid Ahmed Ali Touati, Julien Worms, Sébastien Briais
The Speedup-Test: a statistical methodology for programme speedup analysis and computation. Concurr. Comput. Pract. Exp. 25 (10) (2013)
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)
Sébastien Briais, Sylvain Guilley, Jean-Luc Danger
A formal study of two physical countermeasures against side channel attacks. IACR Cryptol. ePrint Arch. 2012 (2012)
Karine Deschinkel, Sid Ahmed Ali Touati, Sébastien Briais
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling. J. Comb. Optim. 22 (4) (2011)
Sébastien Briais, Uwe Nestmann
A formal semantics for protocol narrations. Theor. Comput. Sci. 389 (3) (2007)
Sébastien Briais, Uwe Nestmann
Open bisimulation, revisited. Theor. Comput. Sci. 386 (3) (2007)
Sébastien Briais, Uwe Nestmann
Open Bisimulation, Revisited. EXPRESS (2005)
Sébastien Briais, Uwe Nestmann
A Formal Semantics for Protocol Narrations. TGC (2005)
Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. CONCUR (2004)
Sébastien Briais, Uwe Nestmann
Mobile Objects "Must" Move Safely. FMOODS (2002)