Sur les représentations et l'optimisation logique d'attaques cryptographiques de schémas symétriques · MIS - Unité de recherche Modélisation, Information et Systèmes, Doctorat · La Géode