Pierre-Yves Strub
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Cryptographie
Calcul des constructions extentionnelles
Théorie des types
Protocoles
Sécurité
Vérification
Systèmes informatiques -- Mesures de sûreté
Protection de l'information (informatique)
Vérification de modèles (informatique)
Courbes Elliptiques
Coq (logiciel)
Courbes elliptiques
Preuve formelle
Calcul numérique
Intégrales
Multiplication de matrices
Calculs numériques
Matrices