Sébastien Briais

According to our database, Sébastien Briais authored at least 10 papers between 2002 and 2013.

Collaborative distances:

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

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

A formal study of two physical countermeasures against side channel attacks.

Sébastien Briais, Jean-Luc Danger, Sylvain Guilley

J. Cryptogr. Eng., 2013

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

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

2011

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

2007

A formal semantics for protocol narrations.

Sébastien Briais, Uwe Nestmann

Theor. Comput. Sci., 2007

2005

Open Bisimulation, Revisited.

Sébastien Briais, Uwe Nestmann

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

2004

Symbolic Bisimulation in the Spi Calculus.

Johannes Borgström, Sébastien Briais, Uwe Nestmann

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2002

Mobile Objects "Must" Move Safely.

Sébastien Briais, Uwe Nestmann

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002