paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 089057058Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Grégoire, Benjamin

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France

Notes

Note publique d'information : 
Auteur d'une thèse de doctorat en Informatique fondamentale soutenue en 2003 à l'Université de Paris 7

Note publique d'information : 
Chargé de recherches à l'INRIA de Nice-Sophia Antipolis. Chargé de recherche au Centre Inria d'Université Côte d'Azur (en 2023)

Identifiants externes

Identifiant HAL : benjamin-gregoire
Identifiant VIAF : http://viaf.org/viaf/204855076

Source

Compilation de termes de preuves : un (nouveau) mariage entre coq et OCaml / Benjamin Grégoire ; sous la direction de Xavier Leroy, 2003

Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps / Swarn Priya ; sous la direction de Yves Bertot. Thèse de doctorat : Informatique : Université Côte d'Azur : 2023

Information trouvée : co-encadrant de thèse et membre du jury

Vérification semi-automatique de primitives cryptographiques / par Sylvain Heraud ; sous la direction de Benjamin Grégoire et d'Yves Bertot. - 2012 [Thèse, Nice]

... Références liées : ...