Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

No HASLab, o nosso trabalho incide sobre o desenho e a implementação de sistemas de software confiável: softwarecorrect by design, resiliente perante falhas e ataques maliciosos. Com vista a cumprir a nossa missão, operamos no cluster das Ciências da Computação, e as nossas atividades de investigação seguem uma abordagem concreta a três grandes áreas: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.

Os principais contributos do HASLab nas dimensões acima referidas vão desde a investigação fundamental em métodos e algoritmos formais, até a investigação aplicada ao desenvolvimento de ferramentas e middleware, com vista a responder aos principais desafios do mundo atual, decorrentes da colaboração, a longo prazo, com a indústria.

Engenharia de Software - exploramos métodos, técnicas e ferramentas para o desenvolvimento de software, podendo este ser introduzido nas funcionalidades internas de certos componentes, na sua configuração junto de outros componentes, e também na interação com o usuário.

Sistemas Distribuídos – um dos nossos objetivos é aperfeiçoar a confiabilidade e escalabilidade de software, explorando propriedades inerentes à distribuição e replicação de sistemas computacionais.

Criptografia e Segurança da Informação - visamos minimizar a vulnerabilidade dos componentes de software a ataques maliciosos, através da implementação de estruturas e protocolos criptográficos, cujas propriedades de segurança são formalmente comprovadas.

Através de uma abordagem multidisciplinar, assente em princípios teóricos comprovados, pretendemos disponibilizar soluções – fundamentos teóricos, métodos, linguagens, ferramentas, etc. - para o desenvolvimento de sistemas TIC integrais, com garantias concretas aos seus proprietários e utilizadores. As principais áreas de aplicação da investigação levada a cabo no HASLab incluem o desenvolvimento de sistemas de software essenciais para garantir a segurança e a proteção, a operacionalização de infraestruturas da nuvem, e a gestão e o processamento de BigData, preservando a sua privacidade.

Últimas Notícias
Informática

Projeto do INESC TEC nos cinco finalistas do Prémio IN3+

O projeto IDINA, Identidade Digital Inclusiva Não-Autoritativa, é um dos projetos finalistas da terceira edição do Prémio IN3+, uma iniciativa que pretende apoiar a geração de novas ideias, promovida pela Imprensa Nacional-Casa da Moeda (INCM).  

22 fevereiro 2021

Engenharia Industrial e de Sistemas

INESC TEC participa em projeto relacionado com a economia circular

O INESC TEC, através do Centro de Engenharia de Sistemas Empresariais (CESE) e do Laboratório de Software Confiável (HASLab), participa no projeto CircThread – Building the Digital Thread for Circular Economy Product, Resource & Service Management.

14 janeiro 2021

Informática

Investigadores INESC TEC ajudam a compreender a eficiência do consumo da bateria

O artigo GreenHub: A Large-Scale Collaborative Dataset to Battery Consumption Analysis of Android Devices, da coautoria de Rui Pereira e Marco Couto, do Laboratório de Software Confiável (HASLab) do INESC TEC e da UMinho, apresenta uma análise rigorosa de mais de 23 milhões de amostras de dados da utilização de smartphones Android, com o objetivo de compreender a eficiência do consumo da bateria.

22 dezembro 2020

Informática

HASLab participa no programa “O Melhor Estudante na UMinho 2020”

O Laboratório de Software Confiável (HASLab) do INESC TEC e UMinho participou, no dia 18 de dezembro, no programa “O Melhor Estudante na UMinho 2020”, com a atividade “A ciência por detrás da app STAYAWAY COVID”, que contou com mais de 15 participantes, oriundos de escolas e colégios do norte do país.

22 dezembro 2020

Informática

Projeto CoronaSurveys nos finalistas do COVID-19 Symptom Data Challenge

O projeto CoronaSurveys, que conta com a participação de Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e Professor da UMinho, foi um dos cinco finalistas do concurso internacional COVID-19 Symptom Data Challenge.

17 dezembro 2020

Tópicos de Interesse
047

Projetos Selecionados

ConsultSoft

Consultoria de sistemas e bases de dados

2020-2021

DigiLightRail

DigiLightRail

2020-2022

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

PFAI4.0

Programa de Formação Avançada Industria 4.0

2020-2020

IoT4Distribuicao

Análise de Requisitos e Especificação Funcional de uma Arquitetura Distribuída baseada em soluções IoT para a Gestão e Controlo da Rede de Distribuição

2020-2021

ENSCOMP

Ensino de Ciência da Computação nas Escolas

2020-2021

ECZK

Zero Knowledge Proofs in EasyCrypt

2020-2021

Collaboration

Collaborative Visual Development

2020-2020

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

BigHPC

BigHPC - A Management Framework for Consolidated Big Data and HPC

2020-2023

SLSNA

Prestação de Serviços no ambito do projeto SKORR

2020-2021

AppOwl

Deteção de Mutações Maliciosas no Browser

2020-2021

InterConnect

Interoperable Solutions Connecting Smart Homes, Buildings and Grids

2019-2023

MobileID

Desenvolvimento de soluções de identidade móvel

2019-2021

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2020

OLM2

OutSystems Learnability Model - 2nd phase

2019-2020

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

Sistemas descentralizados confiáveis e escaláveis suportados por hardware

2018-2021

MaLPIS

Aprendizagem Automática para Deteção de Ataques e Identificação de Perfis Segurança na Internet

2018-2021

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

OLM

OutSystems Learnability Model

2018-2019

DaVinci

Architecturas distribuídas: variabilidade e interação de sistemas ciber-físicos

2018-2021

SAFER

Verificação de segurança para software robótico

2018-2021

KLEE

Modelação coalgébrica e análise para biologia sintética computacional

2018-2021

KMSEC

Verificação formal de protocolo criptográfico comercial em colaboração com IMDEA

2018-2019

RCS

Reinsurance collaborate system

2018-2020

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

EMRPrototype

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

2018-2019

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: Computação Verde como uma Disciplina de Engenharia

2016-2019

Cloud-Setup

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

2016-2019

DSGrid

Digital Systems Technology for Next Generation Grid Automation

2016-2018

CORAL-TOOLS

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

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

SMILES

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

2015-2019

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

PaaS2

Gestão integrada de serviços PaaS-Gpaas-II

2014-2015

LeanBigData

Análise Integrada e Visual de Big Data Ultra-escalável e Ultra-eficiente

2014-2017

Practice

Ferramentas de Preservação de Privacidade na Cloud

2013-2016

CoherentPaaS

PaaS Rica e Coerente com um Modelo de Programação Comum

2013-2016

PaaS

Gestão integrada de serviços PaaS

2013-2015

Cloud

Gestão Integrada de Serviços Cloud com os Sistemas de Suporte às Operações

2012-2013

WEB2Economy

Plataforma Editorial Web 2.0 - WEB2Economy

2011-2012

Equipa
001

Laboratórios

Laboratório CLOUDinha

Publicações

HASLab Publicações

Ler todas as publicações

2020

Does domain name encryption increase users' privacy?

Autores
Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R;

Publicação
ACM SIGCOMM Computer Communication Review

Abstract

2020

Flow-based detection and proxy-based evasion of encrypted malware C2 traffic

Autores
Novo, C; Morla, R;

Publicação
CoRR

Abstract

2020

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

Autores
Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;

Publicação
Complexity

Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBM Q, of 5 qubits. We validate the results with the Haken-Ströbl model and discuss the influence of environmental parameters on the efficiency of the energy transport.

2020

Testing for Race Conditions in Distributed Systems via SMT Solving

Autores
Pereira, JC; Machado, N; Pinto, JS;

Publicação
Tests and Proofs - Lecture Notes in Computer Science

Abstract

2020

State-machine replication for planet-scale systems

Autores
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

Publicação
EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020

Abstract

Teses Orientadas

2019

O uso de tecnologias (DLT) como ferramenta para a proteção de direitos de autor

Autor
Luís Felipe Miranda Ramos

Instituição
UM

2019

Load Balancing Framework for Security in SDN context

Autor
Bruno Machado

Instituição
UM

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Autor
Georges Younes

Instituição
UP-FCUP

2019

Integrated verification of cryptographic security proofs and implementations

Autor
Vitor Manuel Parreira Pereira

Instituição
UP-FCUP

2019

Towards a Dependable and Decentralized Software-Defined Storage Architecture

Autor
Ricardo Gonçalves Macedo

Instituição
UP-FCUP

Factos & Números

0Capítulos de livros

2020

68Investigadores

2016

4Artigos em revistas indexadas

2020