Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Bacelar Almeida
Investigador Sénior
Projetos
Publicações
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
Almeida, JB;Bangerter, E;Barbosa, M;Krenn, S;Sadeghi, AR;Schneider, T;
2010
IACR Cryptology ePrint Archive
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
Almeida, JB;Barbosa, M;Bangerter, E;Barthe, G;Krenn, S;Béguelin, SZ;
2012
IACR Cryptology ePrint Archive
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
Almeida, JB;Bangerter, E;Barbosa, M;Krenn, S;Sadeghi, AR;Schneider, T;
2010
COMPUTER SECURITY-ESORICS 2010
Partial Derivative Automata Formalized in Coq
Almeida, JB;Moreira, N;Pereira, D;de Sousa, SM;
2011
IMPLEMENTATION AND APPLICATION OF AUTOMATA
Teses Orientadas
Extending Conflict Free Replicated Data Types Fault Models
Houssam Ahmad Yactine
D - 2019
UM-EEUM
Conveniência e Segurança com SCMD
Nuno Cabral Vieira
M - 2019
UM-EEUM
Desmaterialização de documentos de identificação
Matias Nicolau Araújo
M - 2019
UM-EEUM
High-speed and High-assurance Cryptographic Software
Tiago Filipe Azevedo Oliveira
D - 2019
UP-FCUP
