Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 10 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre; Barthe, Gilles; Krenn, Stephan; Béguelin, Santiago ZanellaArtigo em ata de conferênciaAcesso aberto
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, FrançoisArtigo 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; 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
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
1-10 de um total de 10 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir