Je suis un étudiant de troisième année au Département d'Informatique de l'École Normale Supérieure (ENS). Actuellement, je fais un stage dans l'équipe de cryptographie CASCADE à l'ENS sous la direction de Michel Abdalla et David Pointcheval. Je travaille sur les signatures forward-secure.
Projets et stages
-
Efficacité et sécurité contre les attaques par canaux auxiliaires des implémentations de RSA
Été 2011 - stage de 5 moisStage dans l'équipe cryptography de l'université de Bristol(anglais) The Residue Number System (RNS) is a non-classical way to implement multi-precision arithmetic for RSA. Hardware implementations of RSA using RNS have already been proposed, but software implementations seem to have had far less attention. We analyse the time and space efficiency of RNS implementations of RSA on microprocessors and compare it with classical implementations. In addition, we propose an instruction set extension (ISE) designed to accelerate RNS on RISC-style processors. We also investigate two countermeasures, against some side-channel attacks, for RNS implementations of RSA, and we partially extend them to classical implementations. -
Nooda
Automne 2010 - projet (ENS)Plateforme de communication spontanéenooda.net (en)Projet réalisé avec Ludovic Patey. Idée originale de Ludovic Patey. -
Objets physiques agrégés
et sûreté de fonctionnementÉté 2011 - stage de 3 moisStage dans l'équipe ACES à l'INRIA Rennesrapport (en) - présentationAllard, F., Banâtre, M., Ben Hamouda, F., Couderc, P. & Verdonck, J.-F. (2011), "Physical aggregated objects and dependability", January, 2011. (RR-7512), pp. 33. [Abstract] [BibTeX] [URL]Abstract: This documents deals with dependability issues of aggregated objects and RFID-based systems. It analyses the dierent categories of issues raised by these objects and proposes some measures to face them. It also provides a state of the art of actual implementations of those solutions with multiple comparisons.BibTeX:@techreport{fbenhamoInria2010, author = {Allard, Fabien and Banâtre, Michel and Ben Hamouda, Fabrice and Couderc, Paul and Verdonck, Jean-Francois}, title = {Physical aggregated objects and dependability}, year = {2011}, number = {RR-7512}, pages = {33}, url = {http://hal.inria.fr/inria-00556951/en/} } -
Sqwarea
Printemps 2010 - projet (ENS)Jeu multi-joueurs en ligne sur Windows Azuresqwarea.com (en) -
Petit microprocesseur
Printemps 2010 - projet (ENS)Et simulateur de netlists
Misc
-
P = NP avec des nombres réels ?
Automne 2009 - présentation (ENS)Machines de Blum-Shub-SmalePresentation de l'article:Fournier, H. & Koiran, P. (2000), "Lower Bounds Are Not Easier over the Reals: Inside PH", In Proceedings of the 27th International Colloquium on Automata, Languages and Programming. , pp. 832-843. [BibTeX] [URL]BibTeX:@inproceedings{fournier2000lower, author = {Fournier, H. and Koiran, P.}, title = {Lower Bounds Are Not Easier over the Reals: Inside PH}, booktitle = {Proceedings of the 27th International Colloquium on Automata, Languages and Programming}, year = {2000}, pages = {832--843}, url = {http://perso.ens-lyon.fr/pascal.koiran/Publis/lip.99-21.ps} } -
Un écoulement quotidien pas si simple
2005-2006Olympiades nationales de Physique