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 project applied to citizen card

On 24 May, a project of INESC TEC developed in partnership with the Portuguese Mint and Official Printing Office (INCM) was one of the highlighted presentations of the innovative ideas exhibition, that have already been implemented or that are still being developed by INCM.

18th June 2018

Computer Science

INESC TEC participates in the Porto Tech Hub conference

José Nuno Oliveira, researcher from the INESC TEC's High-Assurance Software Laboratory (HASLab), was invited to speak in the Porto Tech Hub conference, an event that took place on the 18th May at Alfândega Porto Congress Center.

08th June 2018

Computer Science

Researcher from INESC TEC receives the "best paper award" in Colombia

The paper “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, written by Luís Cruz, researcher of the INESC TEC’s High-Assurance Software Laboratory (HASLab), together with Rui Maranhão, teacher at the Instituto Superior Técnico, was awarded with the Best Paper Award in the XXI Ibero-American Conference on Software Engineering (CIbSE 2018) that took place in Bogotá, Colombia on 23 and 27 April.

05th June 2018

Computer Science

INESC TEC hosts 2018 Best Students at UMinho Programme

At the beginning of April, INESC TEC’s High Assurance Software Laboratory (HASLab) hosted high school students from Braga, Viana do Castelo and Bragança districts who have selected HASLab to experience the activity of IT researchers. The program was held under the 5th edition of Best Students at UMinho Programme.

08th May 2018

Computer Science

INESC TEC hosts one of the largest conferences on computer systems

The EuroSys - European Conference on Computer Systems, which is one of the world’s largest conferences on computer systems, took place in the city of Porto between 23 and 26 April. Around 300 participants from all over the world attended this conference, known as one of the largest international conferences on computer systems.

03rd May 2018

Interest Topics
018

Featured Projects

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

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

2016-2018

CORAL-TOOLS-1

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

NanoStima-RL3

NanoSTIMA – Health data infrastructure

2015-2018

SMILES

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

2015-2018

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

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

2018

Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018

Authors
Oliveira, R; Felber, P; Hu, YC;

Publication
EuroSys

Abstract

2018

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework

Authors
Alam, MI; Halder, R; Goswami, H; Pinto, JS;

Publication
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018.

Abstract

2018

Delta State replicated data types

Authors
Almeida, PS; Shoker, A; Baquero, C;

Publication
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

Abstract
Conflict-free Replicated Data Types (CRDTs) are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through disseminating the entire state, that may be large, and merging it to other replicas. We introduce Delta State Conflict-Free Replicated Data Types (delta-CRDT) that can achieve the best of both operation-based and state-based CRDTs: small messages with an incremental nature, as in operation-based CRDTs, disseminated over unreliable communication channels, as in traditional state-based CRDTs. This is achieved by defining delta-mutators to return a delta-state, typically with a much smaller size than the full state, that to be joined with both local and remote states. We introduce the delta-CRDT framework, and we explain it through establishing a correspondence to current state-based CRDTs. In addition, we present an anti-entropy algorithm for eventual convergence, and another one that ensures causal consistency. Finally, we introduce several delta-CRDT specifications of both well-known replicated datatypes and novel datatypes, including a generic map composition.

2018

Delta state replicated data types

Authors
Almeida, PS; Shoker, A; Baquero, C;

Publication
J. Parallel Distrib. Comput.

Abstract

2018

Programming from metaphorisms

Authors
Oliveira, JN;

Publication
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.

Supervised Theses

2017

High-speed and High-assurance Cryptographic Software

Author
Tiago Filipe Azevedo Oliveira

Institution
UP-FCUP

2017

Integrated verification of cryptographic security proofs and implementations

Author
Vitor Manuel Parreira Pereira

Institution
UP-FCUP

2017

Electronic Voting over the Internet - A real-world solution

Author
Michael Lothar Mendes Seufert

Institution
UP-FCUP

2017

Data intensive applications verification

Author
Daniel Arménio Silva Mendonça

Institution
UP-FEUP

2017

Interoperable Assistive Technologies

Author
Eduardo Miguel Moreira Guedes Osório

Institution
UP-FEUP

Facts & Figures

132National R&D Programmes (k€)

2016

3Concluded PhD theses

2016

43Papers in indexed journals

2016