Aurélien Greuet Ph.D. in Mathematics Cryptography R&D Engineer
56 boulevard de Verdun 92400 Courbevoie – France H +33.6.24.83.44.50 B
[email protected] Í http://aureliengreuet.free.fr/ Born on October 28, 1985
Experience August 2014–
2013 – 2014
2010 – 2013 Subject Supervisors Teaching June 2012
Cryptography R&D Engineer, IDEMIA (formerly Oberthur Technologies). { Development of crypto algorithms for smartcards, secure against physical attacks, for banking, mobile and identity products { Research on various subject like post-quantum crypto, fully homomorphic encryption, bitslice implementations, side-channel attacks and countermeasures { Coding in ARM, 8051 and 80251 assembly, C and Java Card applets { Courses and tutorials on cryptography for smartcards for M.Sc students at ISFA Lyon and Université Pierre and Marie Curie { Advisor for M.Sc internship on post-quantum crypto and HFEv− implementation on smartcard Research and teaching assistant (ATER). { Research on computer algebra at Laboratoire d’Informatique de Lille (LIFL), France. { Teaching undergraduate math and computer science at IUT A de Lille, France Ph.D. Student. Polynomial Optimization and Polar Varieties : Theory, Algorithms and Implementations. Vincent Cossart, Mathematics laboratory, University of Versailles, France Mohab Safey El Din, Computer Science laboratory, Inria/UPMC, France Math for undergraduate and M.Sc students (L1, L2, L3 and M2) Popularization of Mathematics and Computer Science for highschool student. Courses on computer algebra and applications to cryptography and cryptanalysis
2010
Master in Cryptography and Computer Algebra (M2), University of Versailles.
2009
Agrégation de mathématiques, Ranked 171st. Civil service competitive examination for high school teacher positions.
2007 2006
Master in Mathematics (M1), University Pierre and Marie Curie. Bachelor in Mathematics, University Pierre and Marie Curie.
Publications 2016
Faster Evaluation of SBoxes via Common Shares, J.-S. Coron, A. Greuet, E. Prouff, R. Zeitoun, [CHES 2016].
2014
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].
2012
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].
2011
Deciding reachability of the infimum of a multivariate polynomial, Aurélien Greuet, Mohab Safey El Din. [ISSAC 2011].
1/2
International Talks and Visits October 2012
Exact Polynomial Optimization : Algorithms, Complexity and Implementation, Asian Symposium on Computer Mathematics, Invited speaker. Chinese Academy of Sciences, Beijing, China
November 2011
Polar Varieties and Global Optimization Problem, Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Invited Young Researcher. University of Waterloo, Canada
June 2011 December 2010
Deciding reachability of the infimum of a multivariate polynomial, International Symposium on Symbolic and Algebraic Computation (ISSAC), San Jose, CA . Short-term visit (2 weeks), Mathematics Mechanization Research Center. Chinese Academy of Sciences, Beijing, China
Talks { { { { { { { { {
Seminar on algorithmic geometry, Loria, Nancy, March 2014 Seminar on computer algebra and complexity, université of Rennes 1, March 2014 Seminar on geometry, université de Savoie, December 2013 Seminar on algebra and real geometry, Konstanz, Germany, July 2013 Seminar on computer algebra, université de Limoges, October 2011 Seminar on algebra and geometry, université de Versailles, February 2011 Team SALSA’s seminar, université de Paris 6, February 2011 Team ALGO’s seminar, Inria Paris-Rocquencourt, January 2011 Seminar of the Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China, December 2010
Computer Skills OS Scientific
Linux, Mac OS X Maple, Sage
Programming Typography
ARM, 8051 and 80251 assembly, C, Java Card Applets LATEX
Languages French
Native
English
Fluent
Other Activities Interest
Martial arts, running
2/2
