Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 10 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2006Secure cryptographic workflow in the standard modelBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2005On the automatic construction of indistinguishable operationsBarbosa, Manuel; Page, D.Artigo em ata de conferênciaAcesso aberto
2009Constructive and destructive use of compilers in elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, DanArtigoAcesso aberto
2008Certificateless sIgncryptionBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2008Secure biometric authentication with improved accuracyBarbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri; Cauchie, StéphaneArtigo em ata de conferênciaAcesso aberto
2007Compiler assisted elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, D.Artigo em ata de conferênciaAcesso aberto
2005Efficient identity-based key encapsulation to multiple partiesBarbosa, Manuel; Farshim, P.Artigo em ata de conferênciaAcesso aberto
2009Security analysis of standard authentication and key agreement protocols utilising timestampsBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 10 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir