Projectos de I&D
Consulta de projectos homologados
Concurso para Projetos Exploratórios no Âmbito da Colaboração Âmbito do Programa Carnegie Mellon Portugal - 2019
PassCert: Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords
CMU/TIC/0006/2019
-
Área Científica Principal
-
Tecnologias de Informação e Comunicação
-
Área Científica Secundária
-
Tecnologias de Informação e Comunicação
-
Palavras Chave
-
verificação formal
-
segurança de passwords
-
segurança usável
-
verificação de implementações criptográficas
-
Financiamento
- €
69 994,38
Instituição do projecto não encontradas