Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 37 resultados (tempo de pesquisa: 0.015 segundos).
DataTítuloAutor(es)TipoAcesso
2008Secure biometric authentication with improved accuracyBarbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri; Cauchie, StéphaneArtigo em ata de conferênciaAcesso 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
2015The related-key analysis of feistel constructionsFarshim, Pooya; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2007Compiler assisted elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, D.Artigo em ata de conferênciaAcesso aberto
2010A deductive verification platform for cryptographic softwareBarbosa, Manuel; Pinto, Jorge Sousa; Filliâtre, Jean-Christophe; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
2005Efficient identity-based key encapsulation to multiple partiesBarbosa, Manuel; Farshim, P.Artigo em ata de conferênciaAcesso aberto
2012On the joint security of signature and encryption schemes under randomness reuse: efficiency and security amplificationArriaga, Afonso; Barbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
2017Performance trade-offs on a secure multi-party relational databasePontes, Rogério; Pinto, Mário; Barbosa, Manuel; Vilaça, Ricardo Manuel Pereira; Matos, Miguel Ângelo Marques; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
21-30 de um total de 37 resultados (tempo de pesquisa: 0.015 segundos).

Descobrir