José Manuel Valença

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.

Domains

Communications Computer Science and Engineering

Publications

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

Supervised Theses

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

See more supervised theses

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

Information and Contacts

Phone

+351253604440

Email

[email protected]