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
Facts & Numbers
000
Presentation

High-Assurance Software

HASLab is focused on the design and implementation of high-assurance software systems: software that is correct by design and resilient to environment faults and malicious attacks. 

To accomplish this mission, HASLab covers three main competences — Cybersecurity, Distributed Systems, and Software Engineering — complemented by other competences such as Human-Computer Interaction, Programming Languages, or the Mathematics of Computing. 

Software Engineering – methods, techniques, and tools for rigorous software development, that can be applied to the internal functionality of a component, its composition with other components, as well as the interaction with the user.

Distributed Systems – improving the reliability and scalability of software, by exploring properties inherent to the distribution and replication of computer systems.

Cybersecurity – minimize the vulnerability of software components to hostile attacks, by deploying structures and cryptographic protocols whose security properties are formally proven.

Through a multidisciplinary approach that is based on solid theoretical foundations, we aim to provide solutions — theory, methods, languages, tools — for the development of complete ICT systems that provide strong guarantees to their owners and users. Prominent application areas of HASLab research include the development of safety and security critical software systems, the operation of secure cloud infrastructures, and the privacy-preserving management and processing of big data.

Latest News
Computer Science and Engineering

INESC TEC researcher won Amazon Research Award

Alexandra Mendes, a researcher at INESC TEC, received the Amazon Research Award in automated reasoning. This is the first time this award has been granted to researchers who carry out their R&D work in Portugal.

27th June 2025

Greener high-performance computing? INESC TEC is processing solutions – and the keyword is “disaggregation”

Underused resources, wasted energy, and high operational costs. INESC TEC is leading a project that aims to propose alternatives to how computing resources are organised and managed.

05th May 2025

INESC TEC researchers strengthened the partnership with CENTRA international network

INESC TEC reaffirmed the institution’s commitment to international research collaboration by participating in the CENTRA 2025 event, a global initiative that brings together research centres, institutes, and laboratories from across the world to drive the development of transnational cyberinfrastructures. This year’s edition focused on Artificial Intelligence (AI), exploring application in linguistics, cognitive psychology and advanced management of cyberinfrastructures. 

28th March 2025

Computer Science and Engineering

Advanced computing as a bridge between Portugal and Japan: INESC TEC and AIST reinforce scientific cooperation

Five years have passed since INESC TEC and the National Institute of Advanced Industrial Science and Technology (AIST), in Japan, signed the first Memorandum of Understanding (MoU). This scientific cooperation agreement, focused on advanced computing, led to major opportunities for mobility, joint publications and the exchange of knowledge and experiences, thus bringing the Portuguese and Japanese R&D ecosystems closer together – particularly in High-Performance Computing (HPC). Recently, the two institutes renewed the MoU and will continue to work together to boost research in advanced computing.

03rd February 2025

Computer Science and Engineering

There are bridges uniting biomedical engineering and supercomputing - INESC TEC researchers flew to Barcelona to cross them

For a week, Alicia Oliveira and Beatriz Cepa left INESC TEC's laboratories in Braga and went to Barcelona - the city that welcomed the ACM Summer School. The researchers explored some of the elemental HPC concepts and realised that - in a context dominated by computer science - their training in biomedical engineering was an asset.

31st October 2024

007

Projects

BringTrust

Strengthening CI/CD Pipeline Cybersecurity and Safeguarding the Intellectual Property

2025-2028

DisaggregatedHPC

Towards energy-efficient, software-managed resource disaggregation in HPC infrastructures

2025-2026

InfraGov

InfraGov: A Public Framework for Reliable and Secure IT Infrastructure

2025-2026

VeriFixer

VeriFixer: Automated Repair for Verification-Aware Programming Languages

2025-2026

ENSCOMP4

Ensino de Ciência da Computação nas Escolas 4

2024-2025

PFAI4_5eD

Programa de Formação Avançada Industria 4 - 5a edição

2024-2024

QuantELM

QuantELM: from Ultrafast optical processors to Quantum Extreme Learning Machines with integrated optics

2023-2024

Team
001

Laboratory

CLOUDinha

Facts & Figures

0Book Chapters

2020

1R&D Employees

2020

16Academic Staff

2020

Contacts