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.
Projetos
Publicações
Privacy-Preserving Machine Learning on Apache Spark
Brito, CV;Ferreira, PG;Portela, BL;Oliveira, RC;Paulo, JT;
2023
IEEE ACCESS
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
Soteria: Preserving Privacy in Distributed Machine Learning
Brito, C;Ferreira, P;Portela, B;Oliveira, R;Paulo, J;
2023
38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
Teses Supervisionadas
CAPE-KIDS: Cognitive and Physical Evaluation for Kids' Integrated Development and Success
Matheus Rodrigues Felizardo
M - 2024
UP-FEUP
