Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

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.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    José Manuel Valença
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
Publicações

2021

Post-Quantum Authentication with Lightweight Cryptographic Primitives

Autores
Faria, H; Valença, JM;

Publicação
IACR Cryptol. ePrint Arch.

Abstract

1994

A Theory-based Typological Notion of Institutions

Autores
Sernadas, A; Sernadas, C; Valença, JM;

Publicação
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

Abstract
By adopting theories as primitive components of a logic and recognizing that formulae are just presentation details we arrive at the concept of topological institution. In a topological institution, we have, for each signature, a frame of theories, a set of interpretation structures and a satisfaction relation. More precisely, we have, for each signature, a topological system. We show how to extract a topological institution from a given institution and establish an adjunction. Illustrations are given within the context of equational logic. We study the compositionality of theories. Formulae are recovered when we establish a general technique for presenting topological institutions. Topological institutions with finitely observable theories are shown to be useful in temporal monitoring applications where we would like to be able to characterize the properties of the system that can be monitored. Namely, an invariant property (Gf) cannot be monitored because it cannot be positively established in finite time. On the contrary, a reactivity property (Ff) can be positively established in finite time. © Springer-Vedag Berlin Heidelberg 1995.

Teses
supervisionadas

2022

Security Analysis of NIST-LWC Contest Finalists

Autor
João Pedro Dias Fernandes

Instituição
UM

2021

Symmetric Ciphers – the good, the bad, and the ugly

Autor
Óscar Pereira

Instituição
UM

2021

LIGTHWEIGHT + POST-QUANTUM CRYPTOGRAPHIES

Autor
Henrique José Carvalho Faria

Instituição
UM

2020

Symmetric Ciphers – the good, the bad, and the ugly

Autor
Óscar Pereira

Instituição
UM

2019

Integração de criptografia pós-quântica (NTRU) no protocolo TLS

Autor
Afonso Pires Fontes

Instituição
UM