Bernardo Portela

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 26

Top Topics

Argumentation Frameworks

Multivalued Dependencies

Formal Treatment

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Cláudia Brito, Pedro G. Ferreira, Bernardo Portela, Rui Carlos Oliveira, João Tiago Paulo
Privacy-Preserving Machine Learning on Apache Spark. IEEE Access 11 (2023)
Cláudia Brito, Pedro Ferreira, Bernardo Portela, Rui Oliveira, João Paulo
SOTERIA: Preserving Privacy in Distributed Machine Learning. SAC (2023)
Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
General-Purpose Secure Conflict-free Replicated Data Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
General-Purpose Secure Conflict-free Replicated Data Types. CSF (2023)
Daniela Lopes, Pedro Medeiros, Jin-Dong Dong, Diogo Barradas, Bernardo Portela, João Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos
Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale? CCS (2022)
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, João Leitão
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware. IEEE Trans. Dependable Secur. Comput. 19 (2) (2022)
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125 (2022)
Cláudia Brito, Pedro Ferreira, Bernardo Portela, Rui Oliveira, João Paulo
Soteria: Privacy-Preserving Machine Learning for Apache Spark. IACR Cryptol. ePrint Arch. 2021 (2021)
Mariana Miranda, Tânia Esteves, Bernardo Portela, João Paulo
S2Dedup: SGX-enabled secure deduplication. SYSTOR (2021)
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
Secure Conflict-free Replicated Data Types. ICDCN (2021)
Tânia Esteves, Mariana Miranda, João Paulo, Bernardo Portela
S2Dedup: SGX-enabled Secure Deduplication. IACR Cryptol. ePrint Arch. 2021 (2021)
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes. SRDS (2021)
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
Secure Conflict-free Replicated Data Types. IACR Cryptol. ePrint Arch. 2020 (2020)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. CCS (2019)
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, João Leitão
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. SRDS (2019)
Tânia Esteves, Ricardo Macedo, Alberto Faria, Bernardo Portela, João Paulo, José Pereira, Danny Harnik
TrustFS: An SGX-Enabled Stackable File System Framework. SRDS Workshops (2019)
Guilherme Borges, Henrique Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. IACR Cryptol. ePrint Arch. 2018 (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. IACR Cryptol. ePrint Arch. 2018 (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. CSF (2018)
Ricardo Macedo, João Paulo, Rogerio Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos, Rui Oliveira
A Practical Framework for Privacy-Preserving NoSQL Databases. SRDS (2017)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. Financial Cryptography (2017)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. IACR Cryptol. ePrint Arch. 2016 (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. EuroS&P (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. IACR Cryptol. ePrint Arch. 2016 (2016)