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

A área de Engenharia de Software tem como objetivo desenvolver novos métodos, técnicas e ferramentas que avancem a forma como o software é concebido, construído e avaliado. Pretende-se garantir que os resultados da investigação tenham um impacto duradouro nas práticas de desenvolvimento de software e contribuam para melhorar a competitividade da indústria. As principais linhas de investigação são: 1) requisitos, conceção e construção de software: gestão de requisitos, arquitetura e design de software, desenvolvimento orientado por modelos e engenharia de software nativa da cloud; 2) teste de software: testes baseados em modelos, testes em dispositivos móveis, testes de sistemas distribuídos e testes em ambientes de Internet das Coisas (IoT); 3) processos e ferramentas de software: processos ágeis, melhoria de processos, ferramentas para colaboração e gestão de conhecimento; e jogos sérios na educação em engenharia de software. Dentro destas linhas de investigação, procuramos continuar a identificar, compreender na sua essência e documentar aquilo que realmente constitui boas soluções na engenharia de software contemporânea, colaborando de perto com profissionais do setor. Além disso, pretendemos continuar a avançar o estado da arte em técnicas, práticas e ferramentas que possam, de diferentes formas, melhorar a eficácia, eficiência e experiência dos desenvolvedores de software.

Projetos em Destaque

CloudDBAppliance

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

Cloud-Setup

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

Membros da Equipa

Coordenação de Centro

Alcino Cunha

Coordenador 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

Coordenador de Centro

Alexandra Francisco Alves

Alexandra Sofia Mendes

Investigador Sénior

Alexandre Almeida Filho

Alexandre Castro Madeira

Investigador

Alexis Gonzalez

Investigador

Alícia Oliveira

Investigador

Álvaro Festas Silva

Ana Isabel Neri

Ana Margarida Sousa

Ana Nunes Alonso

Investigador Auxiliar

André Lucena Ferreira

André Manuel Sequeira

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;Léchenet, JC;Low, C;Oliveira, T;Pacheco, H;Quaresma, M;Schwabe, P;Strub, PY;

2024

Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II