Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
    Facts & Numbers
    000
    Presentation

    High-Assurance Software

    At HASLab, we anchor our research on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security.

    Our contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on the development of tools and middleware that address real-world demands stemming from long-term collaborations with industry.

    Latest News
    Computer Science

    INESC TEC's researchers receive Special Mention Award

    The paper entitled “GreenHub Farmer: Real-world data for Android Energy Mining” was distinguished with the Special Mention Award in the Data Showcase Track of the MSR 2019 conference.

    10th July 2019

    Computer Science

    INESC TEC develops the 1st catalogue of Energy Patterns for mobile applications

    The longevity of batteries in mobile devices is a problem for the majority of users. The interaction of users with these devices is often jeopardised by the constant concern that the battery might run out. However, this problem may cease to exist.

    09th July 2019

    Computer Science

    INESC TEC participates in the Bootcamp of CoLAB VORTEX

    The Bootcamp of CoLAB VORTEX, the new collaborative laboratory of acceleration and technology transfer of cyber-physical systems and cyber security, took place on May at the CISTER’s premises in Porto and was attended by several researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab).

    21st June 2019

    Computer Science

    Researchers from INESC TEC awarded with the Excellence Grant of UMinho

    Francisco Ribeiro and Michael Oliveira, researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC, received the Excellence Grant of UMinho from last academic year.

    21st June 2019

    Computer Science

    New member in HASLab’s coordination

    In the meeting of INESC TEC’s Board that was held on 7 May, António Luís Sousa was appointed for the co-coordination of the High-Assurance Software Laboratory (HASLab), in which his duties will be carried out alongside Alcino Cunha who continues to be the Co-coordinator of the Centre.

    17th June 2019

    View all News
    Interest Topics
    Explore Interest Topics
    031

    Featured Projects

    InterConnect

    Interoperable Solutions Connecting Smart Homes, Buildings and Grids

    2019-2023

    CLOUD4CANDY

    Preparação e disponibilização de uma infraestrutura CLOUD para avaliação de tecnologias direccionadas para blockchain

    2019-2019

    HADES

    HArdware-backed trusted and scalable DEcentralized Systems

    2018-2021

    MaLPIS

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

    2018-2021

    OLM

    OutSystems Learnability Model

    2018-2019

    DaVinci

    Distributed architectures: variability and interaction for cyber-physical systems

    2018-2021

    SAFER

    Safery verification for robotic software

    2018-2021

    KLEE

    Coalgebraic modeling and analysis for computational synthetic biology

    2018-2021

    KMSEC

    Machine-checked proofs of AWS Key Management Service

    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: Towards an Engineering Discipline for Green Software

    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

    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

    Integrated Management of PaaS services

    2014-2015

    LeanBigData

    Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics

    2014-2017

    Practice

    Privacy-Preserving Computation in the Cloud

    2013-2016

    CoherentPaaS

    A Coherent and Rich PaaS with a Common Programming Model

    2013-2016

    PaaS

    Integrated Management of PaaS services

    2013-2015

    Cloud

    Integrated Management of Cloud Services with Operations Support Systems

    2012-2013

    WEB2Economy

    Web 2.0 Platform - WEB2Economy

    2011-2012

    Team
    Alcino Cunha

    Centre Coordinator

    António Luís Sousa

    Centre Coordinator

    ViewClose Alphabet
    • a
    • b
    • c
    • d
    • e
    • f
    • g
    • h
    • i
    • j
    • k
    • l
    • m
    • n
    • o
    • p
    • q
    • r
    • s
    • t
    • u
    • v
    • w
    • x
    • y
    • z
    001

    Laboratories

    CLOUDinha Laboratory

    Publications

    HASLAB Publications

    View all Publications

    2019

    Anomaly Detection and Modeling in 802.11 Wireless Networks

    Authors
    Allahdadi, A; Morla, R;

    Publication
    CoRR

    Abstract

    2019

    Predicting throughput in IEEE 802.11 based wireless networks using directional antenna

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

    Publication
    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

    CloseRead Abstract

    2019

    Scalable eventually consistent counters over unreliable networks

    Authors
    Almeida, PS; Baquero, C;

    Publication
    Distributed Computing

    Abstract

    Read Full Publication

    2019

    Conflict-Free Replicated Data Types CRDTs

    Authors
    Preguiça, NM; Baquero, C; Shapiro, M;

    Publication
    Encyclopedia of Big Data Technologies.

    Abstract

    2019

    Memoized zipper-based attribute grammars and their higher order extension

    Authors
    Fernandes, JP; Martins, P; Pardo, A; Saraiva, J; Viera, M;

    Publication
    Science of Computer Programming

    Abstract
    Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. © 2018 Elsevier B.V.

    CloseRead Abstract
    Supervised Theses

    2018

    Trade-offs between privacy and efficiency on databases

    Author
    Rogério António da Costa Pontes

    Institution
    UP-FCUP

    2018

    Avaliação Realista de Sistemas de Armazenamento

    Author
    Alexandre Silva

    Institution
    UM

    2018

    Distributed Black-Box Data Tracing

    Author
    Catarina Cardoso

    Institution
    UM

    2018

    Security Analysis of a Closed-Source Signal Protocol Implementation

    Author
    João Diogo Gaspar Alves

    Institution
    UP-FCUP

    2018

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

    Author
    Tiago André Ferreira Fernandes

    Institution
    UP-FCUP

    View all Supervised Theses

    Facts & Figures

    2Book Chapters

    2016

    21Academic Staff

    2016

    571Turnover (k€)

    2016

    View all Facts & Figures