Thomas_Roche

Thomas Roche

Contact:

ANSSI / SGDSN
51, Bd de la Tour Maubourg
75007 Paris
France

tel : +33 (0)1 ...

emails : thomas (dot) roche (at) ssi (dot) gouv (dot) fr
th (dot) roche (at) gmail (dot) com

hoto

Vous trouverez sur cette page, l’ensemble de mes publications de recherche, mes exposés ainsi que mon curriculum vitae (en anglais) et mon manuscrit de thèse.

Je suis actuellement en poste à l'Agence nationale de la sécurité des systèmes d'information (ANSSI), au sein du laboratoire Composants.

Je suis un ancien post-doc de l’Université de Saint-Denis (Paris-8), au sein du Laboratoire Analyse, Géométrie et Applications (LAGA) et sous la direction du Pr. Claude Carlet. Ce post-doc était porté par le projet Secure-Algorithm, du pôle de compétitivité Systém@tic. Secure-Algorithm rassemblait 3 universités de la région parisienne (Telecom ParisTech, Université de Versailles Saint-Quentin-en-Yvelines et Université de Saint-Denis) et 3 industriels (Oberthur, Thales et Nagra) autour de l’analyse des contre-mesures contre les attaques par canaux auxiliaires. Ma mission était dédiée au développement de techniques de masquage d’ordre supérieur et la construction de boîtes-S intrinsèquement adaptées à de telles contre-mesures.

Ancien doctorant en co-tutelle entre l'université UJF de Grenoble et la compagnie Communication et Systèmes. Mes directeurs de thèse sont Roland Gillard côté UJF et Jean-Michel Tenkes côté CS. Ma thèse a été effectuée sein du LIG, dans l'équipe-projet MOAIS, et encadrée par Jean-Louis Roch.

Publications :

[1] Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch and Thomas Roche Adaptive Loops with Kaapi on Multicore and Grid: Applications in Symmetric Cryptography . In Parallel Symbolic Computation'07 (PASCO'07), ACM publishing, London, Ontario, Canada, July 2007
[ ACM | bib | .pdf ]
[2] Thomas Roche, Roland Gillard and Jean-Louis Roch Provable Security against Impossible Differential Cryptanalysis. Application to CS-Cipher. In Modelling, Computation and Optimization in Information Systems and Management Sciences (MCO'08) , CCIS, vol. 14, pages 597-606, Springer, Metz, France, Sept 2008
[bib | .pdf ]

[3] Thomas Roche, Mathieu Cunche, Jean-Louis Roch. Algorithm-based Fault Tolerance Applied to P2P Computing Networks. In Advances in P2P Systems (AP2PS’09), Sliema, Malta. IEEE Computer Society, Oct. 2009.
[bib | .pdf ]

[4] Thomas Roche, Cédric Tavernier. Side-channel attacks based on linear approximations. Workshop iAWACS 2009: First International Alternative Workshop on Aggressive Computing and Security, Laval France. ISBN Presses Techniques ESIEA, Oct. 2009.
[bib | .pdf ]

[5] Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski. Output-sensitive decoding for redundant residue systems. 35^th International Symposium on Symbolic and Algebraic Computation (ISSAC), Munich, Allemagne. ACM publishing, July. 2010.
[bib | .pdf ]

[6] Emmanuel Prouff, Thomas Roche. Attack on a Higher-Order Masking of the AES Based on Homographic Functions. To appear in Progress in Cryptology - INDOCRYPT 2010, December. 2010.
[bib | .pdf ]

Présentations :

· "Performances of symmetric ciphering on multiprocessor systems on chip and multi-cores" 1st Canada-France Workshop on Foundations & Practice of Security, May 31-June 2, 2008, Montreal, Quebec. [ .pdf ]

· "Provable security against Impossible Differential Cryptanalysis Application to CS-Cipher" Modeling, Computation and Optimization in Information Systems and Management Sciences, September 8-10, 2008, Luxembourg. [ .pdf ]

· "Certification de résultat sur des systèmes de calculs globaux" Workshop Apretaf: Algorithmes Parallèles, Répartis et Tolérance aux Fautes, 22-23 Janvier 2009, Grenoble. [ .pdf ]

· "Yet another side-channel attack: Multi-linear Power Analysis attack (MLPA)" Crypto’Puces: Rencontre sur les recherches actuelles en cryptographie, 2-6 Juin 2009, île de Porquerolles. [ .pdf ]

· "Multi-linear Power Analysis attack (MLPA)" WEWoRC: Western European Workshop on Research in Cryptology, July 7-9, 2009, Graz, Austria. [ .pdf ]

· "Side channel attacks based on linear approximations" Journées "Codage et Cryptographie", 4-9 Octobre 2009, Fréjus, France. [ .pdf ]

· "Algorithm-Based Fault Tolerance applied to P2P computing platform" Advances in P2P Systems, 11-16 Octobre 2009, Malte. [ .pdf ]

· "Side channel attacks based on linear approximations" First International Alternative Workshop on Aggressive Computing and Security, 23-25 Octobre 2009, Laval, France. [ .pdf ]

· "Adaptive Decoding for Evaluation/Interpolation Codes" 35th International Symposium on Symbolic and Algebraic Computation, 25-28 Juillet 2010, Munich, Allemagne. [ .pdf ]

· "Cryptanalyse multilinéaire et analyse de consommation. Contre-mesures par masquage aléatoire: avancées et défis." Séminaire Sec-Pol, 11 Mai 2010, Grenoble, France. [ .pdf ]

· "Higher Order Masking techniques against Side-Channel Analysis" Séminaire Protection de l'information, LAGA Paris 8, 18 Novembre 2010, Saint-Denis, France. [ .pdf ]

· "Attack on a Higher-Order Masking of the AES Based on Homographic Functions" Indocrypt’10, Hyderabad, India December 15, 2010. [ .pdf ]

Enseignement :

2008/2009 :

ENSIMAG, Master 1 Inernational

Instensive training sessions in algorithmic and C language (20h)

2007/2008 :

ENSIMAG, Master 1 Inernational	Instensive training sessions in algorithmic and C language (10h)
ENSIMAG, Master 1 Inernational	Project in Cryptology, Security and Coding (10h)

2006/2007 :

ENSIMAG, Master 1 Inernational	Instensive training sessions in algorithmic and C language (20h)
ENSIMAG, 2ième année	Project in Cryptology, Security and Coding (10h)

CV (Complet: 6 pages) : ICI CV (Résumé: 2 pages) : ICI

Thèse : ICI

Titre

Dimensionnement et intégration d’un chiffre symétrique dans le contexte d’un système

d’information distribué de grande taille

Résumé

L’évolution des architectures de systèmes d’information n’a de cesse depuis l’avènement des télécommunications. Pour s’adapter aux nouvelles dimensions en nombre d’utilisateurs et taille des données, les systèmes d’information modernes sont répartis et hétérogènes. Ce constat ouvre de nouveaux enjeux de sûreté de fonctionnement pour les systèmes d’information, il s’agit de garantir disponibilité, fiabilité, innocuité, confidentialité, intégrité et maintenabilité tout au long du cycle de vie du système. C’est dans ce contexte que cette thèse a été conduite, les fruits des travaux de recherche gravitent autour de plusieurs notions de la sûreté de fonctionnement :

· La confidentialité et l’intégrité avec le design, l’implémentation et l’étude de robustesse des chiffres symétriques par bloc. Les chiffres DES, AES et CS-Cipher ont été étudiés dans un spectre large rassemblant les implémentations logicielles et matérielles et leurs performances, la malléabilité des structures de diffusion, la cryptographie conventionnelle et les attaques par canaux auxiliaires.

· La fiabilité avec le développement d’algorithmes auto-tolérants aux fautes et la certification de résultats. Cette étude est dédiée aux systèmes distribués de calcul tels que les clusters, les grilles ou encore les réseaux pair-à-pairs utilisés pour des calculs d’algèbre linéaires.

Mots clés

sûreté de fonctionnement, chiffre symétrique, cryptanalyse, attaques par canaux auxiliaires, algorithmes auto-tolérants aux fautes, systèmes distribués.