A case study for Formal Verification of a timing co-processor. - Cristiano Rodrigues (LATW, 2009)

MLM-rank: A Ranking Algorithm Based on the Minimal Learning Machine. - Alisson S. C. Alencar; Weslley L. Caldas; João Paulo Pordeus Gomes; Amauri H. de Souza; Paulo A. C. Aguilar; Cristiano Rodrigues; Wellington Franco; Miguel F. de Castro; Rossana M. C. Andrade (BRACIS, 2015)

Deploying a Real-Time Operating System on a Reconfigurable Internet of Things End-device. - Ângelo Ribeiro; Cristiano Rodrigues; Ivo Marques; João Monteiro 001; Jorge Cabral 001; Tiago Gomes 001 (IECON, 2019)

Towards a Heterogeneous Fault-Tolerance Architecture based on Arm and RISC-V Processors. - Cristiano Rodrigues; Ivo Marques; Sandro Pinto 001; Tiago Gomes 001; Adriano Tavares (IECON, 2019)

Towards a Trusted Execution Environment via Reconfigurable FPGA. - Sérgio Pereira; David Cerdeira; Cristiano Rodrigues; Sandro Pinto 001 (CoRR, 2021)

MCU-Wide Timing Side Channels and Their Detection. - Johannes Müller 006; Anna Lena Duque Antón; Lucas Deutschmann; Dino Mehmedagic; Cristiano Rodrigues; Daniel Oliveira 003; Mohammad Rahmani Fadiheh; Keerthikumara Devarajegowda; Sandro Pinto 001; Dominik Stoffel; Wolfgang Kunz (DAC, 2024)

BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect. - Cristiano Rodrigues; Daniel Oliveira 003; Sandro Pinto 001 (SP, 2024)