Farasha: A Provable Permutation-Based Parallelizable PRF | Publicación