Analyse de la sécurité de primitives symétriques dédiées à diverses techniques de preuves
Origin : Files produced by the author(s)