Mostrar 1-20 de um total de 32 resultados.
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
2004 | Bounded version vectors | Almeida, José Bacelar; Almeida, Paulo Sérgio; Baquero, Carlos | Capítulo de livro | Acesso aberto |
2014 | CAOVerif: an open-source deductive verification platform for cryptographic software implementations | Almeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al. | Artigo | Acesso aberto |
2020 | Certified compilation for cryptography: Extended x86 instructions and constant-time verification | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2013 | Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols | Almeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | Deductive verification of cryptographic software | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
Mai-2016 | Do consentimento para a utilização de testemunhos de conexão (cookies) | Fontaínhas, Emília Golim; Andrade, Francisco Carneiro Pacheco; Almeida, José Bacelar | Artigo | Acesso aberto |
30-Out-2017 | A fast and verified software stack for secure function evaluation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
1-Fev-2022 | A formal treatment of the role of verified compilers in secure computation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
2011 | Formal verification of side channel countermeasures using self-composition | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
2013 | Formal verification of side-channel countermeasures using self-composition | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
28-Mai-2016 | Formalization of the pumping lemma for context-free languages | Ramos, M. V. M.; Queiroz, R. J. G. B. de; Moreira, Nelma, et al. | Artigo | Acesso aberto |
Set-2023 | Formally verifying Kyber. Episode IV: implementation correctness | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
2012 | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols | Almeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
30-Out-2017 | Jasmin: high-assurance and high-speed cryptography | Almeida, José Bacelar; Barbosa, Manuel | Artigo em ata de conferência | Acesso aberto |
2007 | A local graph-rewriting system for deciding equality in sum-product theories | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
2006 | A local graph-rewriting system for deciding equality in sum-product theories | Pinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |
2019 | A machine-checked proof of security for AWS key management service | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3 | Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |