2025
Authors
Cirne, A; Sousa, PR; Antunes, L; Resende, JS;
Publication
IEEE ACCESS
Abstract
In recent years, code-reuse attacks have been used to exploit software vulnerabilities and gain control of numerous software programs and embedded devices. Several measures have been put in place to prevent this type of attack, such as Control-Flow Integrity (CFI) systems, and some of these systems have already been integrated into hardware. Nevertheless, Function-Oriented Programming (FOP) attacks, a form of code-reuse that chains functions to carry out malicious actions, continue to persist. In this work, we present the first analysis of the implications and feasibility of FOP attacks on microcontrollers, focusing on ARM Cortex-M processors that support PACBTI, that is, a hardware feature designed for CFI system implementation. During this process, we identified multiple dispatch gadgets in two common Real-time Operating System (RTOS). Since these gadgets reside within core OS functionalities, they are inherently included in a broad range of embedded operating systems. Furthermore, we also present CortexMFopper - a tool specially built to identify FOP gadgets in embedded devices and to raise awareness of this technique.
2025
Authors
Stapel, N; Lupu, R; Kötting, N; Heller, M; Sorribas, V; Boulay, H; Duarte, J; Malheiro, B; Ribeiro, C; Justo, J; Silva, F; Ferreira, P; Guedes, P;
Publication
Lecture Notes in Educational Technology
Abstract
CoffeeMush is an innovative and sustainable project developed as part of the European Project Semester (EPS) at ISEP in 2024. This student project aims to tackle waste management environmental problems by turning coffee waste into mushrooms, a valuable food source. CoffeeMush consists of a smart device providing optimal conditions for mushroom cultivation, complemented by a user-friendly Android application for remote monitoring and control. The design was guided by ethical, sustainability, market and technical considerations. The paper describes the theoretical background of the project, the technical design, and the prototype development and testing. The results show the feasibility of CoffeeMush as a practical and environmentally friendly solution for urban mushroom cultivation, and its impact on sustainable food production and waste reduction. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.
2025
Authors
Pinto, J; Mejia, MA; Macedo, LH; Filipe, V; Pinto, T;
Publication
PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT III
Abstract
The number of electric vehicles has been increasing significantly due to various factors, such as the higher prices of fossil fuels, concerns about the increasing pollution, and the resulting incentive to use energy from renewable sources. There are currently a few charging facilities, which are still quite scattered, and several are still experimental, requiring appropriate planning of this infrastructure in order to support the growing number of electric vehicles adequately. Thus, optimising the location of charging stations becomes a critical issue, which can be achieved through the application of mathematical models and data analysis tools. An example is genetic algorithms, which have demonstrated their versatility in solving complex optimisation problems, especially those involving multiple variables. This work presents a proposal for a more comprehensive genetic algorithm model that encompasses all variables from the perspectives of all entities involved. Its experimentation was conducted using real data, with the aim of finding the best combination of locations, minimising the total number of stations and maximising the coverage of the area under study. Thus, it is essential to carefully consider user preferences, accessibility, energy demand, and existing electrical infrastructure to ensure an effective and sustainable installation. The findings highlight the crucial role of these computing tools in addressing complex problems from various viewpoints, leading to solutions that cater to the needs of all parties involved. While not necessarily perfect, these solutions represent a balanced compromise across multiple dimensions of the problem.
2025
Authors
Oliveira, M; Cerqueira, R; Pinto, JR; Fonseca, J; Teixeira, LF;
Publication
IEEE Trans. Intell. Veh.
Abstract
Autonomous Vehicles aim to understand their surrounding environment by detecting relevant objects in the scene, which can be performed using a combination of sensors. The accurate prediction of pedestrians is a particularly challenging task, since the existing algorithms have more difficulty detecting small objects. This work studies and addresses this often overlooked problem by proposing Multimodal PointPillars (M-PP), a fast and effective novel fusion architecture for 3D object detection. Inspired by both MVX-Net and PointPillars, image features from a 2D CNN-based feature map are fused with the 3D point cloud in an early fusion architecture. By changing the heavy 3D convolutions of MVX-Net to a set of convolutional layers in 2D space, along with combining LiDAR and image information at an early stage, M-PP considerably improves inference time over the baseline, running at 28.49 Hz. It achieves inference speeds suitable for real-world applications while keeping the high performance of multimodal approaches. Extensive experiments show that our proposed architecture outperforms both MVX-Net and PointPillars for the pedestrian class in the KITTI 3D object detection dataset, with 62.78% in
2025
Authors
Pedroso, JP; Ikeda, S;
Publication
Eur. J. Oper. Res.
Abstract
This paper addresses the problem of maximizing the expected size of a matching in the case of unreliable vertices and/or edges. The assumption is that the solution is built in several steps. In a given step, edges with successfully matched vertices are made permanent; but upon edge or vertex failures, the remaining vertices become eligible for reassignment. This process may be repeated a given number of times, and the objective is to end with the overall maximum number of matched vertices. An application of this problem is found in kidney exchange programs, going on in several countries, where a vertex is an incompatible patient–donor pair and an edge indicates cross-compatibility between two pairs; the objective is to match these pairs so as to maximize the number of served patients. A new scheme is proposed for matching rearrangement in case of failure, along with a prototype algorithm for computing the optimal expectation for the number of matched edges (or vertices), considering a possibly limited number of rearrangements. Computational experiments reveal the relevance and limitations of the algorithm, in general terms and for the kidney exchange application. © 2025 The Authors
2025
Authors
Pires, PB; Santos, JD; Torres, AI;
Publication
Advances in Computational Intelligence and Robotics - Adapting Global Communication and Marketing Strategies to Generative AI
Abstract
This chapter examines how GenAI and predictive modelling strategies affect hyperpersonalised marketing. Through a comprehensive literature review and case studies, it examines hyper-p ersonalisation's theoretical frameworks, technical infrastructures, and ethical and governance issues. Large language models, generative adversarial networks, and diffusion models combined with advanced predictive analytics allow firms to scale real- time, highly individualised customer experiences. Effective implementation requires sophisticated data architectures, algorithmic transparency, and strong privacy protections. Integration complexity and ethical accountability are major barriers to consumer engagement and conversion, according to the research. Based on these findings, the chapter proposes an integrated framework that combines technological innovation with ethics and customer focus. This research advances marketing theory and provides practical advice for companies using AI- driven hyper-personalisation while maintaining consumer trust and regulatory compliance. © 2026, IGI Global Scientific Publishing. All rights reserved.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.