Search results

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

  Lafitte, F. (Author), Van Heule, D. (Supervisor) & Markowitch, O. (Supervisor), 18 Sept 2017

  Student thesis: Doctoral Thesis