Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Apresentação

Sistemas de Computação Avançada

O Centro de Sistemas de Computação Avançada (CRACS) procura a excelência científica nas áreas de linguagens de programação, computação paralela e distribuída, mineração de informação, segurança e privacidade, com foco no desenvolvimento de sistemas de software escaláveis para aplicações multidisciplinares nas áreas da Engenharia, Ciências da Vida, Redes Sociais e Internet das Coisas, entre outras.


Particular ênfase no conhecimento dos conceitos teóricos e práticos subjacentes ao desenho e desenvolvimento de linguagens de programação e camadas intermédias de software para sistemas avançados de computação (sistemas de computação paralela, distribuída, de alto-desempenho, na nuvem, dispositivos wireless e IoT) e no conhecimento dos conceitos teóricos e práticos dos principais algoritmos e metodologias utilizadas para promover a confiança, privacidade e segurança em sistemas computacionais.


O ambiente de investigação é formado por talentosos investigadores juniores que, em conjunto, com os investigadores seniores, maioritariamente docentes universitários, constituem a massa crítica e as competências científicas necessárias para cumprir a nossa missão.

notícias
Tópicos
de interesse
006

Projetos em destaque

HOSKY

Reforçando a segurança operacional do CSIRT com base na manutenção preditiva

2025-2026

TSP2Net

Time Series Privacy-Preserving: New Approaches via Complex Networks

2025-2027

BLOCKCHAINPT

BLOCKCHAIN.PT - AGENDA “DESCENTRALIZAR PORTUGAL COM BLOCKCHAIN”

2023-2026

ATE

Aliança para a Transição Energética

2023-2026

PRIVATEER

Privacy-first Security Enablers for 6G Networks

2023-2025

THEIA

Automated Perception Driving

2022-2023

Equipa
  • 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
Publicações

CRACS Publicações

Ler todas as publicações

2026

Comparing Higher Education Rankings with Social Media Posting Strategies

Autores
Rocha, B; Figueira, A;

Publicação
SOCIAL NETWORKS ANALYSIS AND MINING, ASONAM 2025, PT III

Abstract
In the competitive landscape of higher education, institutions increasingly rely on international rankings to secure funding, attract talent, and enhance their global reputation. Concurrently, these institutions have expanded their presence on social media, utilizing sophisticated posting strategies not only to disseminate information but also to boost recognition and engagement. This study examines the relationship between the rankings of Higher Education Institutions (HEIs) and their social media posting strategies. We collected and analyzed tweets from 22 HEIs featured in a consolidated ranking system, focusing on various features of their social media posts. The analysis identified six distinct clusters of posting strategies. This paper categorizes the HEIs into these clusters and discusses the implications of differing social media strategies on their rankings The findings suggest a nuanced interaction between social media engagement and the perceived prestige of HEIs.

2026

Tactical Overlay Interpretation: A Pattern-Recognition Study of Compact VLMs

Autores
Godinho, A; Figueira, A;

Publicação
ICPRAM

Abstract

2026

Synthetic Time Series Generation via Complex Networks

Autores
Vale, J; Silva, VF; Silva, ME; Silva, F;

Publicação
CoRR

Abstract
Time series data are essential for a wide range of applications, particularly in developing robust machine learning models. However, access to high-quality datasets is often limited due to privacy concerns, acquisition costs, and labeling challenges. Synthetic time series generation has emerged as a promising solution to address these constraints. In this work, we present a framework for generating synthetic time series by leveraging complex networks mappings. Specifically, we investigate whether time series transformed into Quantile Graphs (QG) -- and then reconstructed via inverse mapping -- can produce synthetic data that preserve the statistical and structural properties of the original. We evaluate the fidelity and utility of the generated data using both simulated and real-world datasets, and compare our approach against state-of-the-art Generative Adversarial Network (GAN) methods. Results indicate that our quantile graph-based methodology offers a competitive and interpretable alternative for synthetic time series generation.

2026

Can a Large Language Model Replace Humans at Rating Lexical Semantic Relations Strength?

Autores
dos Santos, AF; Leal, JP;

Publicação
COMPUTATIONAL LINGUISTICS

Abstract
This article investigates the ability of large language models (LLMs) to evaluate semantic relations between word pairs by examining their alignment with human-generated semantic ratings. Semantic relations represent the degree of connection (e.g., relatedness or similarity) between linguistic elements and are traditionally validated against human-annotated datasets. Due to the challenges of building such datasets and recent progress in LLMs' capacity to model humanlike understanding, we explore whether LLMs can serve as reliable substitutes for traditional human ratings. We conducted experiments using multiple LLMs from OpenAI, Google, Mistral, and Anthropic, evaluating their performance across diverse English and Portuguese semantic relations datasets. We included in the analysis PAP900, a recently published dataset of semantic relations in Portuguese, to examine the influence of prior exposure to the dataset on LLM training. The results show that the LLM predictions correlate strongly with human ratings. The findings reveal the potential of LLMs to supplement or replace traditional semantic measure algorithms and crowd-sourced human annotations in semantic tasks.

2026

Enhancing IoMT Security by Using Benford's Law and Distance Functions

Autores
Fernandes, P; Ciardhuáin, SO; Antunes, M;

Publicação
PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT I

Abstract
The increasing connectivity of Internet of Medical Things (IoMT) devices has accentuated their susceptibility to cyberattacks. The sensitive data they handle makes them prime targets for information theft and extortion, while outdated and insecure communication protocols further elevate security risks. This paper presents a lightweight and innovative approach that combines Benford's law with statistical distance functions to detect attacks in IoMT devices. The methodology uses Benford's law to analyze digit frequency and classify IoMT devices traffic as benign or malicious, regardless of attack type. It employs distance-based statistical functions like Jensen-Shannon divergence, KullbackLeibler divergence, Pearson correlation, and the Kolmogorov test to detect anomalies. Experimental validation was conducted on the CIC-IoMT-2024 benchmark dataset, comprising 45 features and multiple attack types. The best performance was achieved with the Kolmogorov test (alpha = 0.01), particularly in DoS ICMP attacks, yielding a precision of.99.24%, a recall of.98.73%, an F1 score of.98.97%, and an accuracy of.97.81%. Jensen-Shannon divergence also performed robustly in detecting SYN-based attacks, demonstrating strong detection with minimal computational cost. These findings confirm that Benford's law, when combined with well-chosen statistical distances, offers a viable and efficient alternative to machine learning models for anomaly detection in constrained environments like IoMT.