11 citations
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Centre Inria de SaclayFR1 paper
- ID Quantique (Switzerland)CH1 paper
- LIP6FR1 paper
- Orange (France)FR1 paper
- Perimeter InstituteCA1 paper
- Télécom ParisFR1 paper
- University College LondonGB1 paper
- University of WaterlooCA1 paper
- Xanadu Quantum Technologies (Canada)CA1 paper
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2023★ 1 cited
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,…
cs.CR2022★ 11 cited
The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm
Bruno Blanchet
ProVerif is a widely used security protocol verifier. Internally, ProVerif uses an abstract representation of the protocol by Horn clauses and a resolution algorithm on these claus…
cs.CR2014★ 3 cited
Direct Construction of Recursive MDS Diffusion Layers using Shortened BCH Codes
Daniel Augot, Matthieu Finiasz
MDS matrices allow to build optimal linear diffusion layers in block ciphers. However, MDS matrices cannot be sparse and usually have a large description, inducing costly software/…