
José Manuel Valença
Investigador Colab Externo
Professor Catedrárico do Departamento de Informática da Universidade do Minho com actividade nas áreas de Criptografia, Segurança e Ciências da Computação. Fundador do HasLab.
Licenciado em Engenharia Electrotécnica (1971) pela Universidade de Moçambique, doutorado em Engenharia (1978) pela Universidade de Oxford e agregado (1985) pela Universidade do Minho.
Consultor de segurança para o estado no português no projecto do Cartão do Cidadão (2001-2005), Agência Nacional de Segurança (membro da Conselho Técnico de Creditação), Ministério dos Negócios Estrangeiros como membro da comissão se segurança no projecto Galileo; vários projectos de menores dimensões no Ministério da Administração Interna, Assembleia da República e Presidência do Conselho de Ministros.
No âmbito da FCT: membro das comissões científicas da FCT, presidente de comissões de avaliação para a formação de recursos humanos. Idêntica atividade na DGXII e DGXII da Comissão Europeia. Presidente das comissões de avaliação da formação superior em Informática no âmbito do CRUPS e membro de idênticas comissões no âmbito da A3ES.
Publicações
Post-Quantum Authentication with Lightweight Cryptographic Primitives
Faria, H;Valença, JM;
2021
IACR Cryptol. ePrint Arch.
A Theory-based Typological Notion of Institutions
Sernadas, A;Sernadas, C;Valença, JM;
1994
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers
Teses Orientadas
Symmetric Ciphers – the good, the bad, and the ugly
Óscar Pereira
D - 2019
UM-EEUM
Integração de criptografia pós-quântica no protocolo TLS (Opção LWE)
Luís Alberto Oliveira Rocha Esquível Costa
M - 2019
UM-EEUM
Integração de criptografia pós-quântica (NTRU) no protocolo TLS
Afonso Pires Fontes
M - 2019
UM-EEUM
Symmetric Ciphers – the good, the bad, and the ugly
Óscar Pereira
D - 2020
UM-EEUM

