Search results for:
Filter your results
0 Search results
Bernardo Luís Portela
Senior Researcher
Currently, I am a fourth year Ph.D. student under the MAPi doctoral programme, and a researcher at HASLab/INESC TEC, working for project SafeCloud and NanoSTIMA. I hold a M.Sc. thesis in Informatics Engineering from University of Minho.My research interests are cryptography and information security, more specifically regarding secure multiparty computation protocols relying on trusted hardware. The goal of my Ph.D. project is to improve the implementation of high-assurance multiparty computation protocols, by bridging the gap between rigorous theoretical security models and efficient practical implementations. Relevant contributions in this context include the first provable security approach for formalizing security guarantees of Isolated Execution Environments (IEEs), and the first general approach to implementing MPC protocols using IEE-enabled systems.
Publications
A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
Portela, B;
2018
General-Purpose Secure Conflict-free Replicated Data Types
Portela, B;Pacheco, H;Jorge, P;Pontes, R;
2023
2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF
S2Dedup: SGX-enabled Secure Deduplication
Esteves, T;Miranda, M;Paulo, J;Portela, B;
2021
IACR Cryptol. ePrint Arch.
Soteria: Privacy-Preserving Machine Learning for Apache Spark
Brito, C;Ferreira, P;Portela, B;Oliveira, R;Paulo, J;
2021
IACR Cryptol. ePrint Arch.
Supervised Theses
Detection of Encrypted Malware Command and Control Traffic
Carlos António de Sousa Costa Novo
D - 2022
UP-FCUP
An efficient Rust implementation of BFT for supporting Byzantine Tolerant Distributed Storage
Nuno Gonçalo Neto Martingo
M - 2022
UP-FCUP
Security in Conflict-free Replicated Data Types
Diogo João Veiga de Sousa
M - 2022
UP-FCUP
Privacy-Preserving Machine Learning for Network Traffic Analysis
Inês Castro de Macedo
M - 2022
UP-FCUP
