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 researcher elected for the Committee on Foundations of Computer Science

On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.

08th February 2019

Computer Science

Exploratory project with OutSystems came to an end

The project “Outsystems Learnability Model”, which started in May 2018 and lasted for six months, aimed at defining a strategy to analyse the experience of using the OutSystems platform, in order to support its improvement.

08th January 2019

Computer Science

Researcher of INESC TEC visits University of the Basque Country

Between 26 and 29 November, José Creissac Campos, senior researcher of the High Assurance Software Laboratory (HASLab) of INESC TEC, and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.

28th December 2018

Computer Science

SafeCloud promotes the privacy and integrity of cloud utilization

On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of  cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.

04th October 2018

Computer Science

HASLab participates in the Summer on the Campus 2018

Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity  Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.

17th September 2018

Interest Topics
003

Featured Projects

EMRPrototype

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

2018-2018

Cloud-Setup

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

2016-2019

CORAL-TOOLS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

Team
001

Laboratories

CLOUDinha Laboratory

Publications

HASLAB Publications

View all Publications

2018

Benchmarking Pub/Sub IoT middleware platforms for smart services

Authors
Pereira, C; Cardoso, J; Aguiar, A; Morla, R;

Publication
Journal of Reliable Intelligent Environments

Abstract

2018

Systems and methods for SPIT detection in VoIP: Survey and future directions

Authors
Azad, MA; Morla, R; Salah, K;

Publication
Computers & Security

Abstract

2018

A Modular Tool for Benchmarking loT Publish-Subscribe Middleware

Authors
Zilhao, L; Morla, R; Aguiar, A;

Publication
19th IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks", WoWMoM 2018, Chania, Greece, June 12-15, 2018

Abstract

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

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

3Concluded PhD theses

2016

571Turnover (k€)

2016

99R&D Services and Consulting (k€)

2016