HASLab participates in the Engineering School Week of 2015

The High-Assurance Software Laboratory will be present in the 11th edition of the Engineering School Week taking place between 22 and 27 January at the Campus of Azurém in Guimarães. HASLab participation is part of the activities for secondary schools and has as subject "O que faz falta é engenheirar a malta!".

HASLab completes masters thesis defense phase

HASLab ended last week, the second and last series of defenses of Master thesis. Pedro Guimarães, Diogo Almeida, and Marco Dinis were the last students to defend their theses, which had already been hand over in 2014.

INESC TEC receives the "Excellent" evaluation from FCT

The second phase of the evaluation results of the Portuguese National Funding Agency for Science (FCT), released yesterday afternoon, attributed to INESC TEC an "Excellent" review among 322 evaluated Portuguese research units.

HASLab ends the year 2014 with a master’s theses average of 18

The High-assurance Software Laboratory reaches the end of year 2014 with an average of 18 in 10 Master's theses presented during this month, in the Computer Engineering Masters degree.

Tweet of Carlos Baquero chosen by Nature

A tweet of only 140 characters by Carlos Baquero, HASLab researcher, was chosen in the latest version of Nature, a weekly Journal of International Science.

Nuno Macedo investigates bidirectional transformations as a way to improve the creation of model-driven software

Nuno Macedo, the latest HASLab Doctorate, discovers, in his PhD thesis, the best way to develop bidirectional transformations and, therefore, improve the creation of model-driven software.

HASLab research allows the optimization of the computer resources consumption

The article "Scaling up Publish / Subscribe Overlays using Interest Correlation for Link Sharing" written by Miguel Matos, Rui Oliveira, José Pereira, HASLab researchers, Pascal Felber and Emmanuel Rivière proposes an approach that enhances the connections between computer users and their common interests.

HASLab develops a tool that allows to generate efficient implementations of cryptographic algorithms

The High-assurance Software Laboratory (HASLab) presents a tool that allows the creation of implementations of cryptographic components, thereby reducing the probability of errors in the translation of the specifications.

HASLab dicovers a technique that amplifies the resistance of critical components to the computer system's security

The article "The Related-Key Analysis of Feistel Constructions", of Manuel Barbosa, HASLab researcher and Pooya Farshim presents a change in the building technique of “block ciphers", able to increase the efficiency of construction and simultaneously its resistance to intrusive attacks.

9livesdata uses HASLab article to set its name apart in market

The software company 9LivesData, located in Poland, uses classification and nomenclature presented in the article "A survey and classification of storage deduplication systems" written by João Paulo and José Pereira, HASLab researchers.