Bernardo Portela

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