Mitchell, John C.

Mitchell, John C.

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 067279244

URI de l'entité : http://www.idref.fr/067279244/id

Notice de type Personne

Point d'accès autorisé

Mitchell, John C.

Sur le web

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 : anglais

Pays : Etats-Unis d'Amérique

Genre : Masculin

Notes

Note publique d'information :

Professeur au département Informatique, Université de Stanford, Stanford, CA (en 1996)

Note publique d'information :

Rapporteur et membre du jury d'une thèse en Informatique à Université Côte d'Azur en 2025

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/58291480

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb14549583g

Identifiant ISNI : 0000000109766377

Source

Foundations for programming languages / John C. Mitchell. cop. 1996

Sécurité prouvable pour les noyaux et cryptographie en présence d'exécution spéculative / Davide Davoli ; sous la direction de Tamara Rezk. Thèse de doctorat : Informatique : Université Côte d'Azur : 2025

Information trouvée : rapporteur de thèse et membre du jury

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