News

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.

Crowbar project wins Startup Pitch Day of UPTEC

The Crowbar project, which Rui Maranhão, HASLab member, is part of, won the third edition of the Startup Pitch Day belonging to the Science and Technology Park of the University of Porto. The Crowbar presents a computing solution that reduces up to 75% the amount of time spent on software debugging.

HASLab team develops project to reduce spreadsheet errors

“Spreadsheets as a Programming Paradigm” is a project developed by the research team HASLab whose main goal is the reduction of errors present in spreadsheets.


HASLab hosts event on cryptographic attacks

The research team of Cryptography and Information Security of HASLab, led by Manuel Barbosa, is responsible for organizing the Summer School on Cryptographic Attacks.

League of Legends uses components investigated by HASLab

League of Legends, one of the most important online games, has migrated to the Riak 2.0 database. This new version uses components developed in HASLab’s investigation, in particular CRDTs, or in other words, types of commutative replicated data and Dotted Version Vectors.

HASLab receives Best Paper Award in SBCARS

The article "A self-adaptation strategy for service-based architectures" by Nuno Oliveira, PhD student of HASLab, and Luis Soares Barbosa, researcher in the same research center, was awarded with the Best Paper Award at the Brazilian Symposium on Software Components, Architectures and Reuse - SBCARS.