José Bacelar Almeida

Investigador Sénior

Domínios

Laboratório de Software Confiável Ciência e Engenharia dos Computadores

Projetos

HADES

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.

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

PassCert

O PassCert vai criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.

Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords

Ver todos os projetos

Publicações

Leakage-Free Probabilistic Jasmin Programs

Almeida, JB;Firsov, D;Oliveira, T;Unruh, D;

2023

IACR Cryptol. ePrint Arch.

Formally verifying Kyber Episode IV: Implementation correctness

Almeida, JB;Barbosa, M;Barthe, G;Grégoire, B;Laporte, V;Léchenet, JC;Oliveira, T;Pacheco, H;Quaresma, M;Schwabe, P;Séré, A;Strub, PY;

2023

IACR Trans. Cryptogr. Hardw. Embed. Syst.

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols

Almeida, JB;Bangerter, E;Barbosa, M;Krenn, S;Sadeghi, AR;Schneider, T;

2010

IACR Cryptology ePrint Archive

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

Almeida, JB;Barbosa, M;Bangerter, E;Barthe, G;Krenn, S;Béguelin, SZ;

2012

IACR Cryptology ePrint Archive

Ver todas as publicações

Teses Supervisionadas

Whispered speech segmentation based on Deep Learning

Gonçalo Duarte Nunes

M - 2023

UP-FEUP

Centros

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.