José Manuel Esgalhado 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

High-Assurance Software

Publications

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

Post-Quantum Authentication with Lightweight Cryptographic Primitives

Faria, H;Valença, JM;

2021

IACR Cryptol. ePrint Arch.

Supervised theses

A software package implementing efficiently time series mappings

Ana Filipa Pereira Torres

UP-FCUP

A software package implementing efficiently time series mappings

Ana Filipa Pereira Torres

UP-FCUP

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.