Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Cristiano Rodrigues

dblp:177/2447 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
3since 2021 · last 2024
0000-0001-7360-345XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 3 · 1 first-author · 1 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Hardware security and side channels · 100%
Computer networks
1 paper
Internet of things and sensor networks · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Integrated circuit design · 100%

Topics — the 5 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels
microarchitectural side channel
0.812024
BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect · SP 2024
Hardware security and side channels
side-channel attack
0.812024
MCU-Wide Timing Side Channels and Their Detection · DAC 2024
Hardware security and side channels › hardware attack detection
side-channel detection
0.812024
MCU-Wide Timing Side Channels and Their Detection · DAC 2024
Hardware security and side channels › side-channel attack
timing side channel
0.812024
MCU-Wide Timing Side Channels and Their Detection · DAC 2024
Hardware security and side channels
trusted execution environments
0.812024
BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect · SP 2024

Methods — techniques the papers use, named apart from their topics

hardware gadget · 1.5formal methods · 1.5
YearPublicationVenuePosition
2024 MCU-Wide Timing Side Channels and Their Detection
abstract
Microarchitectural timing side channels have been thoroughly investigated as a security threat in hardware designs featuring shared buffers (e.g., caches) and/or parallelism between attacker and victim task execution. However, contradicting common intuitions, recent activities demonstrate that this threat is real even in microcontroller SoCs without such features. In this paper, we describe SoC-wide timing side channels previously neglected by security analysis and present a new formal method to close this gap. In a case study on the RISC-V Pulpissimo SoC, our method detected a vulnerability to a previously unknown attack variant that allows an attacker to obtain information about a victim's memory access behavior. After implementing a conservative fix, we were able to verify that the SoC is now secure w.r.t. the considered class of timing side channels.
Johannes Müller 0006, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira 0003, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto 0001, Dominik Stoffel, Wolfgang Kunz
DAC5
2024 WiP Paper: BUSted Second Stop! A First Step for Breaking Cryptographic Applications on MCU-based IoT Devices
André Barbosa, Cristiano Rodrigues, Tiago Gomes 0001, Sandro Pinto 0001
EWSN2
2024 BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect
abstract
Spectre and Meltdown have pushed the research community toward an otherwise-unavailable understanding of the security implications of processors’ microarchitecture. Notwithstanding, research efforts have concentrated on high-end processors (e.g., Intel, AMD, Arm Cortex-A), and very little has been done for microcontrollers (MCU) that power billions of small embedded and IoT devices. In this paper, we present BUSted. BUSted is a novel side-channel attack that explores the side effects of the MCU bus interconnect arbitration logic to bypass security guarantees enforced by memory protection primitives. Side-channel attacks on MCUs pose incremental and unforeseen challenges, which are strictly tied to the resource-constrained nature of these systems (e.g., single-core CPU, stateless bus). We devise a unique approach that relies on the concept of hardware gadgets. We present practical attacks on state-of-the-art Armv8-M MCUs with TrustZone-M, running the Trusted Firmware-M (TF-M). In contrast to the Nemesis attack, our attack is practical on Arm Cortex-M MCUs, and our findings suggest that it can scale across the full MCU spectrum.
Cristiano Rodrigues, Daniel Oliveira 0003, Sandro Pinto 0001
SP1
2019 Deploying a Real-Time Operating System on a Reconfigurable Internet of Things End-device
abstract
The Internet of Things (IoT) is enabling the connection of an infinity of physical objects to the Internet through the wide deployment of low-end embedded devices at the network edge. However, providing communication capabilities to such devices, which allows them to connect to the Internet seamlessly, is not straightforward. Such features require the adoption of a lightweight and standard network stack, commonly integrated with an embedded operating system (OS), mitigating the complexity of developing resource-constrained wireless nodes. To assist in such tasks, some existing motes explore reconfigurable technology to accelerate compute-intense tasks (application- or network-related) in dedicated hardware accelerators. This article describes the deployment of a real-time OS, RIOT, on a reconfigurable end-device architecture for IoT, the CUTE Mote. The CUTE mote is based on a heterogeneous solution that combines a hard-core microcontroller unit beside reconfigurable technology and an IEEE 802.15.4-compliant radio transceiver.
Ângelo Ribeiro, Cristiano Rodrigues, Ivo Marques, João Monteiro 0001, Jorge Cabral 0001, Tiago Gomes 0001
IECON2
2019 Towards a Heterogeneous Fault-Tolerance Architecture based on Arm and RISC-V Processors
abstract
Computer systems are permanently present in our daily basis in a wide range of applications. In systems with mixed-criticality requirements, e.g., autonomous driving or aerospace applications, devices are expected to continue operating properly even in the event of a failure. An approach to improve the robustness of the device's operation lies in enabling fault-tolerant mechanisms during the system's design. This article proposes Lock-V, a heterogeneous architecture that explores a Dual-Core Lockstep (DCLS) fault-tolerance technique in two different processing units: a hard-core Arm Cortex-A9 and a soft-core RISC-V-based processor. It resorts a System-on-Chip (SoC) solution with software programmability (available trough the hard-core Arm Cortex-A9) and field-programmable gate array (FPGA) technology, taking advantages from the latter to support the deployment of the RISC-V soft-core along with dedicated hardware accelerators towards the realization of the DCLS.
Cristiano Rodrigues, Ivo Marques, Sandro Pinto 0001, Tiago Gomes 0001, Adriano Tavares
IECON1