Resultados da pesquisa para:

Filtrar os seus resultados

0 Resultados

Laboratório de Software Confiável

Sobre o Centro

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.

Áreas do Centro

Segurança da Informação

A nossa investigação em Segurança da Informação alia fundamentos teóricos rigorosos a abordagens práticas inovadoras. Procuramos construir sistemas seguros com garantias formais, ligando o desenvolvimento de protocolos criptográficos à sua implementação eficiente e confiável. No lado teórico, trabalhamos com provas de segurança e criptografia assistida por computador, desenvolvendo técnicas formais que validam automaticamente propriedades de segurança. Na vertente aplicada, focamo-nos em implementações com elevados padrões de desempenho e segurança, assegurando que as garantias teóricas se mantêm desde a especificação até ao código final. Para tal, criamos linguagens específicas de domínio e ferramentas que facilitam o desenvolvimento de software criptográfico de elevada confiança. Também investigamos mecanismos avançados de deteção e resposta a ameaças, fundamentais para preservar continuamente as propriedades de segurança dos sistemas. As nossas soluções aplicam-se, entre outros domínios, a tecnologias de preservação da privacidade, armazenamento seguro de dados e computação na nuvem — áreas críticas para a segurança na era digital.

Sistemas Distribuídos

Em Sistemas Distribuídos, estamos a transformar a forma como os dados são geridos na computação em nuvem, sistemas críticos, infraestruturas de computação avançada e ecossistemas de inteligência artificial. Exploramos novas fronteiras na confiabilidade, replicação e distribuição de dados, desenvolvendo novos protocolos de consenso e abordagens sem conflitos para consistência eventual, garantindo a integridade dos dados com tipos replicados. Otimizamos o processamento de cargas transacionais e analíticas em bases de dados e criamos métodos seguros para tratar dados em ambientes não confiáveis, aumentando a resiliência e segurança dos sistemas. Saiba mais aqui. Desenhamos soluções de armazenamento de dados eficientes, capazes de acompanhar o crescimento acelerado da informação digital. Usamos tecnologias modernas para responder às exigências de desempenho, escalabilidade, confiabilidade, segurança e eficiência energética. Descubra mais aqui. Desenvolvemos sistemas de middleware com foco em interoperabilidade semântica, aplicados a casos reais e em data spaces. A nossa missão é construir o futuro da gestão de dados distribuídos, com soluções para a nova geração de serviços digitais.

Engenharia de Software

Na nossa investigação em Engenharia de Software, procuramos transformar o desenvolvimento de sistemas, tornando-os mais seguros, eficientes e sustentáveis. Para isso, aplicamos abordagens rigorosas para garantir a qualidade do software, desde a conceção até à implementação, com garantias formais que asseguram o seu funcionamento correto. Saiba mais aqui. Exploramos novas formas de tornar os sistemas mais sustentáveis e otimizar processos complexos, incluindo aqueles que envolvem grande quantidade de dados ou computação em grande escala, reduzindo a necessidade de recursos e melhorando a eficiência energética. O nosso trabalho também aborda a interação com os utilizadores, criando interfaces mais intuitivas e acessíveis, que garantam uma experiência de uso eficiente e agradável. Investigamos ainda o potencial da computação quântica na engenharia de software, estudando como pode ser integrada para criar sistemas mais rápidos, seguros e preparados para desafios complexos. Assim, contribuímos para um futuro digital mais responsável, inovador e preparado para os desafios do amanhã.

Projetos em Destaque

PeT

EPICURE

High-level specialised application support service in High-Performance Computing (HPC)

Membros da Equipa

Coordenação de Centro

António Luís Sousa

Coordenador de Centro

Catarina Leones Fernandes

Adjunto da Coordenação de Centro

Membros da Equipa

Adriano Novo Maior

Investigador

Alcino Cunha

Investigador Coordenador

Alexandra Sofia Mendes

Investigador Sénior

Alexandre Almeida Filho

Estudante Externo

Alexandre Rodrigues Fernandes

Alexis Gonzalez

Investigador Colab Externo

Alícia Oliveira

Investigador

Álvaro Festas Silva

Bolseiro Investigação

Ana Isabel Neri

Estudante Externo

Ana Nunes Alonso

Investigador Auxiliar

Ana Rita Guimarães

Estudante Externo

André de Sousa

Estudante Externo

André Lucena Ferreira

Bolseiro Investigação

André Manuel Sequeira

Investigador Auxiliar

André Martins Pereira

Investigador Sénior

Publicações Selecionadas

Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

Almeida, JB;Olmos, SA;Barbosa, M;Barthe, G;Dupressoir, F;Grégoire, B;Laporte, V;Lechenet, JC;Low, C;Oliveira, T;Pacheco, H;Quaresma, M;Schwabe, P;Strub, PY;

2024

ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II