Judicaël Courant

11 papers A* 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2020 — conf
Developer-Proof Prevention of SQL Injections.
FPS
Judicaël Courant
2011 J jnl
Automated Proofs for Asymmetric Encryption.
J. Autom. Reason.
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2010 — conf
Automated Proofs for Asymmetric Encryption.
Concurrency, Compositionality, and Correctness
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2008 A* conf
Towards automated proofs for asymmetric encryption schemes in the random oracle model.
CCS
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2007 — conf
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.
FSTTCS
Judicaël Courant, Cristian Ene, Yassine Lakhnech
2007 J jnl
MC
J. Funct. Program.
Judicaël Courant
2006 — conf
Proving termination using dependent types: the case of XOR-terms.
Trends in Functional Programming
Jean-François Monin, Judicaël Courant
2002 — conf
Explicit Universes for the Calculus of Constructions.
TPHOLs
Judicaël Courant
2002 — conf
Strong Normalization with Singleton Types.
ITRS
Judicaël Courant
1997 — conf
A Module Calculus for Pure Type Systems.
TLCA
Judicaël Courant
1997 — conf
An Applicative Module Calculus.
TAPSOFT
Judicaël Courant