Zoekresultaten

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

  Lafitte, F. (Auteur), Van Heule, D. (Promotor) & Markowitch, O. (Promotor), 18 sep. 2017

  Scriptie/Masterproef: Doctorale These