Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 16 resultados (tempo de pesquisa: 0.484 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, ThomasArtigo em ata de conferênciaAcesso aberto
10-Ago-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Emmi, MichaelArtigo em ata de conferênciaAcesso aberto
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
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
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
1-10 de um total de 16 resultados (tempo de pesquisa: 0.484 segundos).

Descobrir