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

  • Borghys, D. (Jury Member)
  • Dirk Van Heule (PhD Thesis director)

Aktivität: Examination and mentoring › Member of a PhD jury

Beschreibung

On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers: PhD thesis of F. Lafitte.
Zeitraum18 Sept. 2017
GeprüfterFrédéric Lafitte
Überprüfung stattgefunden am
BekanntheitsgradInternational

Verbundene Inhalte