{"id":292,"date":"2016-09-01T12:01:16","date_gmt":"2016-09-01T10:01:16","guid":{"rendered":"http:\/\/members.loria.fr\/VCortier\/?page_id=292"},"modified":"2024-03-27T11:02:38","modified_gmt":"2024-03-27T09:02:38","slug":"awards","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/VCortier\/awards\/","title":{"rendered":"Awards"},"content":{"rendered":"<p>&nbsp;<\/p>\n<ul>\n<li><a href=\"https:\/\/www.ins2i.cnrs.fr\/fr\/cnrsinfo\/medaille-dargent-du-cnrs-veronique-cortier-renforce-la-securite-du-vote-electronique\">Silver medal of CNRS 2022<\/a><\/li>\n<li>2022: promoted Officier de l&rsquo;Ordre National du M\u00e9rite<\/li>\n<li>2021: Bug bounty from Swiss Post for the discovery of an <a href=\"https:\/\/inria.hal.science\/hal-03446801\">attack<\/a> on their e-voting system.<\/li>\n<li>\n 2020 Esorics best paper award for the paper <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02903620\/file\/main.pdf\">Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols<\/a> with St\u00e9phanie Delaune and Jannik Dreier, presented at ESORICS&rsquo;20.\n<\/li>\n<li>\n 2020 CSF distinguished paper award for the paper <a href=\"https:\/\/eprint.iacr.org\/2020\/127\">Fifty Shades of Ballot Privacy: Privacy against a Malicious Board<\/a> with Joseph Lallemand, presented at CSF&rsquo;20.\n<\/li>\n<li>ERC ProSecure project (PI, 2011-2016)<\/li>\n<li>\n 2016 EASST best paper award of the ETAPS conference for the paper <a href=\"https:\/\/members.loria.fr\/VCortier\/files\/Publications\/b2hd-CDD-post16.html\">Bounding the number of agents, for equivalence too<\/a>, with Antoine Dallon and St\u00e9phanie Delaune, presented at POST&rsquo;16.\n<\/li>\n<li><a href=\"http:\/\/www.inria.fr\/en\/institute\/inria-in-brief\/inria-awards\/presentation\">Inria-French Acad\u00e9mie des sciences Young Researcher Award 2015<\/a><br \/>\nThis is one of the \u00ab\u00a0Grand Prix\u00a0\u00bb of the <a href=\"http:\/\/www.academie-sciences.fr\/en\/\">Acad\u00e9mie des sciences<\/a>.<\/li>\n<li>Outstanding community service award 2013 from the <a href=\"http:\/\/www.ieee-security.org\/\">IEEE technical committee on Security and Privacy<\/a><\/li>\n<li><a href=\"http:\/\/www.specif.org\/prix-these\/historique.html\">Thesis Award : SPECIF 2003<\/a><br \/>\nSPECIF is the French Society for Education and Research in CS. It aims at promoting Education and Research in the academic world. For 1998, SPECIF awards each year one PhD thesis in Computer Science.<\/li>\n<li><a href=\"http:\/\/www.lemonde.fr\/mde\/prix\/\">Thesis Award : Le Monde<\/a><br \/>\nLe Monde is a French daily newspaper. It is considered the French newspaper of record.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp;<\/p>\n<ul>\n<li><a href=\"https:\/\/www.ins2i.cnrs.fr\/fr\/cnrsinfo\/medaille-dargent-du-cnrs-veronique-cortier-renforce-la-securite-du-vote-electronique\">Silver medal of CNRS 2022<\/a><\/li>\n<li>2022: promoted Officier de l&rsquo;Ordre National du M\u00e9rite<\/li>\n<li>2021: Bug bounty from Swiss Post for the discovery of an <a href=\"https:\/\/inria.hal.science\/hal-03446801\">attack<\/a> on their e-voting system.<\/li>\n<li>\n 2020 Esorics best paper award for the paper <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02903620\/file\/main.pdf\">Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols<\/a> with St\u00e9phanie Delaune and Jannik Dreier, presented at ESORICS&rsquo;20.\n<\/li>\n<li>\n 2020 CSF distinguished paper award for the paper <a href=\"https:\/\/eprint.iacr.org\/2020\/127\">Fifty Shades of Ballot Privacy: Privacy against a Malicious Board<\/a> with Joseph Lallemand,<\/li>\n<\/ul>\n","protected":false},"author":92,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-292","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/pages\/292","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/users\/92"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/comments?post=292"}],"version-history":[{"count":9,"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/pages\/292\/revisions"}],"predecessor-version":[{"id":604,"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/pages\/292\/revisions\/604"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/VCortier\/wp-json\/wp\/v2\/media?parent=292"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}