Aurélien Greuet

Docteur en mathématiques

Ingénieur R&D en cryptographie

aureliengreuet[at]protonmail.com
Clé publique PGP

J'occupe actuellement un poste d'ingénieur R&D en cryptographie chez Oberthur Technologies.
Mes activités et compétences sont principalement (voir mon CV pour plus de détails):

Développement d'algorithmes cryptographiques embarqués, résistants aux attaques physiques, pour produits bancaires, mobiles et identités
Recherche et innovation sur divers sujets, en particulier la cryptographie post-quantique, la cryptographie homomorphique (FHE), les attaques side-channels et les contremesures associées
Développement en assembleur (ARM, 8051, 80251), en C et développement d'applet Javacard
Intervention pour des cours et TP de cryptographie sur carte à puce en Master 2, à l'ISFA Lyon et à l'université Pierre et Marie Curie (Paris 6)
Encadrement de stage de fin d'étude
Reviewer d'articles académiques (COSADE, CHES)

En 2013-2014, j'étais ATER à l'Université de Lille 1. J'effectuais mes recherches au sein de l'équipe calcul formel du LIFL et j'enseignais à l'IUT A de Lille 1.

J'ai soutenu ma thèse, Optimisation polynomiale et variétés polaires : théorie, algorithmes et implantations, en décembre 2013. J'étais encadré par Vincent Cossart (Université de Versailles) et Mohab Safey El Din (Équipe PolSys INRIA/LIP6/UPMC).

Le manuscrit est disponible ici : [pdf]

Logiciel

EXAGON (EXact Algebraic Global OptimizatioN): bibliothèque Maple pour la résolution exacte de problèmes d'optimisation algébrique globale. Cette bibliothèque a besoin de la bibliothèque FGb pour fonctionner.

Paquet standard [tar.gz] (bibliothèque et documentation)
Quelques exemples [.mpl]

Recherche

Thèse

Optimisation polynomiale et variétés polaires : théorie, algorithmes et implantations.
Manuscrit [pdf]
BibTeX

Revues avec comité de lecture

Probabilistic and Exact Algorithm for the Global Optimization of a Polynomial over a Real Algebraic Set
A. Greuet, M. Safey El Din.
SIAM Journal on Optimization 24(3), 1313–1343.
Version préliminaire [pdf]
Version finale [lien DOI]
BibTeX
Global optimization of polynomials restricted to a smooth variety using sums of squares
A. Greuet, F. Guo, M. Safey El Din, L. Zhi
Journal of Symbolic Computation 47 (2012), no. 5, 503-518
Version préliminaire [pdf]
Version finale [lien DOI]
BibTeX

Articles de conférences avec comité

Faster Evaluation of SBoxes via Common Shares
J.-S. Coron, A. Greuet, E. Prouff, R. Zeitoun
CHES 2016
Version complète [pdf]
Version CHES [lien DOI]
BibTeX
Deciding reachability of the infimum of a multivariate polynomial
A. Greuet, M. Safey El Din.
Proceedings of the International Symposium on Symbolic and Algebraic Computation 2011 (ISSAC 2011).
Version préliminaire [pdf]
Version finale [lien DOI]
BibTeX

Communications en conférences et workshops internationaux

Deciding reachability of the infimum of a multivariate polynomial
A. Greuet, M. Safey El Din.
International Symposium on Symbolic and Algebraic Computation 2011
San Jose, Californie. 11 juin 2011
Polar Varieties and Global Optimization Problem
Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation (Page web)
Jeune chercheur invité
Waterloo, Canada, 19 novembre 2011.
Exact Polynomial Optimization: Algorithms, Complexity and Implementation
Asian Symposium on Computer Mathematics (Page web)
Orateur invité
Pékin, Chine, 27 octobre 2012.

Échanges

Décembre 2010 :
Invité au Mathematics Mechanization Research Center, Institute of Systems Science de l'Académie des Sciences Chinoise, à Pékin (Chine), dans le cadre du projet ANR/NSFC EXACTA.

Exposés

Optimisation polynomiale sous contraintes par les sommes de carrés et les variétés polaires
Séminaire de l'Academy of Mathematics and Systems Science (Académie des Sciences Chinoise)
Pékin, 23 décembre 2010.
Variétés polaires et optimisation
Séminaire Algorithm
INRIA Paris/Rocquencourt 31 janvier 2011.
Décider si la borne inférieure d'un polynôme à plusieurs variables est atteinte
Séminaire SALSA
LIP6/UPMC/INRIA 11 février 2011.
Résolution de problèmes d'optimisation par les variétés polaires
Séminaire de l'équipe Algèbre et Géometrie
Université de Versailles 5 avril 2011.
Using Polar varieties for solving optimization problems
Séminaire Calcul Formel
Université de Limoges 13 octobre 2011.
Algorithme pour l'optimisation algébrique globale
Journées nationales du calcul formel (JNCF)
CIRM 13 mai 2013.
Global algebraic optimization
Séminaire d'algèbre et géométrie réelle
Konstanz (Allemagne) 5 juillet 2013.
Variétés polaires et optimisation polynomiale
Séminaire de geometrie
LAMA, Université de Savoie, Chambéry 19 décembre 2013.
Variétés polaires et optimisation polynomiale
Séminaire de calcul formel et complexité
Université de Rennes 1, 21 mars 2014.
Variétés polaires et optimisation polynomiale
Séminaire de géométrie algorithmique
Loria, Nancy, 28 mars 2014.

Enseignement

Année 2016/2017 :
- TP de cryptographie sur carte à puce : développement d'une applet de paiement bancaire (Université Pierre et Marie Curie, M2)
Année 2015/2016 :
- Cours/TP de cryptographie sur carte à puce et d'attaques side-channels (ISFA Lyon, M2)
- TP d'attaque side-channel sur l'AES (Université Pierre et Marie Curie, M2)
Année 2013/2014 (Département d'Informatique, IUT A de Lille 1) :
- TD/TP d'interface graphique en Java (DUT Informatique, 2ème année)
- TD/TP de programmation système en C (DUT Informatique, 2ème année)
- TP d'applications web/bases de données (Java, Tomcat, JDBC, MySQL) (DUT Informatique, 2ème année)
- TD d'algèbre et géométrie (DUT Informatique, 2ème année)
Année 2012/2013 (Département de Mathématiques, Université de Versailles) :
- TD LSMA350 (Mathématiques Assistées par Ordinateur, niveau L2) :
- TD LSMA610 (Groupes et Géométrie, niveau L3)
Année 2011/2012 (Département de Mathématiques, Université de Versailles) :
- Cours/TD LSMA100B (Cours de mathématiques générales pour la biologie, niveau L1)
- TD MSMA910 (Algèbre commutative et effectivité, niveau M2)
Année 2010/2011 (Département de Mathématiques, Université de Versailles) :
- Cours/TD LSMA100B (Cours de mathématiques générales pour la biologie, niveau L1);

J'ai participé à l'animation d'un stage mathématique et algorithmique dans le cadre du projet MathC2+.

Une introduction au logiciel de calcul formel Sage
Cryptographie et cryptanalyse asymétrique. Courbes elliptiques et échange de clé sécurisé
Le code Sage correspondant à l'activité sur la cryptographie. On peut le copier/coller ou l'importer dans Sage :
- sur une machine linux/mac, avec le fichier dans /home/user/, à l'aide de la commande "attach(/home/user/mathc2+_code.sage)",
- sur une machine windows, il faut d'abord créer un dossier de partage entre windows et la machine virtuelle qui fait tourner Sage, cf http://wiki.sagemath.org/. Si le dossier partagé s'appelle Partage, on peut importer le code avec la commande "attach(/media/sf_Partage/mathc2+_code.sage)".

CV

Un court CV.