Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

Full Professor since 1985 in the Department of Informatics of Minho's University with activity in the areas of Cryptography, Security and Computer Science. Founder member of HasLab.

'Licenciado' in Electrical Engineering ny the Mozambique's University (1971), Doctor of Philosophy in Engineering Science (1978) by the University Of Oxford and 'Agregado' (1985) by Minho's University.

Security Consultant for the Portuguese Administration for the 'Cartão do Cidadão' project (2001-2005), National Security Agency (member of Technical Committee for Creditation), Ministry of Foreign Affairs, member of Security Working Group of the Galileo Project; various other projects for the Ministry of Internal Affairs, National Assembly and Presidency of the Council of Ministers.

For the National R&D Agency (FCT): member of cientific councils in two ocasions, chair of evaluation committees for doctoral and pos-doctoral grants in information science, computer science and informatics. Similar activity for DGXII and DGXIII of the European Comission. Chair of evaluation comiittes for High Education in infromatics in the context of CRUPS; member of identical committees in the context of the actual evaluation agency A3ES.

Interest
Topics
Details

Details

  • Name

    José Manuel Valença
  • Role

    Research Coordinator
  • Since

    01st November 2011
Publications

2021

Post-Quantum Authentication with Lightweight Cryptographic Primitives

Authors
Faria, H; Valença, JM;

Publication
IACR Cryptol. ePrint Arch.

Abstract

1994

A Theory-based Typological Notion of Institutions

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

Publication
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.

Supervised
thesis

2022

Security Analysis of NIST-LWC Contest Finalists

Author
João Pedro Dias Fernandes

Institution
UM

2021

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

Author
Óscar Pereira

Institution
UM

2021

LIGTHWEIGHT + POST-QUANTUM CRYPTOGRAPHIES

Author
Henrique José Carvalho Faria

Institution
UM

2020

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

Author
Óscar Pereira

Institution
UM

2019

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

Author
Óscar Pereira

Institution
UM