Percorrer por autor 1719 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 15-32 de um total de 32 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2006A local graph-rewriting system for deciding equality in sum-product theoriesPinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo 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, et al.Artigo em ata de conferênciaAcesso aberto
Nov-2021Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-headAlmeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al.Artigo em ata de conferênciaAcesso aberto
2016On the formalization of some results of context-free language theoryMidena Ramos, Marcus Vinicius; de Queiroz, Ruy J. G. B.; Moreira, Nelma, et al.Artigo em ata de conferênciaAcesso aberto
2011Partial derivative automata formalized in CoqAlmeida, José Bacelar; Moreira, Nelma; Pereira, David, et al.Artigo em ata de conferênciaAcesso aberto
2019Some applications of the formalization of the pumping lemma for context-free languagesRamos, Marcus V. M.; Almeida, José Bacelar; Moreira, Nelma, et al.ArtigoAcesso aberto
2018Teaching 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ênciaAcesso aberto
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008A tool for programming with interaction netsAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
Jun-2022Verified password generation from password composition policiesGrilo, Miguel; Campos, João; Ferreira, João F., et al.Artigo em ata de conferênciaAcesso aberto
10-Ago-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 15-32 de um total de 32 resultados. < anterior