HADES

Sobre o Projeto

Sistemas descentralizados confiáveis e escaláveis suportados por hardware

HADES propõe uma nova abordagem segura, mais eficiente e expansível à construção de sistemas completamente descentralizados para aplicações críticas à sociedade. Com base em tecnologias emergentes para computação de confiança, incluindo Intel SGX e ARM TrustZone, o HADES irá tirar partido de um modelo de sistema distribuído de ambientes de execução de confiança apoiados por hardware. Este modelo permitirá que a lógica de aplicação crítica seja executada isoladamente de outros processos (possivelmente maliciosos), e será fundamental para reduzir os custos computacionais e de comunicação dos dispendiosos protocolos criptográficos utilizados hoje em dia em sistemas descentralizados seguros.

Acrónimo

HADES

Responsável

Manuel Bernardo Martins Barbosa

Estado

Concluído

Início

January 1, 2018

Fim

January 31, 2022

Data efectiva de fim

January 31, 2022

Orçamento Global

239 383,19 €

Financiamento

79 936,02 €

Equipa

Líderes de Equipa

Manuel Barbosa

Sou Professor Associado com Agregação no Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (DCC-FCUP) e investigador do HASLab/INESC TEC. Os meus interesses de investigação centram-se na Criptografia e Segurança da Informação e na sua intersecção com a Verificação de Programas.

Sou Doutorado em Electrical and Electronic Engineering pela Newcastle University, e licenciado em Engenharia Electrotécnica e de Computadores pela FEUP. Fui investigador visitante na University of Bristol, IT Porto e na École Normale Supérieure. Entre 2023 e 2025 fui investigador convidado no Max Planck Institute for Security and Privacy.

Trabalho no desenvolvimento de software criptográfico confiável há 20 anos, com o objectivo de estabelecer uma ligação entre a segurança teórica e a segurança de aplicações reais. Interesso-me particularmente pela segurança demonstrável e a sua ligação à verificação formal de provas de segurança e de implementações de software criptográfico.

Para informação sobre a minha investigação, projectos e publicações, por favor consultar a minha página no HASLab.

Para informação sobre as minhas actividades de ensino, por favor consultar a minha página institucional na FCUP.

Membros da equipa

José Bacelar Almeida

Investigador Sénior

Bernardo Luís Portela

Investigador Sénior

Manuel Barbosa

Centros Associados

Laboratório de Software Confiável

No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.