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

    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

    Computer Science

    The project that fosters the creation of business apps with non-relational data has come to an end

    RADicalize Big Data, a service provision project with OutSystems carried out by INESC TEC’s High-Assurance Software Laboratory (HASLab), allowed the development of a way to integrate Big Data sources in business applications, using a low-code approach that is compatible with the OutSystems platform.

    14th June 2019

    Computer Science

    Keyruptive is INESC TEC's most recent spin-off

    Keyruptive is INESC TEC's most recent spin-off and it operates in the IT security area. It was born in Braga, being the result of a work of many years from a group of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), and already has a technology solution to present to the market, whose name is the same as the company that was created.

    13th June 2019

    Power and Energy

    INESC TEC leads EUR 36M European project for the digitalisation of the power system

    InterConnect, which is the name of the biggest European collaborative project approved by the European Commission, under the Horizon 2020’s funding programme, will be led by INESC TEC.

    04th June 2019

    Computer Science

    Company CLEARSY visits INESC TEC

    Thierry Lecomte, R&D projects Director at CLEARSY Systems Engineering, visited INESC TEC’s High-Assurance Software Laboratory (HASLab), in Braga, and also the Institute’s headquarters, in Porto, between 6 and 7 March.

    23rd April 2019

    View all News
    Interest Topics
    Explore Interest Topics
    030

    Featured Projects

    CLOUD4CANDY

    Cloud for CANDY

    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

    3Concluded PhD theses

    2016

    571Turnover (k€)

    2016

    99R&D Services and Consulting (k€)

    2016

    View all Facts & Figures