CryptoExperts (France)

output

20142025

most citedCatala: A Programming Language for the Law

53 citations

researchers with a paper here

Jonathan Protzenko2 · h 18
J. Tillich2 · h 38
Kévin Carrier2 · h 5
A. Chailloux1 · h 20
Amine Rhouni1 · h 6
Anthony Leverrier1 · h 37
A. Pesah1 · h 2
Austin K. Daniel1 · h 4
Baptiste Lacour1 · h 0
B. Blanchet1 · h 38
Bruno Blanchet1 · h 4
Cambyse Rouzé1 · h 10

collaborating institutions

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 2021Show all

1 paper · 1 filter

cs.PL2021★ 53 cited

Catala: A Programming Language for the Law

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout…