Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 14 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
2015The related-key analysis of feistel constructionsFarshim, Pooya; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2012Delegatable homomorphic encryption with applications to secure outsourcing of computationBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2010Relations among notions of complete non-malleability: indistinguishability characterisation and efficient construction without random oraclesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
10-Ago-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Emmi, MichaelArtigo 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
2010Strong knowledge extractors for public-key encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 14 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir