{"id":13,"date":"2015-06-15T10:26:53","date_gmt":"2015-06-15T08:26:53","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=13"},"modified":"2021-02-24T18:00:21","modified_gmt":"2021-02-24T17:00:21","slug":"publications","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/JLallemand\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<p><strong>This is my old (outdated) webpage. Please visit the new one <a href=\"https:\/\/people.irisa.fr\/Joseph.Lallemand\">here<\/a>.<\/strong><\/p>\n<h2>Conferences<\/h2>\n<ul>\n<li><strong class=\"ptitre\">A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.<\/strong> <span class=\"pauteur\"> Antoine Delignat-Lavaud, C\u00e9dric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou.<\/span><br \/>\nIn <span class=\"pconf\">42nd IEEE Symposium on Security and Privacy (S&amp;P&rsquo;21), Oakland, May 2021 (to appear).<\/span><\/li>\n<li><strong class=\"ptitre\">Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.<\/strong> <span class=\"pauteur\"> V\u00e9ronique Cortier, Joseph Lallemand, and Bogdan Warinschi.<\/span><br \/>\nIn <span class=\"pconf\">33rd IEEE Computer Security Foundations Symposium (CSF&rsquo;20), Boston, June 2020.<\/span><\/li>\n<li><strong class=\"ptitre\">BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device.<\/strong> <span class=\"pauteur\"> V\u00e9ronique Cortier, Alicia Filipiak, and Joseph Lallemand.<\/span><br \/>\nIn <span class=\"pconf\">32nd IEEE Computer Security Foundations Symposium (CSF&rsquo;19), Hoboken, June 2019.<\/span><br \/>\nDownload: <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/csf19.pdf\">[pdf]<\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/csf19-report.pdf\"> [pdf (long version)] <\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/beleniosvs\/\">[model and proofs of the protocol]<\/a><\/li>\n<li><strong class=\"ptitre\">Voting: You Can&rsquo;t Have Privacy without Individual Verifiability.<\/strong> <span class=\"pauteur\"> V\u00e9ronique Cortier and Joseph Lallemand.<\/span><br \/>\nIn <span class=\"pconf\">25th ACM Conference on Computer and Communications Security (CCS&rsquo;18), Toronto, October 2018.<\/span><br \/>\nDownload: <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/ccs18.pdf\">[pdf]<\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/ccs18-report.pdf\"> [pdf (long version)] <\/a><\/li>\n<li><strong class=\"ptitre\">Equivalence Properties by Typing in Cryptographic Branching Protocols.<\/strong> <span class=\"pauteur\"> V\u00e9ronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.<\/span><br \/>\nIn <span class=\"pconf\">Proceedings of the 7th International Conference on Principles of Security and Trust (POST&rsquo;18), Thessaloniki, April 2018.<\/span><br \/>\nDownload: <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/post18.pdf\">[pdf (long version)]<\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/typing\">[implementation files]<\/a><\/li>\n<li><strong class=\"ptitre\">A Type System for Privacy Properties.<\/strong> <span class=\"pauteur\">V\u00e9ronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.<\/span><br \/>\nIn <span class=\"pconf\">24th ACM Conference on Computer and Communications Security (CCS&rsquo;17), Dallas, October 2017.<\/span><br \/>\nDownload: <a href=\"https:\/\/arxiv.org\/abs\/1708.08340\">[pdf (long version)]<\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/ccs17\/typeeq.zip\">[Typeeq Implementation files]<\/a> <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/ccs17\/benchmarks.zip\">[Example files]<\/a><\/li>\n<li><strong class=\"ptitre\">Refining Authenticated Key Agreement with Strong Adversaries.<\/strong> <span class=\"pauteur\">Joseph Lallemand, David Basin, and Christoph Sprenger.<\/span><br \/>\nIn <span class=\"pconf\">2nd European Symposium on Security and Privacy (EuroS&amp;P&rsquo;17), Paris, April 2017.<\/span><br \/>\nDownload: <a href=\"https:\/\/members.loria.fr\/JLallemand\/files\/papers\/compromising.pdf\">[pdf]<\/a> <a href=\"https:\/\/www.isa-afp.org\/entries\/Security_Protocol_Refinement.html\">[Archive of Formal Proofs entry of Isabelle\/HOL development]<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>This is my old (outdated) webpage. Please visit the new one <a href=\"https:\/\/people.irisa.fr\/Joseph.Lallemand\">here<\/a>.<\/p>\n<p>Conferences<\/p>\n<ul>\n<li>A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.  Antoine Delignat-Lavaud, C\u00e9dric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou.<br \/>\nIn 42nd IEEE Symposium on Security and Privacy (S&amp;P&rsquo;21), Oakland, May 2021 (to appear).<\/li>\n<li>Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.  V\u00e9ronique Cortier, Joseph Lallemand, and Bogdan Warinschi.<br \/>\nIn 33rd IEEE Computer Security Foundations Symposium (CSF&rsquo;20), Boston, June 2020.<\/li>\n<li>BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device.<\/li>\n<\/ul>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":46,"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":385,"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/pages\/13\/revisions\/385"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/JLallemand\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}