Symbolic Synthesis of Indifferentiability Attacks | Publicación