Certified Synthesis of Efficient Batch Verifiers | Publicación