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

At HASLab, we anchor 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.

Latest News

Mobile applications developed at INESC TEC awarded by Exame Informática

The applications STAYAWAY COVID and Psicovida, both developed by INESC TEC researchers, received an honourable mention in the category "Application of the year", of the “Os Melhores do Portugal Tecnológico” awards, granted by Exame Informática magazine.

19th November 2020

Computer Science

Merit grant awarded to INESC TEC researcher

Ricardo Macedo, researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), received a merit grant from the University of Minho, supported entirely by the Ministry of Science, Technology and Higher Education, through the Directorate General for Higher Education (DGES). The ceremony took place on October 26, at the Medieval Hall of UMinho’s rectory.

11th November 2020

INESC TEC team collaborates with ENSICO initiative

A team of INESC TEC researchers participates in the initiative ENSICO, Association for the Teaching of Computing, which aims to invest in the teaching of Computer Sciences in Portuguese schools, supporting the creation of innovative practices in the digital age, through new teaching tools, materials and learning software.

29th October 2020

Computer Science

INESC TEC contributes to the development of an app that provides free psychological support during the pandemic

The social distancing and lockdown measures imposed by the COVID-19 pandemic had an impact on individual well-being, namely psychological well-being. In order to address the needs of those who are most vulnerable, INESC TEC’s High-Assurance Software laboratory joined OutSystems and the Psychology Association of the University of Minho (APsi-UMinho) and developed a new mobile application to provide free psychological support to all those who need it, particularly due to the Covid-19.

06th October 2020

Computer Science

INESC TEC supports the development of the new version of a risk management platform

Improving the RAID platform, a system marketed by the telecommunications analyst Mobileum for the comprehensive risk management in companies, thus making it compatible with 5G networks and edge computing. This is the objective of the AIDA project.

18th September 2020

Interest Topics
045

Featured Projects

ConsultSoft

Consultoria de sistemas e bases de dados

2020-2021

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

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

2020-2021

ENSCOMP

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

2020-2021

ECZK

Zero Knowledge Proofs in EasyCrypt

2020-2021

Collaboration

Collaborative Visual Development

2020-2020

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

BigHPC

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

MobileID

Desenvolvimento de soluções de identidade móvel

2019-2021

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-2020

OLM2

OutSystems Learnability Model - 2nd phase

2019-2020

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

HArdware-backed trusted and scalable DEcentralized Systems

2018-2021

MaLPIS

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

2018-2021

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

OLM

OutSystems Learnability Model

2018-2019

DaVinci

Distributed architectures: variability and interaction for cyber-physical systems

2018-2021

SAFER

Safery verification for robotic software

2018-2021

KLEE

Coalgebraic modeling and analysis for computational synthetic biology

2018-2021

KMSEC

Machine-checked proofs of AWS Key Management Service

2018-2019

RCS

Reinsurance collaborate system

2018-2020

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

EMRPrototype

Development of training videos illustrating the use of Medicaltech's SDIM system

2018-2019

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

DSGrid

Digital Systems Technology for Next Generation Grid Automation

2016-2018

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

PaaS2

Integrated Management of PaaS services

2014-2015

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

PaaS

Integrated Management of PaaS services

2013-2015

Cloud

Integrated Management of Cloud Services with Operations Support Systems

2012-2013

WEB2Economy

Web 2.0 Platform - WEB2Economy

2011-2012

Team
001

Laboratories

CLOUDinha Laboratory

Supervised Theses

2019

O uso de tecnologias (DLT) como ferramenta para a proteção de direitos de autor

Author
Luís Felipe Miranda Ramos

Institution
UM

2019

Load Balancing Framework for Security in SDN context

Author
Bruno Machado

Institution
UM

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Author
Georges Younes

Institution
UP-FCUP

2019

Integrated verification of cryptographic security proofs and implementations

Author
Vitor Manuel Parreira Pereira

Institution
UP-FCUP

2019

Towards a Dependable and Decentralized Software-Defined Storage Architecture

Author
Ricardo Gonçalves Macedo

Institution
UP-FCUP

Facts & Figures

1R&D Employees

2020

68Researchers

2016

21Senior Researchers

2016