publicações selecionadas artigo académico Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptology ePrint Archive. 2012
