{"id":8,"date":"2022-04-04T07:58:05","date_gmt":"2022-04-04T07:58:05","guid":{"rendered":"http:\/\/gerault.xyz\/?page_id=8"},"modified":"2022-04-18T07:06:19","modified_gmt":"2022-04-18T07:06:19","slug":"about","status":"publish","type":"page","link":"https:\/\/gerault.xyz\/","title":{"rendered":"About"},"content":{"rendered":"\n<div class=\"wp-block-image is-style-rounded\"><figure class=\"aligncenter size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-1024x1024.jpg\" alt=\"\" class=\"wp-image-4\" width=\"260\" height=\"260\" srcset=\"https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-1024x1024.jpg 1024w, https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-300x300.jpg 300w, https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-150x150.jpg 150w, https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-768x768.jpg 768w, https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-1536x1536.jpg 1536w, https:\/\/gerault.xyz\/wp-content\/uploads\/2022\/04\/pic_square-2048x2048.jpg 2048w\" sizes=\"auto, (max-width: 260px) 100vw, 260px\" \/><\/figure><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Biography<\/h2>\n\n\n\n<p>After a masters degree at Universite Claude Bernard (Lyon, France), I obtained a PhD.  from Universite Clermont Auvergne (Clermont-Ferrand, France) with <a href=\"https:\/\/sancy.iut-clermont.uca.fr\/~lafourcade\/index-en.html\" target=\"_blank\" rel=\"noreferrer noopener\">Pascal Lafourcade<\/a>. I was then a post-doctoral researcher under Thomas Peyrin at NTU (Singapore) from 2018 to 2020, and a Lecturer at University of Surrey (Guildford, UK) from 2020 to 2021. I am now a senior cryptanalyst at TII. <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Research Interests<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Automated Cryptanalysis: Optimisation and AI techniques can be used to make the tasks of cryptographers easier, both in analysing and designing new primitives. My main research interest is making these processes as automatic and seamless as possible, through tools such as constraint programming, MILP, SAT solvers, and machine learning.<\/li><\/ul>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Provable Security: Security protocols are increasingly complex, and strong security guarantees are needed. My secondary research interest is security models and proofs, in particular for distance bounding protocols.<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Publications<\/h2>\n\n\n\n<p>Please check my <a href=\"https:\/\/dblp.org\/pid\/176\/2901.html\" target=\"_blank\" rel=\"noreferrer noopener\">dblp<\/a> or <a href=\"https:\/\/scholar.google.com\/citations?user=tJURkm0AAAAJ&amp;hl=en&amp;oi=ao\" target=\"_blank\" rel=\"noreferrer noopener\">google scholar<\/a> profiles for a detailed list.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Biography After a masters degree at Universite Claude Bernard (Lyon, France), I obtained a PhD. from Universite Clermont Auvergne (Clermont-Ferrand, France) with Pascal Lafourcade. I&#8230;<\/p>\n<div class=\"more-link-wrapper\"><a class=\"more-link\" href=\"https:\/\/gerault.xyz\/\">Continue reading<span class=\"screen-reader-text\">About<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-8","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/pages\/8","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/gerault.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=8"}],"version-history":[{"count":2,"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/pages\/8\/revisions"}],"predecessor-version":[{"id":35,"href":"https:\/\/gerault.xyz\/index.php?rest_route=\/wp\/v2\/pages\/8\/revisions\/35"}],"wp:attachment":[{"href":"https:\/\/gerault.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}