João Marco

Domains

High-Assurance Software Communications Computer Science and Engineering

Projects

Lightkone

The LightKone EU project aims to develop a scientifically sound and industrially validated model for performing general purpose edge network calculations.

Lightweight Computation for Networks at the Edge

FLEXCOMM

FLEXCOMM will contribute to reducing the energy and thus environmental impact caused by the increasing volume of data transported over communications networks. The innovation factor of this project is the integration (and operational cooperation) between communication and power distribution infrastructures.

Publications

Impact of Traffic Sampling on LRD Estimation

Mendes, J;Lima, SR;Carvalho, P;Silva, JMC;

2024

INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023

An Expert System as an Awareness Tool to Prevent Social Engineering Attacks in Public Organizations

Cardoso, WR;Silva, JM;Ribeiro, AdRL;

2023

SSRN Electronic Journal

CRIBA: A Tool for Comprehensive Analysis of Cryptographic Ransomware's I/O Behavior

Esteves, T;Pereira, B;Oliveira, RP;Marco, J;Paulo, J;

2023

2023 42ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, SRDS 2023

A multiadaptive sampling technique for cost-effective network measurements

Silva, JMC;Carvalho, P;Lima, SR;

2013

Comput. Networks

View all publications

Supervised theses

Análise e classificação de doenças neurodegenerativas

Sara Patrícia Freitas Monteiro

M - 2024

UTAD-ECT

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.