Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigo em ata de conferênciaAcesso aberto
2013On the relationship between functional encryption, obfuscation, and fully homomorphic encryptionAlwen, Joël; Barbosa, Manuel; Farshim, Pooya; Gennaro, Rosario; Gordon, S. Dov; Tessaro, Stefano; Wilson, David A.Artigo em ata de conferênciaAcesso aberto
2006Secure cryptographic workflow in the standard modelBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre; Barthe, Gilles; Krenn, Stephan; Béguelin, Santiago ZanellaArtigo em ata de conferênciaAcesso aberto
2005On the automatic construction of indistinguishable operationsBarbosa, Manuel; Page, D.Artigo em ata de conferênciaAcesso aberto
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, FrançoisArtigo em ata de conferênciaAcesso aberto
2012Type checking cryptography implementationsBarbosa, Manuel; Page, D.; Moss, Andrew; Rodrigues, Nuno F.; Silva, PauloArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir