Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Bernardo Luís Fernandes Portela
AuthID:
R-00G-VZ3
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (14)
Article (4)
Unpublished (3)
Phd Thesis (1)
Year Start - End:
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
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: 22
11
TÃTULO:
Secure Conflict-free Replicated Data Types
AUTORES:
Barbosa, M
; Ferreira, B;
Marques, J
;
Portela, B
;
Preguica, N
;
PUBLICAÇÃO:
2021
,
FONTE:
22nd International Conference on Distributed Computing and Networking (ICDCN)
in
PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
12
TÃTULO:
Soteria: Privacy-Preserving Machine Learning for Apache Spark
AUTORES:
Cláudia Brito; Pedro Ferreira;
Bernardo Portela
; Rui Oliveira;
João Paulo
;
PUBLICAÇÃO:
2021
,
FONTE:
IACR Cryptol. ePrint Arch.,
VOLUME:
2021
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
13
TÃTULO:
A Machine-Checked Proof of Security for AWS Key Management Service
Full Text
AUTORES:
Almeida, JB
;
Barbosa, M
;
Barthe, G
; Campagna, M; Cohen, E; Gregoire, B;
Pereira, V
;
Portela, B
; Strub, PY; Tasiran, S;
PUBLICAÇÃO:
2019
,
FONTE:
ACM SIGSAC Conference on Computer and Communications Security (CCS)
in
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
14
NO MEU:
ORCID
|
DBLP
14
TÃTULO:
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
Full Text
AUTORES:
Bernardo Ferreira;
Bernardo Portela
;
Tiago Oliveira
;
Guilherme Borges
; Henrique Domingos;
João Leitão
;
PUBLICAÇÃO:
2019
,
FONTE:
38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019
in
38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
15
TÃTULO:
TRUSTFS: An SGX-enabled Stackable File System Framework
AUTORES:
Tania Esteves
;
Ricardo Macedo
;
Alberto Faria
;
Bernardo Portela
;
Joao Paulo
;
Jose Pereira
; Danny Harnik;
PUBLICAÇÃO:
2019
,
FONTE:
38th International Symposium on Reliable Distributed Systems (SRDS)
in
2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
16
TÃTULO:
A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
AUTORES:
Bernardo Portela
;
PUBLICAÇÃO:
2018
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
17
TÃTULO:
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
AUTORES:
Guilherme Borges; Henrique Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira;
Bernardo Portela
;
PUBLICAÇÃO:
2018
,
FONTE:
IACR Cryptology ePrint Archive,
VOLUME:
2018
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
18
TÃTULO:
hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES:
Almeida, JB
;
Barbosa, M
;
Barthe, G
;
Pacheco, H
;
Pereira, V
;
Portela, B
;
PUBLICAÇÃO:
2018
,
FONTE:
31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC)
in
IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018),
VOLUME:
2018-July
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
6
Unpaywall
NO MEU:
ORCID
|
DBLP
19
TÃTULO:
A Practical Framework for Privacy-Preserving NoSQL Databases
Full Text
AUTORES:
Ricardo Macedo
;
Joao Paulo
;
Rogerio Pontes
;
Bernardo Portela
;
Tiago Oliveira
;
Miguel Matos
;
Rui Oliveira
;
PUBLICAÇÃO:
2017
,
FONTE:
36th IEEE Symposium on Reliable Distributed Systems (SRDS)
in
2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS),
VOLUME:
2017-September
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
10
NO MEU:
ORCID
|
DBLP
20
TÃTULO:
Secure Multiparty Computation from SGX
AUTORES:
Raad Bahmani;
Manuel Barbosa
; Ferdinand Brasser;
Bernardo Portela
; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO:
2017
,
FONTE:
21st International Conference on Financial Cryptography and Data Security, FC 2017
in
Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers,
VOLUME:
10322
INDEXADO EM:
Scopus
DBLP
CrossRef
:
42
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 2 de 3. Total de resultados: 22.
<<
<
1
2
3
>
>>
×
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