Laboratório de Software Confiável
No HASLab, o nosso trabalho incide sobre o desenho e a implementação de sistemas de software confiável: softwarecorrect by design, resiliente perante falhas e ataques maliciosos. Com vista a cumprir a nossa missão, operamos no cluster das Ciências da Computação, e as nossas atividades de investigação seguem uma abordagem concreta a três grandes áreas: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.
Os principais contributos do HASLab nas dimensões acima referidas vão desde a investigação fundamental em métodos e algoritmos formais, até a investigação aplicada ao desenvolvimento de ferramentas e middleware, com vista a responder aos principais desafios do mundo atual, decorrentes da colaboração, a longo prazo, com a indústria.
Engenharia de Software - exploramos métodos, técnicas e ferramentas para o desenvolvimento de software, podendo este ser introduzido nas funcionalidades internas de certos componentes, na sua configuração junto de outros componentes, e também na interação com o usuário.
Sistemas Distribuídos – um dos nossos objetivos é aperfeiçoar a confiabilidade e escalabilidade de software, explorando propriedades inerentes à distribuição e replicação de sistemas computacionais.
Criptografia e Segurança da Informação - visamos minimizar a vulnerabilidade dos componentes de software a ataques maliciosos, através da implementação de estruturas e protocolos criptográficos, cujas propriedades de segurança são formalmente comprovadas.
Através de uma abordagem multidisciplinar, assente em princípios teóricos comprovados, pretendemos disponibilizar soluções – fundamentos teóricos, métodos, linguagens, ferramentas, etc. - para o desenvolvimento de sistemas TIC integrais, com garantias concretas aos seus proprietários e utilizadores. As principais áreas de aplicação da investigação levada a cabo no HASLab incluem o desenvolvimento de sistemas de software essenciais para garantir a segurança e a proteção, a operacionalização de infraestruturas da nuvem, e a gestão e o processamento de BigData, preservando a sua privacidade.