Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Bernardo Luís Portela
Investigador Sénior
Sou um aluno de Doutoramento MAPi no meu quarto ano, e um investigador do HASLab/INESC TEC, de momento a trabalhar nos projetos SafeCloud e NanoSTIMA. Tenho um Mestrado em Engenharia Informática concluído na Universidade do Minho.
Os meus interesses para investigação são, principalmente, criptografia e segurança da informação. Mais especificamente, o tópico do meu trabalho é o desenvolvimento de protocolos de computação segura baseados em hardware confiável. O objetivo do meu projeto de doutoramento passa por melhorar o estado da arte em protocolos seguros altamente confiáveis, reduzindo a lacuna existente entre os modelos de segurança teóricos e as implementações práticas mais eficientes. As minhas contribuições de maior relevância no contexto deste trabalho incluem a primeira abordagem para formalizar garantias seguras oferecidas por ambientes de execução isolados, e a primeira implementação genérica de computação segura utilizando ambientes de execução isolados.
Publicações
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.
Teses Orientadas
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
