Sébastien Briais

15 papers A 1B 1C 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
A formal study of two physical countermeasures against side channel attacks.
J. Cryptogr. Eng.
Sébastien Briais, Jean-Luc Danger, Sylvain Guilley
2013 J jnl
How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations.
RAIRO Oper. Res.
Sid Ahmed Ali Touati, Sébastien Briais, Karine Deschinkel
2013 J jnl
The Speedup-Test: a statistical methodology for programme speedup analysis and computation.
Concurr. Comput. Pract. Exp.
Sid Ahmed Ali Touati, Julien Worms, Sébastien Briais
2012 A conf
3D Hardware Canaries.
CHES
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
2012 J jnl
3D Hardware Canaries.
IACR Cryptol. ePrint Arch.
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
2012 J jnl
A formal study of two physical countermeasures against side channel attacks.
IACR Cryptol. ePrint Arch.
Sébastien Briais, Sylvain Guilley, Jean-Luc Danger
2012 C conf
Random Active Shield.
FDTC
Sébastien Briais, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, David Naccache, Thibault Porteboeuf
2011 J jnl
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling.
J. Comb. Optim.
Karine Deschinkel, Sid Ahmed Ali Touati, Sébastien Briais
2007 J jnl
A formal semantics for protocol narrations.
Theor. Comput. Sci.
Sébastien Briais, Uwe Nestmann
2007 J jnl
Open bisimulation, revisited.
Theor. Comput. Sci.
Sébastien Briais, Uwe Nestmann
2007 — —
Theory and tool support for the formal verification of cryptographic protocols.
Sébastien Briais
2005 — conf
A Formal Semantics for Protocol Narrations.
TGC
Sébastien Briais, Uwe Nestmann
2005 — conf
Open Bisimulation, Revisited.
EXPRESS
Sébastien Briais, Uwe Nestmann
2004 B conf
Symbolic Bisimulation in the Spi Calculus.
CONCUR
Johannes Borgström, Sébastien Briais, Uwe Nestmann
2002 — conf
Mobile Objects "Must" Move Safely.
FMOODS
Sébastien Briais, Uwe Nestmann