Bernardo Luís Fernandes Portela


AuthID: R-00G-VZ3

Confirmed Publications: 21



11
TITLE: Soteria: Privacy-Preserving Machine Learning for Apache Spark
AUTHORS: Cláudia Brito; Pedro Ferreira; Bernardo Portela ; Rui Oliveira; João Paulo ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
12
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
13
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage  Full Text
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
14
TITLE: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTHORS: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
15
16
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
AUTHORS: Guilherme Borges; Henrique Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
PUBLISHED: 2018, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
17
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
18
TITLE: A Practical Framework for Privacy-Preserving NoSQL Databases  Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
19
TITLE: Secure Multiparty Computation from SGX
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 42
IN MY: ORCID | DBLP
20
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Página 2 de 3. Total de resultados: 21.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service