Grégoire, Benjamin
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. | |
Formally computer-verified protections against timing-based side-channel attacks. | |
Inconditionnellement, un mot savant? | |
Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt | |
Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps | |
Le rôle des propriétés du sol dans la distribution des palmiers du genre Attalea (Palmae) et des cations échangeables de la région du Bas Tapajos (Amazonie brésilienne). | |
Secure and Verified Cryptographic Implementations in the Random Probing Model | |
Vérification semi-automatique de primitives cryptographiques |