{"id":19,"date":"2020-04-29T10:20:12","date_gmt":"2020-04-29T08:20:12","guid":{"rendered":"http:\/\/manonbertin.com\/?page_id=19"},"modified":"2020-04-30T14:00:27","modified_gmt":"2020-04-30T12:00:27","slug":"recherche","status":"publish","type":"page","link":"https:\/\/manonbertin.com\/en\/recherche\/","title":{"rendered":"Research"},"content":{"rendered":"<h3>Mon sujet de th\u00e8se<\/h3>\n\n\n\n<figure class=\"wp-block-pullquote is-style-default\"><blockquote><p>\u00c9tude de primitives cryptographiques post-quantiques bas\u00e9es sur les codes correcteurs d&rsquo;erreurs<\/p><\/blockquote><\/figure>\n\n\n\n<h3>En quelques mots&#8230;<\/h3>\n\n\n\n<p>Les avanc\u00e9es r\u00e9centes autour de l\u2019ordinateur quantique ont provoqu\u00e9 une acc\u00e9l\u00e9ration de la recherche autour d\u2019une cryptographie post-quantique. En effet, cette cryptographie, qui doit \u00eatre utilisable sur tout ordinateur, a pour but de r\u00e9sister autant aux ordinateurs quantiques qu\u2019aux ordinateurs classiques actuels. C\u2019est dans cette optique que le National Institute of Standards and Technology (NIST) a lanc\u00e9 en 2017 un appel \u00e0 soumissions pour trouver les algorithmes qui pourront \u00eatre standardis\u00e9s dans les prochaines ann\u00e9es. Parmi les soumissions propos\u00e9es fin 2017, on trouve plusieurs familles, dont la cryptographie bas\u00e9e sur les codes correcteurs d\u2019erreurs. C\u2019est la famille de cryptosyst\u00e8mes \u00e0 laquelle je m\u2019int\u00e9resse dans ma th\u00e8se.<\/p>\n\n\n\n<p>Plus particuli\u00e8rement, je m\u2019int\u00e9resse aux attaques alg\u00e9briques sur ces soumissions autour des codes correcteurs d\u2019erreurs. Il s\u2019agit de former un syst\u00e8me d\u2019\u00e9quations polynomiales \u00e0 partir des \u00e9l\u00e9ments publics et connus du cryptosyst\u00e8me, et de chercher \u00e0 le r\u00e9soudre. En compl\u00e9ment de la r\u00e9solution elle-m\u00eame, on analyse \u00e9galement sa complexit\u00e9, afin de savoir si l\u2019attaque est r\u00e9alisable en pratique ou si celle-ci est uniquement th\u00e9orique.<\/p>\n\n\n\n<p>Pendant la premi\u00e8re partie de ma th\u00e8se, j\u2019ai examin\u00e9 la soumission au NIST appel\u00e9e DAGS (pour DyAdic Generalized Srivastava). Avec mes encadrants, nous avons \u00e9tudi\u00e9 une attaque r\u00e9alis\u00e9e pr\u00e9c\u00e9demment sur ce cryptosyst\u00e8me. L\u2019\u00e9tude approfondie du fonctionnement de cette attaque a permis dans un premier temps d\u2019am\u00e9liorer significativement les temps de l\u2019attaque sur les ensembles de param\u00e8tres d\u00e9j\u00e0 cass\u00e9s. Dans un second temps, une meilleure compr\u00e9hension de la complexit\u00e9 a rendu possible l\u2019attaque de deux autres ensembles de param\u00e8tres. Ces travaux ont abouti \u00e0 la soumission d\u2019un article au Code-Based Cryptography Workshop (CBC), que j\u2019ai pu pr\u00e9senter \u00e0 Darmstadt, en Allemagne, en mai 2019. Suite \u00e0 la premi\u00e8re attaque, le cryptosyst\u00e8me DAGS n\u2019a pas \u00e9t\u00e9 retenu pour la suite de l\u2019appel \u00e0 soumissions.<\/p>\n\n\n\n<p>Par la suite, j\u2019ai poursuivi l\u2019\u00e9tude de la complexit\u00e9 de la r\u00e9solution du syst\u00e8me associ\u00e9 \u00e0 DAGS. Tout d\u2019abord, cela va permettre de fournir une complexit\u00e9 pr\u00e9cise pour tous les ensembles de param\u00e8tres de DAGS qui ont \u00e9t\u00e9 propos\u00e9s lors de sa soumission et de donner des param\u00e8tres minimaux afin de garantir sa s\u00e9curit\u00e9 face \u00e0 l\u2019ataque pr\u00e9sent\u00e9e. L\u2019autre int\u00earet est de pouvoir acc\u00e9l\u00e9rer une nouvelle fois la r\u00e9solution en compl\u00e9tant le syst\u00e8me avec de nouvelles \u00e9quations. Enfin, cette analyse approfondie et les r\u00e9sultats qui en d\u00e9coulent pourront ensuite \u00eatre \u00e9tendus \u00e0 des syst\u00e8mes aux propri\u00e9t\u00e9s similaires, ou \u00e0 des syst\u00e8mes l\u00e9g\u00e8rement diff\u00e9rents \u00e0 l\u2019aide d\u2019une \u00e9tude suppl\u00e9mentaire.<\/p>\n\n\n\n<p><strong>Mots cl\u00e9s :<\/strong> cryptographie post-quantique, syst\u00e8mes polynomiaux multivari\u00e9s, bases de Gr\u00f6bner, cryptanalyse, attaques alg\u00e9briques<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<h3>Publications<\/h3>\n\n\n\n<h4>Publications avec actes en conf\u00e9rence internationale<\/h4>\n\n\n\n<ul><li>Bardet Magali, Bertin Manon, Couvreur Alain, Otmani Ayoub. Practical Algebraic Attack on DAGS. In : Baldi M., Persichetti E., Santini P. (eds) Code-Based Cryptography.<em> CBC 2019<\/em>. Lecture Notes in Computer Science, vol 11666. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-25922-8_5<\/li><\/ul>\n\n\n\n<h4>Expos\u00e9s et s\u00e9minaires invit\u00e9s<\/h4>\n\n\n\n<ul><li> Bardet Magali, Bertin Manon, Couvreur Alain, Otmani Ayoub. Practical Algebraic Attack on DAGS. <em>Groupe de travail Cryptographie bas\u00e9e sur les codes<\/em>, organis\u00e9 par Jean-Pierre Tillich. INRIA Paris, avril 2019.<\/li><\/ul>\n\n\n\n<ul><li>Bardet Magali, Bertin Manon, Couvreur Alain, Otmani Ayoub. Understanding the complexity of an algebraic attack on the DAGS cryptosystem. <em>Journ\u00e9es Nationales de Calcul Formel<\/em>. CIRM, Luminy, mars 2020. <a href=\"http:\/\/manonbertin.com\/wp-content\/uploads\/2020\/04\/2020_JNCF_Bertin.pdf\">[Slides]<\/a><\/li><\/ul>\n\n\n\n<ul><li>Bardet Magali, Bertin Manon, Couvreur Alain, Otmani Ayoub. Understanding the complexity of an algebraic attack on the DAGS cryptosystem.<em> Journ\u00e9es Codes et Cryptographie 2020<\/em>. Erdeven, Bretagne. Initialement pr\u00e9vu en mars 2020, report\u00e9 \u00e0 novembre 2020 suite au Covid-19.<\/li><\/ul>\n\n\n\n<ul><li>Bardet Magali, Bertin Manon, Couvreur Alain, Otmani Ayoub. Cryptosyst\u00e8me DAGS : fonctionnement, attaque et complexit\u00e9. <em>S\u00e9minaire Universit\u00e9 Paris 8<\/em>. Initialement pr\u00e9vu en mars 2020, report\u00e9 suite au Covid-19.<\/li><\/ul>\n\n\n\n<h4>Diffusion de la culture scientifique<\/h4>\n\n\n\n<ul><li>Bertin Manon. Overview of post-quantum cryptography. <em>Journ\u00e9e des Doctorants<\/em> de l\u2019Association des Doctorants et Docteurs des \u00c9coles Doctorales PSIME &amp; MIIS de Rouen et Le Havre (ADDED). Rouen, juillet 2019.<\/li><\/ul>\n\n\n\n<ul><li>Bertin Manon. Study of post-quantum cryptography schemes based on error-correcting codes. <em>Journ\u00e9e de Doctorants du Laboratoire d&rsquo;Informatique, du Traitement de l&rsquo;Information et des Syst\u00e8mes (LITIS)<\/em>. Le Havre, juillet 2019.<\/li><\/ul>\n\n\n\n<ul><li>Bertin Manon. \u00c9tude de primitive cryptographiques post-quantiques bas\u00e9es sur les codes correcteurs d\u2019erreurs. Participation \u00e0 <em>Ma Th\u00e8se en 180 secondes<\/em>, vulgarisation du sujet de th\u00e8se pour le grand public. Caen, mars 2020.<\/li><\/ul>\n\n\n\n<h4>Prix et distinctions<\/h4>\n\n\n\n<ul><li>Prix de la meilleure pr\u00e9sentation de la session Informatique lors de la <em>Journ\u00e9e des Doctorants de l\u2019ADDED<\/em>. Rouen, juillet 2019.<\/li><\/ul>","protected":false},"excerpt":{"rendered":"<p>Mon sujet de th\u00e8se \u00c9tude de primitives cryptographiques post-quantiques bas\u00e9es sur les codes correcteurs d&rsquo;erreurs En quelques mots&#8230; Les avanc\u00e9es r\u00e9centes autour de l\u2019ordinateur quantique ont provoqu\u00e9 une acc\u00e9l\u00e9ration de la recherche autour d\u2019une cryptographie post-quantique. En effet, cette cryptographie, [&hellip;]<\/p>","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/pages\/19"}],"collection":[{"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/comments?post=19"}],"version-history":[{"count":27,"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/pages\/19\/revisions"}],"predecessor-version":[{"id":116,"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/pages\/19\/revisions\/116"}],"wp:attachment":[{"href":"https:\/\/manonbertin.com\/en\/wp-json\/wp\/v2\/media?parent=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}