José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações Confirmadas: 41



21
TÍTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106
INDEXADO EM: WOS DBLP
NO MEU: ORCID
22
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
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 arXiv
NO MEU: ORCID
23
TÍTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Ramos, MVM; de Queiroz, RJGB; Moreira, N ; Almeida, JCB ;
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
24
TÍTULO: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
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: 26
NO MEU: ORCID
25
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: ORCID
26
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
27
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: ORCID
28
29
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID
30
TÍTULO: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CCS
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID
Página 3 de 5. Total de resultados: 41.

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

Links Úteis

Ajuda

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