José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações Confirmadas: 48



21
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXADO EM: Scopus WOS DBLP CrossRef: 18 Unpaywall
NO MEU: ORCID | DBLP
22
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
NO MEU: ORCID | DBLP
23
TÍTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
24
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
25
TÍTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
26
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | DBLP
27
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
28
TÍTULO: Formalization of context-free language theory PDF
AUTORES: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1510.09092
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
29
TÍTULO: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2015
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
30
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 3 de 5. Total de resultados: 48.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service