Résultats de recherche

• On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers

  Lafitte, F. (L'auteur), Van Heule, D. (Promoteur) & Markowitch, O. (Promoteur), 18 sept. 2017

  Student thesis: Thèse de doctorat