José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações Confirmadas: 47



31
TÍTULO: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2013, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXADO EM: Scopus DBLP CrossRef: 28
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
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: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Partial Derivative Automata Formalized in Coq
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef Openlibrary
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 5. Total de resultados: 47.

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

Links Úteis

Ajuda

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