Gilles Dequen
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Cryptographie
Programmation par contraintes
Résolution de problème -- Informatique
Calcul distribué
Cryptanalyse différentielle
Détection d’anomalies
Réseaux neuronaux (informatique)
Logarithmes discrets
Courbes elliptiques
Sécurité informatique
Virtualisation
Informatique en Nuage
Systèmes Distribués
Flux d'informations
Ingénierie dirigée par les modèles
Formalisation logique
Canaux cachés
Systèmes informatiques -- Mesures de sûreté