Identifiant pérenne de la notice : 194147517
Notice de type
Personne
Méthodes logicielles formelles pour la sécurité des implémentations de systèmes cryptographiques
/ Pablo Rauzy ; sous la direction de Sylvain Guilley et Jean-Luc Danger. Thèse de
doctorat : Informatique et réseaux : Paris, Télécom ParisTech : 2015
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial