Joseph Lallemand

21 papers A* 6A 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Is one vote really enough? Vote privacy with re-voting and a dishonest ballot box.
J. Comput. Secur.
Stéphanie Delaune, Joseph Lallemand, Arthur Outrey
2025 A conf
Secrecy by Typing in the Computational Model.
CSF
Stéphanie Delaune, Clément Hérouard, Joseph Lallemand
2024 A* conf
Formal Security Analysis of Widevine through the W3C EME Standard.
USENIX Security Symposium
Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt
2024 J jnl
The Squirrel Prover and its Logic.
ACM SIGLOG News
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
2023 A* conf
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.
LICS
David Baelde, Adrien Koutsos, Joseph Lallemand
2023 A* conf
Sound Verification of Security Protocols: From Design to Interoperable Implementations.
SP
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022 — conf
One Vote Is Enough for Analysing Privacy.
ESORICS (1)
Stéphanie Delaune, Joseph Lallemand
2022 J jnl
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).
CoRR
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2021 A* conf
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
SP
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 J jnl
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
IACR Cryptol. ePrint Arch.
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 A conf
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
CSF
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
2020 J jnl
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
2019 A conf
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device.
CSF
Véronique Cortier, Alicia Filipiak, Joseph Lallemand
2019 — —
Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse).
Joseph Lallemand
2018 — conf
Equivalence Properties by Typing in Cryptographic Branching Protocols.
POST
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2018 A* conf
Voting: You Can't Have Privacy without Individual Verifiability.
CCS
Véronique Cortier, Joseph Lallemand
2017 J jnl
A Type System for Privacy Properties (Technical Report).
CoRR
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2017 A* conf
A Type System for Privacy Properties.
CCS
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2017 A conf
Refining Authenticated Key Agreement with Strong Adversaries.
EuroS&P
Joseph Lallemand, David A. Basin, Christoph Sprenger
2017 J jnl
Refining Authenticated Key Agreement with Strong Adversaries.
Arch. Formal Proofs
Joseph Lallemand, Christoph Sprenger
2016 J jnl
Additive normal forms and integration of differential fractions.
J. Symb. Comput.
François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz