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

t HASLab, we are 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. We accomplish our mission within the Computer Science Cluster, anchoring our research on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security.

Our contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on the development of tools and middleware that address real-world demands stemming from long-term collaborations with industry.

Software Engineering – we research 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 – we are focused on improving the reliability and scalability of software, by exploring properties inherent to the distribution and replication of computer systems.

Cryptography and Information Security – we aim to 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
Power and Energy

Sustainable HPC: kick-off of the new project that aims to improve the sustainability of supercomputers’ operation

The Sustainable HPC project which, results from an (approved) application to the Innovation and Energy Efficiency Funds by INESC TEC and INEGI, has started.

25th November 2021

Computer Science

INESC TEC researcher acknowledged in the New Talents in Quantum Technologies programme

INESC TEC researcher Gilberto Cunha received a grant from the New Talents in Quantum Technologies programme, an initiative promoted by the Calouste Gulbenkian Foundation.  

22nd November 2021

Computer Science

INESC TEC research in the field of security and cryptography presented at a top conference

The research carried out by a team of researchers from INESC TEC’s High-assurance Software Laboratory (HASLab), in the field of computer security, led ​to the presentation of three scientific articles at the ​​ACM Conference on Computer and Communications Security (CCS)​​, one of the most important conferences in this area – which took place online between November 15 and 18.

19th November 2021

Computer Science

European project promotes cooperation across continents to improve high-performance computing

High Performance Computing (HPC) is the foundation for scientific, industrial and social advances that improve the quality of life for people worldwide. The main objective of the RISC2 project – A network for supporting the coordination of Computing research between Europe and Latin America – is to promote and improve the relationship between the research and industrial communities of Europe and Latin America, focusing on HPC applications and infrastructures’ implementation.

14th November 2021

Computer Science

INESC TEC will develop mathematical methods to advance cyber-physical programming

INESC TEC's High-Assurance Software Laboratory (HASLab) coordinates the project “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, whose main objective is the development of mathematical methods to model and analyse imprecisions in cyber-physical software.

08th September 2021

Interest Topics
038

Featured Projects

SpecRep

Constraint-based Specification Repair

2022-2023

VIATEXT

Ferramentas para comunicação via Texto, para ações de controlo, entre salas de controlo de Centros de Operação de Sistemas Elétricos

2021-2021

Sustainable HPC

Computação de elevado desempenho sustentável

2021-2023

CircThread

Building the Digital Thread for Circular Economy Product, Resource & Service Management

2021-2025

PFAI4_v2

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

2021-2021

PassCert

Exploring the Impact of Formal Verification on the Adoption of Password Security Software

2021-2022

IoT4Distribuicao

Análise de Requisitos e Especificação Funcional de uma Arquitetura Distribuída baseada em soluções IoT para a Gestão e Controlo da Rede de Distribuição

2021-2022

RISC2

A network for supporting the coordination of High-Performance Computing research between Europe and Latin America

2021-2023

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

PFAI4.0

Programa de Formação Avançada Industria 4.0

2020-2021

Collaboration

Collaborative Visual Development

2020-2021

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

BigHPC

A Management Framework for Consolidated Big Data and HPC

2020-2023

SLSNA

Prestação de Serviços no ambito do projeto SKORR

2020-2021

AppOwl

Deteção de Mutações Maliciosas no Browser

2020-2021

InterConnect

Interoperable Solutions Connecting Smart Homes, Buildings and Grids

2019-2023

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2021

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

HArdware-backed trusted and scalable DEcentralized Systems

2018-2022

MaLPIS

Aprendizagem Automática para Deteção de Ataques e Identificação de Perfis Segurança na Internet

2018-2022

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

DaVinci

Distributed architectures: variability and interaction for cyber-physical systems

2018-2022

SAFER

Safery verification for robotic software

2018-2021

KLEE

Coalgebraic modeling and analysis for computational synthetic biology

2018-2021

InteGrid

Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders

2017-2020

Lightkone

Lightweight Computation for Networks at the Edge

2017-2019

CloudDBAppliance

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

2016-2019

GSL

GreenSoftwareLab: Towards an Engineering Discipline for Green Software

2016-2019

Cloud-Setup

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

2016-2019

CORAL-TOOLS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

NanoStima-RL1

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

SMILES

SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

UPGRID

Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid

2015-2017

LeanBigData

Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics

2014-2017

Practice

Privacy-Preserving Computation in the Cloud

2013-2016

CoherentPaaS

A Coherent and Rich PaaS with a Common Programming Model

2013-2016

Team
001

Laboratory

CLOUDinha

Publications

HASLab Publications

View all Publications

2022

Experiences on teaching alloy with an automated assessment platform

Authors
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, D;

Publication
Science of Computer Programming

Abstract

2022

MONARCH: Hierarchical Storage Management for Deep Learning Frameworks

Authors
Dantas, M; Leitao, D; Correia, C; Macedo, R; Xu, WJ; Paulo, J;

Publication
2021 IEEE International Conference on Cluster Computing (CLUSTER)

Abstract

2022

An Initial Analysis of the Shortcomings of Conventional AI and the Benefits of Distributed AI Approaches in Industrial Use Cases

Authors
Hristoskova, A; Deleito, NG; Klein, S; Sousa, J; Martins, N; Tagaio, J; Serra, J; Silva, C; Ferreira, J; Santos, PM; Morla, R; Almeida, L; Bulut, B; Sultanoglu, S;

Publication
Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings

Abstract

2022

CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes

Authors
Pontes, R; Portela, B; Barbosa, M; Vilaça, R;

Publication
40th International Symposium on Reliable Distributed Systems, SRDS 2021, Chicago, IL, USA, September 20-23, 2021

Abstract

2022

Featured Team Automata

Authors
ter Beek, MH; Cledou, G; Hennicker, R; Proença, J;

Publication
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Abstract

Supervised Theses

2020

Extending Conflict Free Replicated Data Types Fault Models

Author
Houssam Ahmad Yactine

Institution
UP-FCUP

2020

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Author
sara dos Santos Fernandes

Institution
UP-FCUP

2020

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Author
Miguel Miranda Quaresma

Institution
UM

2020

Suporte ao desenvolvimento de aplicações críticas em sistemas embebidos

Author
Lisandra Maria Pereira da Silva

Institution
UM

2020

Prototipagem de Interfaces

Author
Rafael Braga Gomes da Costa

Institution
UM

Facts & Figures

4Papers in indexed journals

2020

16Academic Staff

2020

21Senior Researchers

2016

Contacts