International Association for Cryptologic Research
R. Janvier Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2007 | Formal Certification of Code-Based Cryptographic Proofs | eprint | online |
| 2 | 2005 | (De)Compositions of Cryptographic Schemes and their Applications to Protocols | eprint | online |
Coauthors of R. Janvier |