A computational reflection mechanism to support platform debugging in SystemC. - Bruno C. Albertini; Sandro Rigo; Guido Araujo; Cristiano C. de Araújo; Edna Barros; Willians Azevedo (CODES+ISSS, 2007)

A Methodology and Toolset to Enable SystemC and VHDL Co-simulation. - Richard Maciel; Bruno C. Albertini; Sandro Rigo; Guido Araujo; Rodolfo Azevedo (ISVLSI, 2007)

A Flexible Platform Framework for Rapid Transactional Memory Systems Prototyping and Evaluation. - Fernando Kronbauer; Alexandro Baldassin; Bruno C. Albertini; Paulo Centoducatte; Sandro Rigo; Guido Araujo; Rodolfo Azevedo (IEEE International Workshop on Rapid System Prototyping, 2007)

A novel verification technique to uncover out-of-order DUV behaviors. - Gabriel Marcilio; Luiz C. V. dos Santos; Bruno C. Albertini; Sandro Rigo (DAC, 2009)

Abstractions level platforms. - Bruno C. Albertini (2011)

Computational reflection and its application to platform verification. - Bruno C. Albertini; Sandro Rigo; Guido Araujo (Des. Autom. Embed. Syst., 2012)

Parallelism Level Analysis of Binary Field Multiplication on FPGAs. - Luckas A. Farias; Bruno C. Albertini; Paulo S. L. M. Barreto (SBESC, 2015)

Automated Generation of HDL Implementations of Dadda and Wallace Tree Multipliers. - Lucas Gaia de Castro; Henrique Seiti Ogawa; Bruno de Carvalho Albertini (SBESC, 2017)

Performance Evaluation of Cryptographic Algorithms over IoT Platforms and Operating Systems. - Geovandro C. C. F. Pereira; Renan C. A. Alves; Felipe Leno da Silva; Roberto M. Azevedo; Bruno C. Albertini; Cíntia B. Margi (Secur. Commun. Networks, 2017)

A class of safe and efficient binary Edwards curves. - Luckas A. Farias; Bruno C. Albertini; Paulo S. L. M. Barreto (J. Cryptogr. Eng., 2018)

WS3N: Wireless Secure SDN-Based Communication for Sensor Networks. - Renan C. A. Alves; Doriedson A. G. Oliveira; Geovandro C. C. F. Pereira; Bruno C. Albertini; Cíntia B. Margi (Secur. Commun. Networks, 2018)

Simulating quantized inference on convolutional neural networks. - Vitor Finotti; Bruno C. Albertini (Comput. Electr. Eng., 2021)

Securing hard drives with the Security Protocol and Data Model (SPDM). - Renan C. A. Alves; Bruno C. Albertini; Marcos A. Simplício Jr. (ISVLSI, 2022)

Testing the limits of SPDM: Authentication of intermittently connected devices. - Renan C. A. Alves; Otávio F. Freitas; Bruno C. Albertini; Marcos A. Simplício Jr. (Comput. Secur., 2025)

Benchmarking the security protocol and data model (SPDM) for component authentication. - Renan C. A. Alves; Bruno C. Albertini; Marcos A. Simplício Jr. (Int. J. Inf. Sec., 2025)