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

Computer Science

The mobile app of the CoronaSurveys project is already available

The mobile application of the CoronaSurveys project, which includes the participation of Carlos Baquero, researcher at INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), is already available for Android and iOS; the initiative is taking place in 150 different countries.

28th July 2020

Computer Science

LightKone comes to an end and obtains a positive score in the final evaluation

The European project LightKone, developed in partnership with INESC TEC’s High-Assurance Software Laboratory (HASLab), obtained a positive score in the European Commission’s final evaluation. According to the reviewers, “the project provided valuable results for the scientific community”.

20th July 2020

Computer Science

INESC TEC researcher receives the title of Emeritus Professor of the University of Minho

On June 23, José Manuel Valença, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and retired Full Professor at the UMinho School of Engineering, received the title of Emeritus Professor of said Institution.

20th July 2020

Computer Science

INESC TEC participates in project to improve the performance of supercomputers

Advanced computing (High Performance Computing - HPC) provides more resources and better performance than ordinary computers, in order to solve complex engineering and scientific problems, while contributing to technological developments in several areas, such as healthcare, environment and natural sciences. 

01st July 2020

Interest Topics
043

Featured Projects

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

ECZK

Zero Knowledge Proofs in EasyCrypt

2020-2021

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

Collaboration

Collaborative Visual Development

2020-2020

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

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

AppOwl

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

2019-2021

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

12Papers in indexed journals

2019

31Proceedings in indexed conferences

2019

2Book Chapters

2019