1 resultado para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs

em Comissão Econômica para a América Latina e o Caribe (CEPAL)