Mostrar 8-27 de um total de 32 resultados.
< anterior
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 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 |
| Nov-2021 | Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head | Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al. | Artigo em ata de conferência | Acesso aberto |
| 2016 | On the formalization of some results of context-free language theory | Midena Ramos, Marcus Vinicius; de Queiroz, Ruy J. G. B.; Moreira, Nelma, et al. | Artigo em ata de conferência | Acesso aberto |
| 2011 | Partial derivative automata formalized in Coq | Almeida, José Bacelar; Moreira, Nelma; Pereira, David, et al. | Artigo em ata de conferência | Acesso aberto |
| 2019 | Some applications of the formalization of the pumping lemma for context-free languages | Ramos, Marcus V. M.; Almeida, José Bacelar; Moreira, Nelma, et al. | Artigo | Acesso aberto |
| 2018 | Teaching how to program using automated assessment and functional glossy games (Experience Report) | Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
| 2020 | The last mile: High-Assurance and High-Speed cryptographic implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
| 2008 | Token-passing nets for functional languages | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
