BibTeX records: Judicaël Courant

• > Home > Persons > Judicaël Courant

@inproceedings{DBLP:conf/fps/Courant20,
  author       = {Judica{\"{e}}l Courant},
  title        = {Developer-Proof Prevention of {SQL} Injections},
  booktitle    = {{FPS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12637},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {2020}
}

@article{DBLP:journals/jar/CourantDELL11,
  author       = {Judica{\"{e}}l Courant and
                  Marion Daubignard and
                  Cristian Ene and
                  Pascal Lafourcade and
                  Yassine Lakhnech},
  title        = {Automated Proofs for Asymmetric Encryption},
  journal      = {J. Autom. Reason.},
  volume       = {46},
  number       = {3-4},
  pages        = {261--291},
  year         = {2011}
}

@inproceedings{DBLP:conf/birthday/CourantDELL10,
  author       = {Judica{\"{e}}l Courant and
                  Marion Daubignard and
                  Cristian Ene and
                  Pascal Lafourcade and
                  Yassine Lakhnech},
  title        = {Automated Proofs for Asymmetric Encryption},
  booktitle    = {Concurrency, Compositionality, and Correctness},
  series       = {Lecture Notes in Computer Science},
  volume       = {5930},
  pages        = {300--321},
  publisher    = {Springer},
  year         = {2010}
}

@inproceedings{DBLP:conf/ccs/CourantDELL08,
  author       = {Judica{\"{e}}l Courant and
                  Marion Daubignard and
                  Cristian Ene and
                  Pascal Lafourcade and
                  Yassine Lakhnech},
  title        = {Towards automated proofs for asymmetric encryption schemes in the
                  random oracle model},
  booktitle    = {{CCS}},
  pages        = {371--380},
  publisher    = {{ACM}},
  year         = {2008}
}

@article{DBLP:journals/jfp/Courant07,
  author       = {Judica{\"{e}}l Courant},
  title        = {MC\({}_{\mbox{2}}\) {A} module calculus for Pure Type Systems},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {287--352},
  year         = {2007}
}

@inproceedings{DBLP:conf/fsttcs/CourantEL07,
  author       = {Judica{\"{e}}l Courant and
                  Cristian Ene and
                  Yassine Lakhnech},
  title        = {Computationally Sound Typing for Non-interference: The Case of Deterministic
                  Encryption},
  booktitle    = {{FSTTCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4855},
  pages        = {364--375},
  publisher    = {Springer},
  year         = {2007}
}

@inproceedings{DBLP:conf/sfp/MoninC06,
  author       = {Jean{-}Fran{\c{c}}ois Monin and
                  Judica{\"{e}}l Courant},
  title        = {Proving termination using dependent types: the case of XOR-terms},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {1--18},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/tphol/Courant02,
  author       = {Judica{\"{e}}l Courant},
  title        = {Explicit Universes for the Calculus of Constructions},
  booktitle    = {TPHOLs},
  series       = {Lecture Notes in Computer Science},
  volume       = {2410},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {2002}
}

@inproceedings{DBLP:journals/entcs/Courant02,
  author       = {Judica{\"{e}}l Courant},
  title        = {Strong Normalization with Singleton Types},
  booktitle    = {{ITRS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {53--71},
  publisher    = {Elsevier},
  year         = {2002}
}

@inproceedings{DBLP:conf/tapsoft/Courant97,
  author       = {Judica{\"{e}}l Courant},
  title        = {An Applicative Module Calculus},
  booktitle    = {{TAPSOFT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1214},
  pages        = {622--636},
  publisher    = {Springer},
  year         = {1997}
}

@inproceedings{DBLP:conf/tlca/Courant97,
  author       = {Judica{\"{e}}l Courant},
  title        = {A Module Calculus for Pure Type Systems},
  booktitle    = {{TLCA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1210},
  pages        = {112--128},
  publisher    = {Springer},
  year         = {1997}
}