Joseph Lallemand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | LICS | A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. | David Baelde, Adrien Koutsos, Joseph Lallemand |
| 2023 | SP | 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 Mller |
| 2022 | ESORICS | One Vote Is Enough for Analysing Privacy. | Stphanie Delaune, Joseph Lallemand |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 2018 | CCS | Voting: You Can't Have Privacy without Individual Verifiability. | Vronique Cortier, Joseph Lallemand |
| 2017 | CCS | A Type System for Privacy Properties. | Vronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei |