(Français) Vérification de primitives cryptographiques: des algorithmes aux implémentations (Benjamin Grégoire, Inria)

Sorry, this entry is only available in French.

Comments are closed.