Publications

Conférences

  • A Higher-Order Logic for Cryptographic Reasoning.
    David Baelde, Adrien Koutsos, Joseph Lallemand.
    In 38th Symposium on Logic in Computer Science (LICS'23), Boston, Juin 2023.
    Télécharger : [pdf (version longue)]
  • 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, et Peter Müller.
    In 44th IEEE Symposium on Security and Privacy (S&P'23), San Francisco, Mai 2023.
    Télécharger : [pdf] [pdf (version longue)]
  • One Vote is Enough for Analysing Privacy.
    Stéphanie Delaune et Joseph Lallemand.
    In 27th European Symposium on Research in Computer Security (ESORICS'22), Copenhague, Septembre 2022.
    Télécharger : [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, Yi Zhou.
    In 42nd IEEE Symposium on Security and Privacy (S&P'21), Oakland, Mai 2021.
    Télécharger : [pdf]
  • Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. Distinguished Paper Award
    Véronique Cortier, Joseph Lallemand, Bogdan Warinschi.
    In 33rd IEEE Computer Security Foundations Symposium (CSF’20), Boston/En ligne, Juin 2020.
    Télécharger : [pdf] [pdf (version longue)]
  • BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device.
    Véronique Cortier, Alicia Filipiak, Joseph Lallemand.
    In 32nd IEEE Computer Security Foundations Symposium (CSF’19), Hoboken, Juin 2019.
    Télécharger : [pdf] [pdf (version longue)] [modèles et preuves]
  • Voting: You Can’t Have Privacy without Individual Verifiability.
    Véronique Cortier, Joseph Lallemand.
    In 25th ACM Conference on Computer and Communications Security (CCS’18), Toronto, Octobre 2018.
    Télécharger : [pdf] [pdf (version longue)]
  • Equivalence Properties by Typing in Cryptographic Branching Protocols.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei.
    In Proceedings of the 7th International Conference on Principles of Security and Trust (POST’18), Thessaloniki, Avril 2018.
    Télécharger : [pdf (version longue)] [Implémentation - TypeEQ]
  • A Type System for Privacy Properties.
    Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei.
    In 24th ACM Conference on Computer and Communications Security (CCS’17), Dallas, Octobre 2017.
    Télécharger : [pdf] [pdf (version longue)] [Implémentation] [Fichiers d'exemples]
  • Refining Authenticated Key Agreement with Strong Adversaries.
    Joseph Lallemand, David Basin, Christoph Sprenger.
    In 2nd European Symposium on Security and Privacy (EuroS&P’17), Paris, Avril 2017.
    Télécharger : [pdf] [Preuves en Isabelle/HOL sur l'Archive of Formal Proofs (AFP)]

Journaux

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

Thèse

  • Vote électronique : définitions et techniques d’analyse.
    Thèse de doctorat, soutenue le 08 novembre 2019 au Loria (Nancy, France).
    Télécharger : [pdf]

Prix

  • Distinguished Paper Award, IEEE CSF 2020, pour l’article Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
  • Accessit du prix de thèse 2020 du GdR Sécurité Informatique.