 | 2011 |
|---|
| 10 |       | Judicaël Courant,
Marion Daubignard,
Cristian Ene,
Pascal Lafourcade,
Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption.
J. Autom. Reasoning 46(3-4): 261-291 (2011) |
| 2010 |
|---|
| 9 | | Judicaël Courant,
Marion Daubignard,
Cristian Ene,
Pascal Lafourcade,
Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption.
Concurrency, Compositionality, and Correctness 2010: 300-321 |
| 2008 |
|---|
| 8 | | 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 | | Judicaël Courant,
Cristian Ene,
Yassine Lakhnech:
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.
FSTTCS 2007: 364-375 |
| 6 | | 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 | | Judicaël Courant:
Explicit Universes for the Calculus of Constructions.
TPHOLs 2002: 115-130 |
| 3 | | Judicaël Courant:
Strong Normalization with Singleton Types.
Electr. Notes Theor. Comput. Sci. 70(1): 53-71 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page