EDBT 2026 Demo / reviewers in the wild / expert
Ricardo Severino
dblp:45/4067
· DBLP profile ↗
23ranked-venue papers
5as first author
8since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 10 · 2 first-author · 7 since 2021Applied, interdisciplinary, general and emerging computing · 8 · 1 first-author · 2 since 2021Computer networks · 4 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | An architecture for multi-layer covert-channel based authentication in IoTabstractThe aggressive increase in the pervasiveness of Internet of Things (IoT) technologies has introduced substantial security challenges, particularly regarding device authentication. In this scenario, covert channels are increasingly being used to support malware with stealthy behaviors in IoT deployments, aiming at exfiltrating data or secretly orchestrating botnets. Although concerning, such covert communication strategies can be harnessed in a beneficial way, supporting lightweight message authentication mechanisms which can not only remain undetected to the prying eye, but also mitigate any kind of ill intended exploitation of such covert techniques. In parallel, these techniques can become an effective alternative, particularly where traditional cryptographic approaches often struggle due to resource constraints, protocol diversity, and the risk of protocol-level observation or manipulation. In this work, we present a novel authentication architecture that leverages multi-layer covert channels to embed authentication techniques within seemingly benign IoT communications. Our approach dynamically injects and modifies network traffic at runtime using Frida, a powerful dynamic instrumentation toolkit, enabling covert embedding of authentication data without requiring changes to the IoT application's codebase. Bernardo Cabral, Ricardo Severino, Luis Lino Ferreira |
ETFA | 2 |
| 2025 | Control of Renewable Energy Communities using AI and Real-World DataabstractThe electrification of transportation and the increased adoption of decentralized renewable energy generation have added complexity to managing Renewable Energy Communities (RECs). Integrating Electric Vehicle (EV) charging with building energy systems like heating, ventilation, air conditioning (HVAC), photovoltaic (PV) generation, and battery storage presents significant opportunities but also practical challenges. Reinforcement learning (RL), particularly Multi-Agent Deep Deterministic Policy Gradient (MADDPG) algorithms, have shown promising results in simulation, outperforming heuristic control strategies. However, translating these successes into real-world deployments faces substantial challenges, including incomplete and noisy data, integration of heterogeneous subsystems, synchronization issues, unpredictable occupant behavior, and missing critical EV state-of-charge (SoC) information. This paper introduces a framework designed explicitly to handle these complexities and bridge the simulation-to-reality gap. The framework incorporates EnergAIze, a MADDPG-based multi-agent control strategy, and specifically addresses challenges related to real-world data collection, system integration, and user behavior modeling. Preliminary results collected from a real-world operational REC with four residential buildings demonstrate the practical feasibility of our approach, achieving an average 9% reduction in daily peak demand and a 5% decrease in energy costs through optimized load scheduling and EV charging behaviors. These outcomes underscore the framework’s effectiveness, advancing the practical deployment of intelligent energy management solutions in RECs. Tiago Fonseca, Clarisse Sousa, Ricardo Venâncio, Pedro Pires, Ricardo Severino, Pedro Paiva, Luis Lino Ferreira |
ETFA | 5 |
| 2025 | Percepta: High Performance Stream Processing at the EdgeabstractThe rise of real-time data and the proliferation of Internet of Things (IoT) devices have highlighted the limitations of cloud-centric solutions, particularly regarding latency, bandwidth, and privacy. These challenges have driven the growth of Edge Computing. Associated with IoT appears a set of other problems, like: data rate harmonization between multiple sources, protocol conversion, handling the loss of data and the integration with Artificial Intelligence (AI) models. This paper presents Percepta, a lightweight Data Stream Processing (DSP) system tailored to support AI workloads at the edge, with a particular focus on such as Reinforcement Learning (RL). It introduces specialized features such as reward function computation, data storage for model retraining, and real-time data preparation to support continuous decision-making. Additional functionalities include data normalization, harmonization across heterogeneous protocols and sampling rates, and robust handling of missing or incomplete data, making it well-suited for the challenges of edge-based AI deployment. Clarisse Sousa, Tiago Fonseca, Luis Lino Ferreira, Ricardo Venâncio, Ricardo Severino |
ETFA | 5 |
| 2024 | Multiprotocol Middleware Translator for IoTabstractThe increasing number of IoT deployment scenarios and applications fostered the development of a multitude of specially crafted communication solutions, several proprietary, which are erecting barriers to IoT interoperability, impairing their pervasiveness. To address such problems, several middleware solutions exist to standardize IoT communications, hence promoting and facilitating interoperability. Although being increasingly adopted in most IoT systems, it became clear that there was no “one size fits all” solution that could address the multiple Quality-of-Service heterogeneous IoT systems may impose. Consequently, we witness new interoperability challenges regarding the usage of diverse middleware. In this work, we address this issue by proposing a novel architecture - the PolyglIoT, that can effectively interconnect diverse middleware solutions while considering the delivery QoS requirements alongside the proposed translation. We analyze the performance and robustness of the solution and show that such Multiprotocol Translator is feasible and can achieve a high performance, thus becoming a fundamental piece to enable future highly heterogeneous IoT systems of systems. Bernando Cabral, Ricardo Venâncio, Tiago Fonseca, Luis Lino Ferreira, Ricardo Severino, Antonio Barros |
DSD | 6 |
| 2022 | Work In Progress: Towards Adaptive RF Fingerprint-based Authentication of IIoT devicesabstractAs IoT technologies mature, they are increasingly finding their way into more sensitive domains, such as Medical and Industrial IoT, in which safety and cyber-security are of great importance. While the number of deployed IoT devices continues to increase exponentially, they still present severe cyber-security vulnerabilities. Effective authentication is paramount to support trustworthy IIoT communications, however, current solutions focus on upper-layer identity verification or key-based cryptography which are often inadequate to the heterogeneous IIoT environment. In this work, we present a first step towards achieving powerful and flexible IIoT device authentication, by leveraging AI adaptive Radio Frequency Fingerprinting technique selection and tuning, at the PHY layer for highly accurate device authentication over challenging RF environments. Emmanuel Lomba, Ricardo Severino, Ana Fernández Vilas |
ETFA | 2 |
| 2022 | Exploring Timing Covert Channel Performance over the IEEE 802.15.4abstractAs IoT technologies mature, they are increasingly finding their way into more sensitive domains, such as Medical and Industrial IoT, in which safety and cyber-security are paramount. While the number of deployed IoT devices continues to increase annually, they still present severe cyber-security vulnerabilities, turning them into potential targets and entry points to support further attacks. Naturally, as these nodes are compromised, attackers aim at setting up stealthy communication behaviours, to exfiltrate data or to orchestrate nodes of a botnet in a cloaked fashion. Network covert channels are increasingly being used with such malicious intents. The IEEE 802.15.4 is one of the most pervasive protocols in IoT, and a fundamental part of many communication infrastructures. Despite this fact, the possibility of setting up such covert communication techniques on this medium has received very little attention. We aim at analysing the performance and feasibility of such covert-channel implementations upon the IEEE 802.15.4 protocol. This will enable a better understanding of the involved risk and help supporting the development of further cyber-security mechanisms to mitigate this threat. Ricardo Severino, Luis Lino Ferreira |
ETFA | 1 |
| 2021 | Mathematica Tools for Coquaternions
M. Irene Falcão, Fernando Miranda, Ricardo Severino, Maria Joana Soares |
ICCSA (4) | 3 |
| 2021 | An Exact Scheduling Algorithm for Convergecast and Broadcast in Tree Topology WSNs : -An Application to DSME-IEEE 802.15.4e-abstractConvergecast and broadcast operations in WSN-based applications impose demands in terms of energy efficiency, reliability, and timeliness QoS properties which existing protocols struggle to fulfill. The Deterministic Synchronous Multi-channel Extension (DSME) mechanism introduced in the IEEE 802.15.4e standard constitutes a promising solution to address these stringent QoS requirements, by enabling significant enhancements to the legacy IEEE 802.15.4 protocol, such as multi-channel communications, reduction of the Contention-Access Period, and group acknowledgments. However, the DSME-IEEE 802.15.4e standards do not propose a mechanism to build a traffic-aware schedule that assigns a frequency channel and time-slots to each transmission. Therefore, in this paper, we show how to configure the DSME parameters for the convergecast and broadcast operations while having in mind the above-mentioned QoS properties. In that direction, we propose an exact traffic-aware scheduling algorithm, based on Integer Linear Programming (ILP), that enables the system designers to optimize the configuration of all the required parameters of the DSME-IEEE 802.15.4e so that QoS requirements are met. Aasem Ahmad, Ricardo Severino, Zdenek Hanzálek |
WFCS | 2 |
| 2020 | Tightening Up Security In Low Power Deterministic NetworksabstractThe unprecedented pervasiveness of IoT systems is pushing this technology into increasingly stringent domains. Such application scenarios become even more challenging due to the demand for encompassing the interplay between safety and security. The IEEE 802.15.4 DSME MAC behavior aims at addressing such systems by providing additional deterministic, synchronous multi-channel access support. However, despite the several improvements over the previous versions of the protocol, the standard lacks a complete solution to secure communications. In this front, we propose the integration of TAKS, an hybrid cryptography scheme, over a standard DSME network. In this paper, we describe the system architecture for integrating TAKS into DSME with minimum impact to the standard, and we venture into analysing the overhead of having such security solution over application delay and throughput. After a performance analysis, we learn that it is possible to achieve a minor impact of 1% to 14% on top of the expected network delay, depending on the platform used, while still guaranteeing strong security support over the DSME network. Walter Tiberti, Bruno Vieira, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar |
WFCS | 4 |
| 2020 | Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical SystemsabstractIn a platoon-based vehicular cyber-physical system (PVCPS), a lead vehicle that is responsible for managing the platoon’s moving directions and velocity periodically disseminates control messages to the vehicles that follow. Securing wireless transmissions of the messages between the vehicles is critical for privacy and confidentiality of the platoon’s driving pattern. However, due to the broadcast nature of radio channels, the transmissions are vulnerable to eavesdropping. In this article, we propose a cooperative secret key agreement (CoopKey) scheme for encrypting/decrypting the control messages, where the vehicles in PVCPS generate a unified secret key based on the quantized fading channel randomness. Channel quantization intervals are optimized by dynamic programming to minimize the mismatch of keys. A platooning testbed is built with autonomous robotic vehicles, where a TelosB wireless node is used for onboard data processing and multi-hop dissemination. Extensive real-world experiments demonstrate that CoopKey achieves significantly low secret bit mismatch rate in a variety of settings. Moreover, the standard NIST test suite is employed to verify randomness of the generated keys, where the p-values of our CoopKey pass all the randomness tests. We also evaluate CoopKey with an extended platoon size via simulations to investigate the effect of system scalability on performance. Kai Li 0002, Wei Ni 0001, Yousef Emami, Yiran Shen 0001, Ricardo Severino, David Pereira, Eduardo Tovar |
ACM Trans. Cyber Phys. Syst. | 5 |
| 2019 | Towards a Realistic Simulation Framework for Vehicular Platooning ApplicationsabstractCooperative vehicle platooning applications increasingly demand realistic simulation tools to ease their validation, and to bridge the gap between development and real-word deployment. However, their complexity and cost, often hinders its validation in the real-world. In this paper we propose a realistic simulation framework for vehicular platoons that integrates Gazebo with OMNeT++ over Robot Operating System (ROS) to support the simulation of realistic scenarios of autonomous vehicular platoons and their cooperative control. Bruno Vieira, Ricardo Severino, Anis Koubaa, Eduardo Tovar |
ISORC | 2 |
| 2018 | An efficient approach to multisuperframe tuning for DSME networks: poster abstractabstractDeterministic Synchronous Multichannel Extension (DSME) is a prominent MAC behavior first introduced in IEEE 802.15.4e that supports deterministic guarantees using its multisuperframe structure. DSME also facilitates techniques like multi-channel and CAP reduction that help to increase the number of available guaranteed timeslots in a network. However, no tuning of these functionalities in dynamic scenarios is supported in the standard. In this paper, we present an effective multisuperframe tuning technique that also helps to utilize CAP reduction in an effective manner improving flexibility and scalability, while guaranteeing bounded delay. Harrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar |
IPSN | 2 |
| 2017 | Polynomials over Quaternions and Coquaternions: A Unified Approach
M. Irene Falcão, Fernando Miranda, Ricardo Severino, Maria Joana Soares |
ICCSA (2) | 3 |
| 2017 | Mathematica Tools for Quaternionic Polynomials
M. Irene Falcão, Fernando Miranda, Ricardo Severino, Maria Joana Soares |
ICCSA (2) | 3 |
| 2016 | Poster Abstract: Towards Worst-Case Bounds Analysis of the IEEE 802.15.4eabstractWireless Sensor Networks have been enabling an ever increasing span of applications and usages in the industrial, domestic and commercial domains. Recent advancements in information and communication technologies have been fueling the increasing pervasiveness and ubiquity of this infrastructures, making them an obvious candidate to support the future Internet of Things. Among the prospective applications, however, there are those which present strict requirements in terms of timeliness and reliability, specially in the industrial domain. To address these, the IEEE 802.15.4 standard functionalities were recently enhanced by the IEEE 802.15.4e amendment. Ideas which are prominent in the industrial communication field such as frequency hopping, dedicated and shared timeslots and multichannel communication have been implemented in 802.15.4e. In this line, proposed MAC behaviors such as the Deterministic and Synchronous Multi-channel Extension (DSME) and Time Synchronous Channel Hopping (TSCH), are gaining a lot of attention. Nevertheless, to efficiently address the network demands in terms of latency, resources, and reliability, it is mandatory to carry out a thorough network planning. To achieve this, modeling the fundamental performance limits of such networks is of paramount importance to understand their behavior under the worst-case conditions and to make the appropriate design choices. Network Calculus is an established tool which can accurately compute the worst case bounds of a network. In this paper we provide an insight towards DSME and TSCH by modeling, using Network Calculus formalism, the delay bounds of these MAC behaviors. As a continuation of this work the end-to-end delay bounds will be derived for the rest of the MAC behaviors of IEEE 802.15.4e. Scheduling algorithms will be developed, analyzed and validated as a future work. Harrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar |
RTAS | 2 |
| 2014 | Homogeneous Dynamics for Square Boolean Automata with Null Boundary Conditions
Ricardo Severino, Maria Joana Soares, Emilia Athayde |
ICCSA (1) | 1 |
| 2013 | Dynamic cluster scheduling for cluster-tree WSNsabstractWhile Cluster-Tree network topologies look promising for WSN applications with timeliness and energy-efficiency requirements, we are yet to witness its adoption in commercial and academic solutions. One of the arguments that hinder the use of these topologies concerns the lack of flexibility in adapting to changes in the network, such as in traffic flows. This paper presents a solution to provide these networks with the ability to self-adapt to different bandwidth and latency requirements, imposed by traffic flows, by changing the cluster's duty-cycle and scheduling. Importantly, our approach enables a network to change its cluster scheduling without requiring long inaccessibility times or the re-association of the nodes. We show how to apply our methodology to the case of IEEE 802.15.4/ZigBee cluster-tree WSNs without significant changes to the protocol. Finally, we analyze and demonstrate the validity of our methodology through a comprehensive simulation and experimental validation using commercially available technology on a Structural Health Monitoring application scenario. Ricardo Severino, Nuno Pereira 0001, Eduardo Tovar |
ISORC | 1 |
| 2010 | A Traffic Differentiation Add-On to the IEEE 802.15.4 Protocol: Implementation and Experimental Validation over a Real-Time Operating systemabstractThe IEEE 802.15.4 is the most widespread used protocol for Wireless Sensor Networks (WSNs) and it is being used as a baseline for several higher layer protocols such as ZigBee, 6LoWPAN or Wireless HART. Its MAC (Medium Access Control) supports both contention-free (CFP, based on the reservation of guaranteed time-slots GTS) and contention based (CAP, ruled by CSMA/CA) access, when operating in beacon-enabled mode. Thus, it enables the differentiation between real-time and best-effort traffic. However, some WSN applications and higher layer protocols may strongly benefit from the possibility of supporting more traffic classes. this happens, for instance, for dense WSNs used in time-sensitive industrial applications. In this context, we propose to differentiate traffic classes within the CAP, enabling lower transmission delays and higher success probability to time critical messages, such as for event detection, GTS reservation and network management. Building upon a previously proposed methodology (TRADIF), in this paper we outline its implementation and experimental validation over a real-time operating system. Importantly, TRADIF is fully backward compatible with the IEEE 802.15.4 standard, enabling to create different traffic classes just by tuning some MAC parameters. Ricardo Severino, Manish Batsa, Mário Alves, Anis Koubaa |
DSD | 1 |
| 2010 | Dimensioning and worst-case analysis of cluster-tree sensor networksabstractModeling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand their behavior under the worst-case conditions and to make the appropriate design choices. This is particular relevant for time-sensitive WSN applications, where the timing behavior of the network protocols (message transmission must respect deadlines) impacts on the correct operation of these applications. In that direction this article contributes with a methodology based on Network Calculus, which enables quick and efficient worst-case dimensioning of static or even dynamically changing cluster-tree WSNs where the data sink can either be static or mobile. We propose closed-form recurrent expressions for computing the worst-case end-to-end delays, buffering and bandwidth requirements across any source-destination path in a cluster-tree WSN. We show how to apply our methodology to the case of IEEE 802.15.4/ZigBee cluster-tree WSNs. Finally, we demonstrate the validity and analyze the accuracy of our methodology through a comprehensive experimental study using commercially available technology, namely TelosB motes running TinyOS. Petr Jurcík, Anis Koubaa, Ricardo Severino, Mário Alves, Eduardo Tovar |
ACM Trans. Sens. Networks | 3 |
| 2009 | Improving Quality-of-Service in Wireless Sensor Networks by mitigating hidden-node collisionsabstractWireless sensor networks (WSNs) emerge as underlying infrastructures for new classes of large-scale networked embedded systems. However, WSNs system designers must fulfill the quality-of-service (QoS) requirements imposed by the applications (and users). Very harsh and dynamic physical environments and extremely limited energy/computing/memory/communication node resources are major obstacles for satisfying QoS metrics such as reliability, timeliness, and system lifetime. The limited communication range of WSN nodes, link asymmetry, and the characteristics of the physical environment lead to a major source of QoS degradation in WSNs-the ldquohidden node problem.rdquo In wireless contention-based medium access control (MAC) protocols, when two nodes that are not visible to each other transmit to a third node that is visible to the former, there will be a collision-called hidden-node or blind collision. This problem greatly impacts network throughput, energy-efficiency and message transfer delays, and the problem dramatically increases with the number of nodes. This paper proposes H-NAMe, a very simple yet extremely efficient hidden-node avoidance mechanism for WSNs. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes that scales to multiple clusters via a cluster grouping strategy that guarantees no interference between overlapping clusters. Importantly, H-NAMe is instantiated in IEEE 802.15.4/ZigBee, which currently are the most widespread communication technologies for WSNs, with only minor add-ons and ensuring backward compatibility with their protocols standards. H-NAMe was implemented and exhaustively tested using an experimental test-bed based on ldquooff-the-shelfrdquo technology, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. H-NAMe effectiveness was also demonstrated in a target tracking application with mobile robots over a WSN deployment. Anis Koubaa, Ricardo Severino, Mário Alves, Eduardo Tovar |
IEEE Trans. Ind. Informatics | 2 |
| 2008 | Real-Time Communications Over Cluster-Tree Sensor Networks with Mobile Sink BehaviourabstractModelling the fundamental performance limits of wireless sensor networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst case conditions and to make the appropriate design choices. In that direction, this paper contributes with a methodology for modelling cluster tree WSNs with a mobile sink. We propose closed form recurrent expressions for computing the worst case end to end delays, buffering and bandwidth requirements across any source-destination path in the cluster tree assuming error free channel. We show how to apply our theoretical results to the specific case of IEEE 802.15.4/ZigBee WSNs. Finally, we demonstrate the validity and analyze the accuracy of our methodology through a comprehensive experimental study, therefore validating the theoretical results through experimentation. Petr Jurcík, Ricardo Severino, Anis Koubaa, Mário Alves, Eduardo Tovar |
RTCSA | 2 |
| 2007 | Open-ZB: an open-source implementation of the IEEE 802.15.4/ZigBee protocol stack on TinyOSabstractThe IEEE 802.15.4/ZigBee protocols are gaining increasing interests in both research and industrial communities as candidate technologies for Wireless Sensor Network (WSN) applications. In this paper, we present an open-source implementation of the IEEE 802.15.4/ZigBee protocol stack under the TinyOS operating system for the MICAz and TelosB motes. This work has been driven by the need for an open- source implementation of the IEEE 802.15.4/ZigBee protocols, filling a gap between some newly released complex C implementations and black-box implementations from different manufacturers. In addition, we share our experience on the challenging problems that we have faced during the implementation of the protocol stack. We strongly believe that this open-source implementation will potentiate research works on the IEEE 802.15.4/ZigBee protocols, allowing their demonstration and validation through experimentation. André Cunha, Anis Koubaa, Ricardo Severino, Mário Alves |
MASS | 3 |
| 2007 | Engineering a Search and Rescue Application with a Wireless Sensor Network - based Localization MechanismabstractThe advent of Wireless Sensor Network (WSN) technologies is paving the way for a panoply of new ubiquitous computing applications, some of them with critical requirements. In the ART-WiSe framework, we are designing a two-tiered communication architecture for supporting real-time and reliable communications in WSNs. Within this context, we have been developing a test-bed application, for testing, validating and demonstrating our theoretical findings - a search&rescue/pursuit-evasion application. Basically, a WSN deployment is used to detect, localize and track a target robot and a station controls a rescuer/pursuer robot until it gets close enough to the target robot. This paper describes how this application was engineered, particularly focusing on the implementation of the localization mechanism. Ricardo Severino, Mário Alves |
WOWMOM | 1 |