Suchergebnisse

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

  Lafitte, F. (Autor/-in), Van Heule, D. (Promoter) & Markowitch, O. (Promoter), 18 Sept. 2017

  Studienabschlussarbeit: Dissertation