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
Showing 2022Show all
3 papers · 1 filter
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.DB2022★ 1 cited
Compressing integer lists with Contextual Arithmetic Trits
Yann Barsamian, André Chailloux
Inverted indexes allow to query large databases without needing to search in the database at each query. An important line of research is to construct the most efficient inverted i…
cs.PL2022★ 46 cited
Aeneas: Rust Verification by Functional Translation
Son Ho, Jonathan Protzenko
We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memor…