| |
| 2008 | ||
|---|---|---|
| 8 | EE | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380 |
| 2007 | ||
| 7 | EE | Judicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375 |
| 6 | EE | Judicaël Courant: MC2 A module calculus for Pure Type Systems. J. Funct. Program. 17(3): 287-352 (2007) |
| 2006 | ||
| 5 | Jean-François Monin, Judicaël Courant: Proving termination using dependent types: the case of XOR-terms. Trends in Functional Programming 2006: 1-18 | |
| 2002 | ||
| 4 | EE | Judicaël Courant: Explicit Universes for the Calculus of Constructions. TPHOLs 2002: 115-130 |
| 3 | EE | Judicaël Courant: Strong Normalization with Singleton Types. Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 1997 | ||
| 2 | Judicaël Courant: An Applicative Module Calculus. TAPSOFT 1997: 622-636 | |
| 1 | Judicaël Courant: A Module Calculus for Pure Type Systems. TLCA 1997: 112-128 | |
| 1 | Marion Daubignard | [8] |
| 2 | Cristian Ene | [7] [8] |
| 3 | Pascal Lafourcade | [8] |
| 4 | Yassine Lakhnech | [7] [8] |
| 5 | Jean-François Monin | [5] |