Percorrer por assunto Zero-knowledge
Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2010 | A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols | Almeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols | Almeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al. | Artigo em ata de conferência | Acesso aberto |
Nov-2021 | Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head | Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al. | Artigo em ata de conferência | Acesso aberto |