área de pesquisa Mario Rebelo Larangeira Junior Programmable and Non-programmable Models in Security Proofs Security Proofs for Signature Schemes in the Generic Model
