Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-37 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, FrancoisArtigo 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; Vilaça, Ricardo Manuel Pereira; Matos, Miguel Ângelo Marques; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Laporte, Vincent; Oliveira, Tiago; Strub, Pierre-YvesArtigo em ata de conferênciaAcesso aberto
2020Certified compilation for cryptography: Extended x86 instructions and constant-time verificationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Laporte, Vincent; Oliveira, TiagoArtigo em ata de conferênciaAcesso aberto
31-37 de um total de 37 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir