Grégoire, Benjamin
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 204855076 ( Personal )
Permalink: http://viaf.org/viaf/204855076
Preferred Forms
-
100 1 _
‡a
Grégoire, Benjamin
Works
| Title | Sources |
|---|---|
| Compilation de termes de preuves : un (nouveau) mariage entre coq et OCaml |
|
| Compilation of proofs terms : a (new) marriage between coq and OCaml. |
|
| Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo |
|
| Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers |
|
| Design and implementation of a proof verifying kernel for the λΠ-calculus modulo. |
|
| Formal Security Proofs of Cryptographic : A necessity achieved using EasyCrypt. |
|
| Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt |
|
| Vérification semi-automatique de primitives cryptographiques |
|
