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
Fechar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

No HASLab, a nossa investigação tem por base uma abordagem rigorosa a três áreas da Informática: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.

As contribuições do HASLab para estas áreas vão desde a investigação fundamental em métodos e algoritmos formais, até à investigação aplicada no desenvolvimento de ferramentas e middleware que respondam às necessidades reais verificadas no decorrer de colaborações de longo prazo com a indústria.

Últimas Notícias
Informática

Jubilação de José Manuel Valença com casa cheia

José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia da Universidade do Minho, deu a sua última lição no dia 18 de outubro, na Universidade do Minho, em Braga.

13 novembro 2019

Informática

INESC TEC participa em conferência internacional na área de sistemas distribuídos confiáveis

Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable Distributed Systems (SRDS 2019), que decorreu em Lyon, França, de 1 a 4 de outubro, onde apresentou quatro artigos científicos, organizou um workshop, entre outras missões.

13 novembro 2019

Informática

INESC TEC organiza congresso mundial com 600 profissionais na área da Informática

O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.

31 outubro 2019

Informática

Artigo mais influente da VL/HCC 2019 tem co-autoria INESC TEC

O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, recebeu o prémio Most Influential Paper da conferência internacional VL/HCC 2019, que decorreu em Memphis, Tennessee, USA, de 14 a 18 de outubro.

23 outubro 2019

Informática

INESC TEC recebe alunos do Verão no Campus 2019 em Braga

A “Computação sem Fronteiras”, atividade inserida no programa Verão no Campus 2019 e organizada em colaboração com o Laboratório de Software Confiável (HASLab) do INESC TEC, contou com a participação de 28 alunos do ensino secundário e decorreu de 22 a 26 de julho, no Departamento de Informática da Universidade do Minho, em Braga.

16 agosto 2019

Tópicos de Interesse
036

Projetos Selecionados

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

INCMchaves

ID Chaves Criptograficas

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

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

2019

Anomaly Detection and Modeling in 802.11 Wireless Networks

Autores
Allahdadi, A; Morla, R;

Publicação
CoRR

Abstract

2019

Predicting throughput in IEEE 802.11 based wireless networks using directional antenna

Autores
Kandasamy, S; Morla, R; Ramos, P; Ricardo, M;

Publicação
Wireless Networks

Abstract
In IEEE 802.11 based wireless networks interference increases as more access points are added. A metric helping to quantize this interference seems to be of high interest. In this paper we study the relationship between the (Formula presented.) metric, which captures interference, and throughput for IEEE 802.11 based network using directional antenna. The (Formula presented.) model was found to best represent the relationship between the interference metric and the network throughput. We use this model to predict the performance of similar networks and decide the best configuration a network operator could use for planning his network. © 2017 Springer Science+Business Media, LLC

2019

Rapid detection of spammers through collaborative information sharing across multiple service providers

Autores
Azad, MA; Morla, R;

Publicação
Future Generation Computer Systems

Abstract
Spammers and telemarketers target a very large number of recipients usually dispersed across many Service Providers (SPs). Collaboration and Information sharing between SPs would increase the detection accuracy but detection effectiveness depends on the amount of information shared between SPs. Having service provider's exchange call detail records would arguably attain the best detection accuracy but would require significant network resources. Moreover, SPs are likely to feel uncomfortable in sharing their call records because call records contain user's private information as well as operational details of their networks. The challenge towards the design of collaborative Spam over Internet Telephony (SPIT) detection system is two-fold: it should attain high detection accuracy with a small false positive, and should fully protect the privacy of users and their service providers. In this paper, we propose a COllaborative Spit Detection System (COSDS)-a collaborative SPIT detection system for the Voice over IP (VoIP) network where service providers collaborate for the effective and early detection of SPIT callers without raising privacy concerns. To this extent, COSDS relies on a trusted Centralized Repository (CR) and exchange of non-sensitive reputation scores. The CR computes global reputation of users by aggregating the reputation scores provided by the respective collaborating SPs. The data exchanged to the CR is not sensitive regarding users privacy, and cannot be used to infer the relationship network of users. We evaluate the performance of our system using synthetic data that we have generated by simulating the realistic social behavior of spammers and non-spammers in a network. The results show that the COSDS approach has better detection accuracy as compared to the traditional stand-alone detection systems. For instances, in a setup where spammers are making calls to recipients of many SPs, COSDS successfully identifies spammers with the True Positive (TP) rate of around 80% and false positive (FP) rate of around 2% on a first day, which further increases to 100% TP rate and zero FP rate in three days. COSDS approach is fast, requires a small communication overhead, ensures privacy of users and collaborating SP, and requires only few iterations for the reputation convergence within the SP. © 2018 Elsevier B.V.

2019

Lessons Learned and Challenges on Benchmarking Publish-Subscribe loT Platforms

Autores
Aguiar, A; Morla, R;

Publicação
CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS

Abstract
The Internet of Things (IoT) emerged simultaneously in various research fields and application domains, leading to the appearence of a multitude of hardware, software technologies, horizontal platforms and data models. Lost in this diversity, adoption decisions are made to a large extent based on familiarity with a technology, or because there is a broad community support for it. In this context, bechmarking different technologies at different horizontal levels would provide a more solid justification for the adoption of a specific technology in a specific context. In this paper, we reflect on our previous work on benchmarking publish-subscribe IoT platforms as a middleware for IoT applications, reporting lessons learned and identifying challenges, thus contributing to the discussion on open topics and relevant downstream work.

2019

Anomaly Detection and Modeling in 802.11 Wireless Networks

Autores
Allahdadi, A; Morla, R;

Publicação
J. Network Syst. Manage.

Abstract

Teses Orientadas

2018

Trade-offs between privacy and efficiency on databases

Autor
Rogério António da Costa Pontes

Instituição
UP-FCUP

2018

Avaliação Realista de Sistemas de Armazenamento

Autor
Alexandre Silva

Instituição
UM

2018

Distributed Black-Box Data Tracing

Autor
Catarina Cardoso

Instituição
UM

2018

Security Analysis of a Closed-Source Signal Protocol Implementation

Autor
João Diogo Gaspar Alves

Instituição
UP-FCUP

2018

Computação colaborativa segura num cenário de gestão de risco financeiro

Autor
Tiago André Ferreira Fernandes

Instituição
UP-FCUP

Factos & Números

340Programas UE

2016

32Doutorados

2016

571Volume de Negócio

2016