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.