Concepedia

Joseph Lallemand

JL

Statistics

Publications

4

Citations

81

H-Index

4

Active since

2017

Affiliations

Centre National de la Recherche Scientifique(Current)

Centre Inria de l'Université de Lorraine

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Joseph Lallemand is an author at Centre National de la Recherche Scientifique specializing in cryptography, information security, and data security.

Top concepts

Publications per year

2017–2023

4

Publications

4

A Type System for Privacy Properties

Véronique Cortier, Niklas Grimm, Joseph Lallemand et al. · 2017 · 29 citations · Full text

, , +20

Voting

Véronique Cortier, Joseph Lallemand · 2018 · 21 citations · Full text

, , +15

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno et al. · 2021 · 19 citations

Sound Verification of Security Protocols: From Design to Interoperable Implementations

Linard Arquint, Felix A. Wolf, Joseph Lallemand et al. · 2023 · 12 citations

Rows per page

1–4 of 4