Publications

Conferences

  • A Higher-Order Logic for Cryptographic Reasoning.
    David Baelde, Adrien Koutsos, Joseph Lallemand.
    In 38th Symposium on Logic in Computer Science (LICS'23), Boston, June 2023.
    Download: [pdf (long version)]
  • Sound Verification of Security Protocols: From Design to Interoperable Implementations.
    Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven Wiesner, David Basin, and Peter Müller.
    In 44th IEEE Symposium on Security and Privacy (S&P'23), San Francisco, May 2023.
    Download: [pdf] [pdf (long version)]
  • One Vote is Enough for Analysing Privacy.
    Stéphanie Delaune and Joseph Lallemand.
    In 27th European Symposium on Research in Computer Security (ESORICS'22), Copenhagen, September 2022.
    Download: [pdf]
  • A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
    Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou.
    In 42nd IEEE Symposium on Security and Privacy (S&P'21), Oakland, May 2021.
    Download: [pdf]
  • Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. Distinguished Paper Award
    Véronique Cortier, Joseph Lallemand, and Bogdan Warinschi.
    In 33rd IEEE Computer Security Foundations Symposium (CSF’20), Boston/Online, June 2020.
    Download: [pdf] [pdf (extended report)]
  • BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device.
    Véronique Cortier, Alicia Filipiak, and Joseph Lallemand.
    In 32nd IEEE Computer Security Foundations Symposium (CSF’19), Hoboken, June 2019.
    Download: [pdf] [pdf (long version)] [models and proofs]
  • Voting: You Can’t Have Privacy without Individual Verifiability.
    Véronique Cortier and Joseph Lallemand.
    In 25th ACM Conference on Computer and Communications Security (CCS’18), Toronto, October 2018.
    Download: [pdf] [pdf (long version)]
  • Equivalence Properties by Typing in Cryptographic Branching Protocols.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.
    In Proceedings of the 7th International Conference on Principles of Security and Trust (POST’18), Thessaloniki, April 2018.
    Download: [pdf (long version)] [Implementation - TypeEQ]
  • A Type System for Privacy Properties.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei.
    In 24th ACM Conference on Computer and Communications Security (CCS’17), Dallas, October 2017.
    Download: [pdf] [pdf (long version)] [Implementation files] [Example files]
  • Refining Authenticated Key Agreement with Strong Adversaries.
    Joseph Lallemand, David Basin, and Christoph Sprenger.
    In 2nd European Symposium on Security and Privacy (EuroS&P’17), Paris, April 2017.
    Download: [pdf] [Archive of Formal Proofs (AFP) entry of the Isabelle/HOL development]

Journals

  • Additive Normal Forms and Integration of Differential Fractions.
    François Boulier, Joseph Lallemand, François Lemaire, Georg Regensburger, and Markus Rosenkranz.
    In Journal of Symbolic Computation, vol. 77, Elsevier, 2016.
    Download: [pdf]

Thesis

  • Electronic Voting: Definitions and Analysis Techniques.
    PhD thesis, defended on 8th November, 2019 at Loria (Nancy, France).
    Download: [pdf]

Awards

  • Distinguished Paper Award, IEEE CSF 2020, for the article Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
  • Accessit of the 2020 PhD thesis award of the GdR Sécurité Informatique.