Laboratório de Software Confiável

Sobre o Domínio

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.

Projetos Flagship

PeT

EPICURE

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

Ver mais projetos

Publicações Seleccionadas

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

Databases in Edge and Fog Environments : A Survey

Meruje Ferreira, LM;Coelho, F;Pereira, J;

2024

ACM Computing Surveys

Point-free program transformation

Cunha, A;Pinto, JS;

2005

FUNDAMENTA INFORMATICAE

Recursion patterns and time-analysis

Barbosa, A;Cunha, A;Pinto, JS;

2005

ACM SIGPLAN NOTICES

Ver mais publicações

Membros da equipa

Líderes de Equipa

Alcino Cunha

Coordenador de Centro

Alcino Cunha é Professor Associado no Departamento de Informático da Universidade do Minho e membro (e atualmente co-coordenador) do Laboratório de Software Confiável, um centro de investigação do laboratório associado INESC TEC. A sua investigação tem por ambição tornar o desenvolvimento formal de software mais acessível para todos os engenheiros de software, tendo sido um dos proponentes da nova versão 6 do acessível método formal Alloy, que adicionou suporte para especificações comportamentais e lógica temporal. Também tem interesse no tópico da qualidade de software robótico, em particular no desenvolvimento de ferramentas de análise formal para software desenvolvido com o popular framework ROS. Publicou mais de 70 artigos, incluindo vários artigos em revistas e conferências relevantes na área da engenharia de software e da robótica, tais como TSE, FSE, ASE, IROS, ou FM.