53 citations
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Centre Inria de SaclayFR3 papers
- Microsoft (United States)US3 papers
- Equipes Traitement de l'Information et SystèmesFR2 papers
- PROSECCO: Programming securely with cryptographyFR2 papers
- Alexandru Ioan Cuza UniversityRO1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- COSMIQ: Cryptologie symétrique, cryptologie fondée sur les codes et information quantiqueFR1 paper
- CY Cergy Paris UniversitéFR1 paper
- École Normale Supérieure de LyonFR1 paper
- École Normale Supérieure - PSLFR1 paper
4 papers · 1 filter
Projective Space Stern Decoding and Application to SDitH
Kevin Carrier, Valérian Hatey, Jean-Pierre Tillich
We show that here standard decoding algorithms for generic linear codes over a finite field can speeded up by a factor which is essentially the size of the finite field by reducing…
Reduction from sparse LPN to LPN, Dual Attack 3.0
Kévin Carrier, Thomas Debris-Alazard, Charles Meyer-Hilfiger +1
The security of code-based cryptography relies primarily on the hardness of decoding generic linear codes. Until very recently, all the best algorithms for solving the decoding pro…
CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels)
Bruno Blanchet
This document presents the security protocol verifier CryptoVerif.CryptoVerif does not rely on the symbolic, Dolev-Yao model, but on the computational model. It can verify secrecy,…
Securing Verified IO Programs Against Unverified Code in F*
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu +4
We introduce SCIO*, a formally secure compilation framework for statically verified partial programs performing input-output (IO). The source language is an F* subset in which a ve…