Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 37 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
2009Constructive and destructive use of compilers in elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, DanArtigoAcesso aberto
2012Delegatable homomorphic encryption with applications to secure outsourcing of computationBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2008Certificateless sIgncryptionBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso 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
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2020Decentralized privacy-preserving proximity tracingTroncoso, Carmela; Pereira, José; Oliveira, Rui; Barbosa, Manuel; Payer, Mathias; Hubaux, Jean-Pierre; Salathe, Marcel; Larus, James; Lueks, Wouter; Stadler, TheresaArtigoAcesso restrito UMinho
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso 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; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Oliveira, Tiago; Stoughton, Alley; Strub, Pierre-YvesArtigo em ata de conferênciaAcesso aberto
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Campagna, Matthew; Cohen, Ernie; Gregoire, Benjamin; Pereira, Vitor; Portela, Bernardo; Strub, Pierre-Yves; Tasiran, SerdarArtigo em ata de conferênciaAcesso aberto
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, BernardoArtigo em ata de conferênciaAcesso aberto
11-20 de um total de 37 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir