Bernardo Portela

According to our database, Bernardo Portela authored at least 18 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

General-Purpose Secure Conflict-free Replicated Data Types.

Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes

IACR Cryptol. ePrint Arch., 2023

Privacy-Preserving Machine Learning on Apache Spark.

Cláudia Brito, Pedro G. Ferreira, Bernardo Portela, Rui Carlos Oliveira, João Tiago Paulo

IEEE Access, 2023

SOTERIA: Preserving Privacy in Distributed Machine Learning.

Cláudia Brito, Pedro Ferreira, Bernardo Portela, Rui Oliveira, João Paulo

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.

Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão

IEEE Trans. Dependable Secur. Comput., 2022

A formal treatment of the role of verified compilers in secure computation.

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

J. Log. Algebraic Methods Program., 2022

Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?

Daniela Lopes, Pedro Medeiros, Jin-Dong Dong, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes.

Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça

IACR Cryptol. ePrint Arch., 2021

S2Dedup: SGX-enabled Secure Deduplication.

Tânia Esteves, Mariana Miranda, João Paulo, Bernardo Portela

IACR Cryptol. ePrint Arch., 2021

Soteria: Privacy-Preserving Machine Learning for Apache Spark.

Cláudia Brito, Pedro Ferreira, Bernardo Portela, Rui Oliveira, João Paulo

IACR Cryptol. ePrint Arch., 2021

2020

Secure Conflict-free Replicated Data Types.

Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça

IACR Cryptol. ePrint Arch., 2020

2019

A Machine-Checked Proof of Security for AWS Key Management Service.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran

IACR Cryptol. ePrint Arch., 2019

TrustFS: An SGX-Enabled Stackable File System Framework.

Tânia Esteves, Ricardo Macedo, Alberto Faria, Bernardo Portela, João Paulo, José Pereira, Danny Harnik

Proceedings of the 38th International Symposium on Reliable Distributed Systems Workshops, 2019

2018

A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation

Bernardo Portela

PhD thesis, 2018

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.

Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

2017

A Practical Framework for Privacy-Preserving NoSQL Databases.

Ricardo Macedo, João Paulo, Rogerio Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos, Rui Oliveira

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

2016

Foundations of Hardware-Based Attested Computation and Application to SGX.

Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Secure Multiparty Computation from SGX.

Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016