Concepedia

Judicaël Courant

JC

4

Publications

1.1K

Citations

4

H-Index

1997

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Judicaël Courant is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and data security.

ORCID

Top concepts

Publications per year

1997–2008

4

Publications

4

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text

Towards automated proofs for asymmetric encryption schemes in the random oracle model

Judicaël Courant, Marion Daubignard, Cristian Ene et al. · 2008 · 41 citations

, , +17

Defending the Bank with a Proof Assistant

Judicaël Courant, Jean‐François Monin · 2006 · 18 citations

Strong Normalization with Singleton Types

Judicaël Courant · Electronic Notes in Theoretical Computer Science · 2003 · 14 citations · Full text

, , +10

Rows per page

1–4 of 4