A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking. - Rogerio Paludo; Djones Lettnin (LATS, 2016)

Efficient implementation of modular multiplication by constants applied to RNS reverse converters. - Roberto de Matos; Rogerio Paludo; Nikolay I. Chervyakov; Pavel Alekseevich Lyakhov; Héctor Pettenghi (ISCAS, 2017)

Efficient RNS Reverse Converters for Moduli Sets with Dynamic Ranges Up to ((10n+1) ) -bit. - Héctor Pettenghi; Rogerio Paludo; Roberto de Matos; Pavel Alekseevich Lyakhov (Circuits Syst. Signal Process., 2018)

Towards the Integration of Reverse Converters into the RNS Channels. - Leonel Sousa; Rogerio Paludo; Paulo Martins 002; Héctor Pettenghi (IEEE Trans. Computers, 2020)

External Reviewers ARITH 2021. - Karim Bigou; Mojtaba Bisheh-Niasar; Luís Fiolhais; Rogerio Paludo; Hwajeong Seo (ARITH, 2021)

Number Theoretic Transform Architecture suitable to Lattice-based Fully-Homomorphic Encryption. - Rogério Paludo; Leonel Sousa (ASAP, 2021)

NTT Architecture for a Linux-Ready RISC-V Fully-Homomorphic Encryption Accelerator. - Rogério Paludo; Leonel Sousa (IEEE Trans. Circuits Syst. I Regul. Pap., 2022)

FANNG-MPC: Framework for Artificial Neural Networks and Generic MPC. - Najwa Aaraj; Abdelrahaman Aly; Tim Güneysu; Chiara Marcolla; Johannes Mono; Rogerio Paludo; Iván Santos-González; Mireia Scholz; Eduardo Soria-Vazquez; Victor Sucasas; Ajith Suresh (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)