Automated Proofs of Pairing-Based Cryptography | Publicación