Percorrer por autor 2732

Í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 1-20 de um total de 37 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario, et al.conferencePaperopenAccess
2014CAOVerif : an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.articleopenAccess
2008Certificateless sIgncryptionBarbosa, Manuel; Farshim, PooyaconferencePaperopenAccess
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.conferencePaperopenAccess
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al.conferencePaperopenAccess
2007Compiler assisted elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, D.conferencePaperopenAccess
2009Constructive and destructive use of compilers in elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, DanarticleopenAccess
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess
2010A deductive verification platform for cryptographic softwareBarbosa, Manuel; Pinto, Jorge Sousa; Filliâtre, Jean-Christophe, et al.articleopenAccess
2012Delegatable homomorphic encryption with applications to secure outsourcing of computationBarbosa, Manuel; Farshim, PooyaconferencePaperopenAccess
2018Educación, desarrollo y empoderamiento: hacia un nuevo planteamiento de la formación universitaria de educadores y trabajadores socialesBarbosa, ManuelarticleopenAccess
2005Efficient identity-based key encapsulation to multiple partiesBarbosa, Manuel; Farshim, P.conferencePaperopenAccess
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.conferencePaperopenAccess
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.articleopenAccess
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al.conferencePaperopenAccess
Jan-2018Identidade do professor: uma reconceitualização com base no referencial do empoderamentoBarbosa, ManuelarticleopenAccess
30-Jun-2005Identity based cryptography from bilinear pairingsBarbosa, ManuelreportopenAccess
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelconferencePaperopenAccess
2004A model-based approach to the development of distributed control systemsBarbosa, Manuel; Fernandes, João M.conferencePaperopenAccess