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

INESC TEC project is one of the five finalists of the IN3+ Award

The IDINA project, Inclusive Non-Authoritative Digital Identity, is one of the finalists of the third edition of the IN3+ Award, an initiative that aims to support the development of new ideas, promoted by the Portuguese Mint and Official Printing Office (INCM).

22nd February 2021

Industrial and Systems Engineering

INESC TEC participates in project focusing on circular economy

INESC TEC, through the Centre for Enterprise Systems Engineering (CESE) and the High-assurance Software Laboratory (HASLab), participates in the CircThread project – Building the Digital Thread for Circular Economy Product, Resource & Service Management.

14th January 2021

Computer Science

INESC TEC researchers help understanding the efficiency of battery consumption

The article GreenHub: A Large-Scale Collaborative Dataset to Battery Consumption Analysis of Android Devices, written by Rui Pereira and Marco Couto from INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), presents a thorough analysis of more than 23 million of samples of data from Android smartphones, in order to understand the efficiency of battery consumption.

22nd December 2020

Computer Science

HASLab participated in the programme “The Best Student at UMinho 2020”

On December 18, the High-assurance Software Laboratory (HASLab), part of INESC TEC and UMinho, participated in the programme “The Best Student at UMinho 2020”, namely in the activity “The science behind the STAYAWAY COVID app”, which featured more of 15 participants, from schools in the northern region of Portugal.

22nd December 2020

Computer Science

CoronaSurveys project among the finalists of the COVID-19 Symptom Data Challenge

The CoronaSurveys project, with Carlos Baquero – researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and professor at UMinho -, was one of the five finalists of the international competition COVID-19 Symptom Data Challenge.

17th December 2020

Interest Topics
048

Featured Projects

SIS

Smart Insurance System for one-time-insurance

2021-2022

ConsultSoft

Consultoria de sistemas e bases de dados

2020-2021

DigiLightRail

DigiLightRail

2020-2022

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

PFAI4.0

Programa de Formação Avançada Industria 4.0

2020-2020

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

Publications

HASLab Publications

View all Publications

2020

Does domain name encryption increase users' privacy?

Authors
Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R;

Publication
ACM SIGCOMM Computer Communication Review

Abstract

2020

Flow-based detection and proxy-based evasion of encrypted malware C2 traffic

Authors
Novo, C; Morla, R;

Publication
CoRR

Abstract

2020

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

Authors
Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;

Publication
Complexity

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBM Q, of 5 qubits. We validate the results with the Haken-Ströbl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

2020

Testing for Race Conditions in Distributed Systems via SMT Solving

Authors
Pereira, JC; Machado, N; Pinto, JS;

Publication
Tests and Proofs - Lecture Notes in Computer Science

Abstract

2020

State-machine replication for planet-scale systems

Authors
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

Publication
EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020

Abstract

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

68Researchers

2016

14Proceedings in indexed conferences

2020

21Senior Researchers

2016