Judicaël Courant

According to our database, Judicaël Courant authored at least 10 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Developer-Proof Prevention of SQL Injections.

Judicaël Courant

Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020

2011

Automated Proofs for Asymmetric Encryption.

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

J. Autom. Reason., 2011

2008

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

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

MC₂ A module calculus for Pure Type Systems.

Judicaël Courant

J. Funct. Program., 2007

Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.

Judicaël Courant, Cristian Ene, Yassine Lakhnech

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Proving termination using dependent types: the case of XOR-terms.

Jean-François Monin, Judicaël Courant

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2002

Strong Normalization with Singleton Types.

Judicaël Courant

Proceedings of the Intersection Types and Related Systems, 2002

Explicit Universes for the Calculus of Constructions.

Judicaël Courant

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

1997

A Module Calculus for Pure Type Systems.

Judicaël Courant

Proceedings of the Typed Lambda Calculi and Applications, 1997

An Applicative Module Calculus.

Judicaël Courant

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997