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 15-34 de um total de 44 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArtigoAcesso aberto
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArtigoAcesso aberto
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al.Artigo em ata de conferênciaAcesso aberto
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
Jan-2018Identidade do professor: uma reconceitualização com base no referencial do empoderamentoBarbosa, ManuelArtigoAcesso aberto
30-Jun-2005Identity based cryptography from bilinear pairingsBarbosa, ManuelRelatórioAcesso aberto
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2019Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
2004A model-based approach to the development of distributed control systemsBarbosa, Manuel; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
2005On the automatic construction of indistinguishable operationsBarbosa, Manuel; Page, D.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
2013On the relationship between functional encryption, obfuscation, and fully homomorphic encryptionAlwen, Joël; Barbosa, Manuel; Farshim, Pooya, et al.Artigo em ata de conferênciaAcesso aberto
2013On the semantic security of functional encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2017Performance trade-offs on a secure multi-party relational databasePontes, Rogério; Pinto, Mário; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2012Practical realisation and elimination of an ECC-related software bug attackBrumley, B. B.; Barbosa, Manuel; Page, D., et al.Artigo em ata de conferênciaAcesso aberto
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
Mostrar 15-34 de um total de 44 resultados. < anterior   próximo >