Percorrer por autor 2732 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 32-44 de um total de 44 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2007Randomness reuse: extensions and improvementsBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso 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
2008Secure biometric authentication with improved accuracyBarbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri, et al.Artigo em ata de conferênciaAcesso aberto
2006Secure cryptographic workflow in the standard modelBarbosa, Manuel; Farshim, PooyaArtigo 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
2010Strong knowledge extractors for public-key encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2015The related-key analysis of feistel constructionsFarshim, Pooya; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2012Type checking cryptography implementationsBarbosa, Manuel; Page, D.; Moss, Andrew, et al.Artigo em ata de conferênciaAcesso aberto
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
10-Ago-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 32-44 de um total de 44 resultados. < anterior