Joseph Lallemand

According to our database, Joseph Lallemand authored at least 19 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The Squirrel Prover and its Logic.

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand

ACM SIGLOG News, April, 2024

Formal Security Analysis of Widevine through the W3C EME Standard.

Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

Sound Verification of Security Protocols: From Design to Interoperable Implementations.

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.

David Baelde, Adrien Koutsos, Joseph Lallemand

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations.

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

Dataset, August, 2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations.

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

Dataset, August, 2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

CoRR, 2022

One Vote Is Enough for Analysing Privacy.

Stéphanie Delaune, Joseph Lallemand

Proceedings of the Computer Security - ESORICS 2022, 2022

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

IACR Cryptol. ePrint Arch., 2020

Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.

Véronique Cortier, Joseph Lallemand, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2020

2019

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

Joseph Lallemand

PhD thesis, 2019

BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device.

Véronique Cortier, Alicia Filipiak, Joseph Lallemand

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Equivalence Properties by Typing in Cryptographic Branching Protocols.

Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Voting: You Can't Have Privacy without Individual Verifiability.

Véronique Cortier, Joseph Lallemand

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

A Type System for Privacy Properties (Technical Report).

Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei

CoRR, 2017

Refining Authenticated Key Agreement with Strong Adversaries.

Joseph Lallemand, Christoph Sprenger

Arch. Formal Proofs, 2017

Refining Authenticated Key Agreement with Strong Adversaries.

Joseph Lallemand, David A. Basin, Christoph Sprenger

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

A Type System for Privacy Properties.

Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Additive normal forms and integration of differential fractions.

François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz

J. Symb. Comput., 2016