- Conferences & Workshops:
- 3D Hardware Canaries, S. Briais, S. Caron, J.-M. Cioranesco, J.-L. Danger, S. Guilley, J.-H. Jourdan, A. Milchior, D. Naccache and Thibault Porteboeuf. In Proceedings of CHES 2012 (Leuven, Belgium).
- Random Active Shield, S.Briais, J.-M. Cioranesco, J.-L. Danger, S. Guilley, D. Naccache and Thibault Porteboeuf. In Proceedings of FDTC 2012 (Leuven, Belgium).
- A formal study of two physical countermeasures against side channel attacks (pdf), S. Briais, S. Guilley and J.-L. Danger. In Proceedings of PROOFS 2012 (Leuven, Belgium).
- Open Bisimulation, Revisited (pdf), S. Briais and U. Nestmann. In Proceedings of Express'05 (San Francisco, USA).
- A Formal Semantics for Protocol Narrations (pdf), S. Briais and U. Nestmann. In Proceedings of TGC'05 (Edinburgh, UK).
- Symbolic Bisimulations in the Spi Calculus (pdf), J. Borgström, S. Briais and U. Nestmann. In Proceedings of CONCUR 2004 (London, UK).
- Mobile Objects "Must" Move Safely (pdf), S. Briais and U. Nestmann. In Proceedings of FMOODS 2002 (Twente, NL).
- Journals:
- The Speedup-Test: a statistical methodology for programme speedup analysis and computation, S. Touati, J. Worms and S. Briais. In Concurrency and Computation: Practice and Experience, Volume 25, Issue 10 (July 2013).
- A formal study of two physical countermeasures against side channel attacks, S. Briais, S. Guilley and J.-L. Danger. In Journal of Cryptographic Engineering, Volume 3, Issue 3 (September 2013).
- How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations, S. Touati, S. Briais and K. Deschinkel. In RAIRO-Operations Research, Volume 47, Number 3 (July-September 2013).
- SIRALINA: Efficient two-steps heuristic for storage optimisation in single period task scheduling, K. Deschinkel and S. Touati and S. Briais. In Journal of Combinatorial Optimization (2010).
- A Formal Semantics for Protocols Narrations , S. Briais and U. Nestmann. In Theoretical Computer Science, Volume 389, Issue 3 (December 2007).
- Open Bisimulation, Revisited , S. Briais and U. Nestmann. In Theoretical Computer Science, Volume 386, Issue 3 (November 2007).
- Thesis:
- Technical reports:
- Talks:
- A Formal Semantics For Protocols Narrations (pdf), given at TGC05.
- Open Bisimulation, Revisited (pdf), given at Express'05.
- Open Bisimulation, Revisited (pdf), given as a Comète-Parsifal seminar at Lix.
- Une bisimulation ouverte pour le spi calcul (pdf), given as a Plume seminar at ENS Lyon.
- A Formalization of the Spi Calculus in Coq (pdf), given as a MSR-INRIA seminar at the MSR-INRIA joint centre.
- Theory and Tool Support for the Formal Verification of Cryptographic Protocols (pdf). Private/Public thesis defense.
- A formal study of two physical countermeasures against side channel attacks (pdf), given at PROOFS 2012.
validator.w3.org