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

SafeCloud ajuda na segurança e proteção de dados na cloud

Foi no dia 27 de setembro que teve lugar a terceira e última avaliação pela Comissão Europeia do projeto SafeCloud, um trabalho liderado pelo Laboratório de Software Confiável (HASLab) do INESC TEC. Com um investimento de mais de três milhões de euros, este projeto foca a área das infraestruturas na cloud, que, apesar das suas vantagens, apresentam ainda vários desafios de segurança, privacidade e integridade no armazenamento e processamento de dados.

04 outubro 2018

Informática

HASLab participa no Verão no Campus 2018

Computação sem Fronteiras, atividade organizada para a 10ª edição do programa Verão no Campus da Universidade do Minho pelo Departamento de Informática, em colaboração com o HASLab, contou com a participação de 26 alunos.

17 setembro 2018

Informática

Investigador do HASLab conclui provas de agregação

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 26 e 27 de julho, as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos membros do júri.

07 setembro 2018

Informática

Projeto europeu CloudDBAppliance obtém uma avaliação positiva nos primeiros 18 meses de execução

O projeto europeu CloudDBAppliance alcançou uma avaliação positiva nos primeiros 18 meses de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu a 6 de julho, em Bruxelas.

07 setembro 2018

Informática

INESC TEC organiza conferência em blockchain

Decorreu nos dias 9 e 10 de julho a conferência “Chain-in: The International Industrial & Academic Conference on Blockchain Technology”, cuja organização esteve a cargo do INESC TEC. 

12 julho 2018

Tópicos de Interesse
023

Projetos Selecionados

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

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

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

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

2016-2018

CORAL-TOOLS-1

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

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2018

SMILES

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

2015-2018

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

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

2018

Benchmarking Pub/Sub IoT middleware platforms for smart services

Autores
Pereira, C; Cardoso, J; Aguiar, A; Morla, R;

Publicação
Journal of Reliable Intelligent Environments

Abstract

2018

Systems and methods for SPIT detection in VoIP: Survey and future directions

Autores
Azad, MA; Morla, R; Salah, K;

Publicação
Computers & Security

Abstract

2018

A Modular Tool for Benchmarking loT Publish-Subscribe Middleware

Autores
Zilhao, L; Morla, R; Aguiar, A;

Publicação
19th IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks", WoWMoM 2018, Chania, Greece, June 12-15, 2018

Abstract

2018

Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018

Autores
Oliveira, R; Felber, P; Hu, YC;

Publicação
EuroSys

Abstract

2018

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework

Autores
Alam, MI; Halder, R; Goswami, H; Pinto, JS;

Publicação
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018.

Abstract

Teses Orientadas

2017

High-speed and High-assurance Cryptographic Software

Autor
Tiago Filipe Azevedo Oliveira

Instituição
UP-FCUP

2017

Integrated verification of cryptographic security proofs and implementations

Autor
Vitor Manuel Parreira Pereira

Instituição
UP-FCUP

2017

Electronic Voting over the Internet - A real-world solution

Autor
Michael Lothar Mendes Seufert

Instituição
UP-FCUP

2017

Data intensive applications verification

Autor
Daniel Arménio Silva Mendonça

Instituição
UP-FEUP

2017

Interoperable Assistive Technologies

Autor
Eduardo Miguel Moreira Guedes Osório

Instituição
UP-FEUP

Factos & Números

3Teses de doutoramento concluídas

2016

0Outros Programas Financiamento

2016

43Artigos em revistas indexadas

2016