Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • 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 developed an application for managing large databases in real time

Nowadays, database management and updating is a key concern for large companies. In order to perform said critical tasks, the purchase of dedicated hardware is the solution found by most organisations; however, this leads to expenses in terms of hardware management and maintenance, and often the need to allocate human resources. Now, there’s a cloud platform that aims to meet the market demands, with a more reliable and cost-effective technology that can be updated in real time.

11th January 2020

Computer Science

HASLab welcomes students from the 2019 Best Student programme at University of Minho

On December 19th, INESC TEC’s High-Assurance Software Laboratory (HASLab) welcomed six students from Braga, Guimarães, Santo Tirso and Terras de Bouro, who chose HASLab to discover and become familiar with the work of a researcher in the IT field. This event was part of the 2019 edition of the Best Student programme at UMinho.

07th January 2020

Computer Science

Last lesson of José Manuel Valença with a full house

José Manuel Valença, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Full Professor at the School of Engineering of the University of Minho, lectured his last lesson on 18 October at the University of Minho in Braga.

13th November 2019

Computer Science

INESC TEC participates in an international conference on the reliable distributed systems area

A team of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab) participated at the 38th International Symposium on Reliable Distributed Systems (SRDS 2019), which took place in Lyon, France, from 1 to 4 October, presenting four scientific papers and organising a workshop, among other tasks.

13th November 2019

Computer Science

INESC TEC organises world congress with 600 professionals in the computer science field

The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October.

31st October 2019

Interest Topics
036

Featured Projects

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

INCMchaves

ID Chaves Criptograficas

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

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

2018

Trade-offs between privacy and efficiency on databases

Author
Rogério António da Costa Pontes

Institution
UP-FCUP

2018

Avaliação Realista de Sistemas de Armazenamento

Author
Alexandre Silva

Institution
UM

2018

Distributed Black-Box Data Tracing

Author
Catarina Cardoso

Institution
UM

2018

Security Analysis of a Closed-Source Signal Protocol Implementation

Author
João Diogo Gaspar Alves

Institution
UP-FCUP

2018

Computação colaborativa segura num cenário de gestão de risco financeiro

Author
Tiago André Ferreira Fernandes

Institution
UP-FCUP

Facts & Figures

15Papers in indexed journals

2018

0Book Chapters

2018

39Proceedings in indexed conferences

2018