Additive normal forms and integration of differential fractions. - François Boulier; François Lemaire; Joseph Lallemand; Georg Regensburger; Markus Rosenkranz (J. Symb. Comput., 2016)

A Type System for Privacy Properties. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CCS, 2017)

Refining Authenticated Key Agreement with Strong Adversaries. - Joseph Lallemand; David A. Basin; Christoph Sprenger 001 (EuroS&P, 2017)

Refining Authenticated Key Agreement with Strong Adversaries. - Joseph Lallemand; Christoph Sprenger 001 (Arch. Formal Proofs, 2017)

A Type System for Privacy Properties (Technical Report). - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CoRR, 2017)

Voting: You Can't Have Privacy without Individual Verifiability. - Véronique Cortier; Joseph Lallemand (CCS, 2018)

Equivalence Properties by Typing in Cryptographic Branching Protocols. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (POST, 2018)

BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device. - Véronique Cortier; Alicia Filipiak; Joseph Lallemand (CSF, 2019)

Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse). - Joseph Lallemand (2019)

Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. - Véronique Cortier; Joseph Lallemand; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2020)

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 025 (IACR Cryptol. ePrint Arch., 2020)

One Vote Is Enough for Analysing Privacy. - Stéphanie Delaune; Joseph Lallemand (ESORICS (1), 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (CoRR, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. - David Baelde; Adrien Koutsos; Joseph Lallemand (LICS, 2023)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (SP, 2023)

Formal Security Analysis of Widevine through the W3C EME Standard. - Stéphanie Delaune; Joseph Lallemand; Gwendal Patat; Florian Roudot; Mohamed Sabt (USENIX Security Symposium, 2024)

The Squirrel Prover and its Logic. - David Baelde; Stéphanie Delaune; Charlie Jacomme; Adrien Koutsos; Joseph Lallemand (ACM SIGLOG News, 2024)

Secrecy by Typing in the Computational Model. - Stéphanie Delaune; Clément Hérouard; Joseph Lallemand (CSF, 2025)

Is one vote really enough? Vote privacy with re-voting and a dishonest ballot box. - Stéphanie Delaune; Joseph Lallemand; Arthur Outrey (J. Comput. Secur., 2025)