Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
José Carlos Bacelar Ferreira Junqueira de Almeida
AuthID:
R-000-85N
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (21)
Article (16)
Unpublished (8)
Article in Press (2)
Book (1)
Year Start - End:
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 48
31
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 Cryptology ePrint Archive,
VOLUME:
2014
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
32
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
33
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
34
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
35
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
36
TÃTULO:
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
Full Text
AUTORES:
Almeida, JB
;
Barbosa, M
;
Bangerter, E
;
Barthe, G
; Krenn, S; Beguelin, SZ;
PUBLICAÇÃO:
2012
,
FONTE:
2012 ACM Conference on Computer and Communications Security, CCS 2012
in
Proceedings of the ACM Conference on Computer and Communications Security
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
37
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
38
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
39
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
40
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 4 de 5. Total de resultados: 48.
<<
<
1
2
3
4
5
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service