Joseph Lallemand

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Venues

CoRR

CSF

IACR Cryptol. ePrint Arch.

CCS

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

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

Joseph Lallemand.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joseph Lallemand