News

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.

HASLab doctoral thesis presents a technique that eases implementation of programs

Pedro Martins, the most recent HASLab doctorate, presents, in his doctoral thesis, defended in July this year, a technique that facilitates the work of the programmer during the implementation of programs.

Rui Maranhão receives two Best Papers Awards

Rui Maranhão, HASLab investigator, receives two Best Papers Awards at the 25th edition of the International Workshop on Principles of Diagnosis." An efficient distributed algorithm for computing minimal hitting sets" and "Sensitivity analysis of spectrum- based fault localization for multi-agent systems" are the two award-winning publications.