Bernardo Portela

According to our database, Bernardo Portela authored at least 20 papers between 2016 and 2024.

Collaborative distances:

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

2024

Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware.

Diogo Barradas, Carlos Novo, Bernardo Portela, Sofia Romeiro, Nuno Santos

Proceedings of the 27th International Symposium on Research in Attacks, 2024

Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum.

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

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

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

General-Purpose Secure Conflict-free Replicated Data Types.

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

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 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

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

S2Dedup: SGX-enabled secure deduplication.

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

Proceedings of the SYSTOR '21: The 14th ACM International Systems and Storage Conference, 2021

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

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

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

Secure Conflict-free Replicated Data Types.

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

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

2019

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

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

Proceedings of the 38th Symposium on Reliable Distributed Systems, 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

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

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

2018

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

Bernardo Portela

PhD thesis, 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

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 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

Secure Multiparty Computation from SGX.

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

Proceedings of the Financial Cryptography and Data Security, 2017

2016

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

Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi

Proceedings of the IEEE European Symposium on Security and Privacy, 2016