Judicaël Courant

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 1

Top Topics

Database Processing

Top Venues

Publications

Judicaël Courant
Developer-Proof Prevention of SQL Injections. FPS (2020)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. J. Autom. Reason. 46 (3-4) (2011)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness (2010)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Towards automated proofs for asymmetric encryption schemes in the random oracle model. CCS (2008)
Judicaël Courant, Cristian Ene, Yassine Lakhnech
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS (2007)
Judicaël Courant
A module calculus for Pure Type Systems. J. Funct. Program. 17 (3) (2007)
Jean-François Monin, Judicaël Courant
Proving termination using dependent types: the case of XOR-terms. Trends in Functional Programming (2006)
Judicaël Courant
Strong Normalization with Singleton Types. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Judicaël Courant
Explicit Universes for the Calculus of Constructions. TPHOLs (2002)
Judicaël Courant
An Applicative Module Calculus. TAPSOFT (1997)
Judicaël Courant
A Module Calculus for Pure Type Systems. TLCA (1997)