Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Ciência e Engenharia dos Computadores
Sobre o Domínio
Neste domínio, reunimos várias competências que nos permitem desenvolver soluções digitais inteligentes, escaláveis e centradas no utilizador, que respondem a desafios complexos em diversos setores. Algumas dessas competências incluem:
Interação humano-máquina
Engenharia de Software
Ciência de Dados
Sistemas Paralelos e Distribuídos
Desafios de Investigação
O domínio científico de Engenharia Informática e de Computadores visa abordar os diversos desafios da era da transformação digital. O nosso objetivo passa por estudar a complexidade, a escalabilidade e as exigências de desempenho dos sistemas modernos de computação e software, com vista a garantir a sua fiabilidade, segurança e sustentabilidade. Nesse sentido, os nossos desafios de investigação neste domínio são:
Principais Conquistas
A nossa investigação em Engenharia Informática e de Computadores está a abrir caminho para uma nova geração de sistemas digitais, mais seguros, eficientes e adaptados a aplicações exigentes. As nossas conquistas vão desde a criptografia pós-quântica até ao armazenamento de dados otimizados e à análise avançada de redes complexas. Algumas das nossas principais conquistas:
Criptografia pós-quântica com garantias formais
Somos cofundadores da Formosa Crypto, empresa dedicada ao desenvolvimento de ferramentas de verificação formal para criptografia, como o EasyCrypt e a linguagem Jasmin. Participámos na verificação formal dos três algoritmos propostos nos novos standards pós-quânticos do NIST e identificámos vulnerabilidades corrigíveis. Também contribuímos para a implementação verificada em assembly do algoritmo ML-KEM (Publicações: aqui, aqui e aqui).
Sistemas de armazenamento de nova geração
Redefinimos os princípios operacionais dos sistemas de armazenamento para os tornar mais eficientes em ambientes de computação intensiva e cloud. As nossas soluções facilitam otimizações complexas, qualidade de serviço e aumentam o desempenho em tarefas exigentes, como o treino de modelos de IA. Centros de computação como TACC, AIST e MACC já manifestaram interesse em integrar os nossos avanços. Mais informação aqui, aqui, aqui e aqui.
Descoberta de padrões em redes complexas
Com mais de uma década de investigação teórica e prática, desenvolvemos algoritmos escaláveis para descobrir padrões em redes complexas. Criámos uma taxonomia abrangente e expandimos os conceitos para redes com direccionalidade, pesos, cores, informação temporal e espacial, e interações de ordem superior, como hipergrafos. Saiba mais aqui, aqui e aqui.
Publicações Selecionadas
Hardware Security for Internet of Things Identity Assurance
Cirne, A;Sousa, PR;Resende, JS;Antunes, L;
2024
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
Guimaraes, JD;Vasilevskiy, MI;Barbosa, LS;
2024
QUANTUM
X-Wing: The Hybrid KEM You've Been Looking For
Barbosa, M;Connolly, D;Duarte, JD;Kaiser, A;Schwabe, P;Varner, K;Westerbaan, B;
2024
IACR Cryptol. ePrint Arch.
