Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Manuel Bernardo Martins Barbosa
AuthID:
R-000-A22
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (64)
Article (29)
Data Paper (1)
Year Start - End:
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
-
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
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: 94
61
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:
José Bacelar Almeida
;
Manuel Barbosa
;
Gilles Barthe
; François Dupressoir;
PUBLICAÇÃO:
2013
,
FONTE:
CCS
INDEXADO EM:
Scopus
DBLP
CrossRef
:
29
NO MEU:
DBLP
|
CIÊNCIAVITAE
62
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:
DBLP
|
CIÊNCIAVITAE
63
TÃTULO:
On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption
AUTORES:
Joël Alwen;
Manuel Barbosa
; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLICAÇÃO:
2013
,
FONTE:
IMACC,
VOLUME:
8308 LNCS
INDEXADO EM:
Scopus
DBLP
NO MEU:
DBLP
|
CIÊNCIAVITAE
64
TÃTULO:
On the Semantic Security of Functional Encryption Schemes
AUTORES:
Barbosa, M
; Farshim, P;
PUBLICAÇÃO:
2013
,
FONTE:
16th International Conference on Practice and Theory in Public-Key Cryptography (PKC)
in
PUBLIC-KEY CRYPTOGRAPHY - PKC 2013,
VOLUME:
7778
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
19
NO MEU:
DBLP
|
CIÊNCIAVITAE
65
TÃTULO:
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTORES:
Barbosa, M
; Farshim, P;
PUBLICAÇÃO:
2012
,
FONTE:
12th Cryptographers' Track - RSA Conference
in
TOPICS IN CRYPTOLOGY - CT-RSA 2012,
VOLUME:
7178
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
43
NO MEU:
DBLP
|
CIÊNCIAVITAE
66
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:
DBLP
|
CIÊNCIAVITAE
67
TÃTULO:
Generically extending anonymization algorithms to deal with successive queries
AUTORES:
Manuel Barbosa
; Alexandre Pinto; Bruno Gomes;
PUBLICAÇÃO:
2012
,
FONTE:
CIKM
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
NO MEU:
DBLP
|
CIÊNCIAVITAE
68
TÃTULO:
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
AUTORES:
Afonso Arriaga;
Manuel Barbosa
; Pooya Farshim;
PUBLICAÇÃO:
2012
,
FONTE:
ACNS,
VOLUME:
7341 LNCS
INDEXADO EM:
Scopus
DBLP
CrossRef
:
6
NO MEU:
DBLP
|
CIÊNCIAVITAE
69
TÃTULO:
Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTORES:
Brumley, BB;
Barbosa, M
; Page, D; Vercauteren, F;
PUBLICAÇÃO:
2012
,
FONTE:
12th Cryptographers' Track - RSA Conference
in
TOPICS IN CRYPTOLOGY - CT-RSA 2012,
VOLUME:
7178
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
20
NO MEU:
DBLP
|
CIÊNCIAVITAE
70
TÃTULO:
Semantically Secure Functional Encryption, Revisited
AUTORES:
Manuel Barbosa
; Pooya Farshim;
PUBLICAÇÃO:
2012
,
FONTE:
IACR Cryptol. ePrint Arch.,
VOLUME:
2012
INDEXADO EM:
DBLP
NO MEU:
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 7 de 10. Total de resultados: 94.
<<
<
2
3
4
5
6
7
8
9
10
>
>>
×
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
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2026 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service