Program Equivalence Using Neural Networks. - Tiago M. Nascimento; Charles B. Prado; Davidson R. Boccardo; Luiz F. R. C. Carmo; Raphael C. S. Machado (BIONETICS, 2010)

Software evaluation of smart meters within a Legal Metrology perspective: A Brazilian case. - Davidson R. Boccardo; Luiz C. Gomes dos Santos; Luiz F. R. da Costa Carmo; Marcio H. Dezan; Raphael C. S. Machado; Sergio de Aguiar Portugal (ISGT Europe, 2010)

Traceability of Executable Codes Using Neural Networks. - Davidson R. Boccardo; Tiago M. Nascimento; Raphael C. S. Machado; Charles B. Prado; Luiz F. R. C. Carmo (ISC, 2010)

Context-sensitive analysis of obfuscated x86 executables. - Arun Lakhotia; Davidson R. Boccardo; Anshuman Singh; Aleardo Manacero (PEPM, 2010)

Context-sensitive analysis without calling-context. - Arun Lakhotia; Davidson R. Boccardo; Anshuman Singh; Aleardo Manacero Jr. (High. Order Symb. Comput., 2010)

Program Matching through Code Analysis and Artificial Neural Networks. - Tiago M. Nascimento; Davidson R. Boccardo; Charles B. Prado; Raphael C. S. Machado; Luiz F. R. C. Carmo (Int. J. Softw. Eng. Knowl. Eng., 2012)

Towards a Provably Resilient Scheme for Graph-Based Watermarking. - Lucila Maria Souza Bento; Davidson R. Boccardo; Raphael Carlos Santos Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (WG, 2013)

Energy footprint framework: A pathway toward smart grid sustainability. - Davidson R. Boccardo; Leonardo Costa Ribeiro; Rodrigo Canaan; Luiz F. R. C. Carmo; Luci Pirmez; Raphael Machado; Charles B. Prado; Tiago M. Nascimento (IEEE Commun. Mag., 2013)

Towards a provably robust graph-based watermarking scheme - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CoRR, 2013)

A tight bound for exhaustive key search attacks against Message Authentication Codes. - Vinícius G. P. de Sá; Davidson R. Boccardo; Luiz Fernando Rust C. Carmo; Raphael C. S. Machado (RAIRO Theor. Informatics Appl., 2013)

Software validation of medical instruments. - Davidson R. Boccardo; Raphael C. S. Machado; Sérgio M. Câmara; Charles B. do Prado; Wilson S. Melo; Leonardo Costa Ribeiro; Luiz F. R. da Costa Carmo (MeMeA, 2014)

Fair Fingerprinting Protocol for Attesting Software Misuses. - Raphael C. S. Machado; Davidson R. Boccardo; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (ARES, 2015)

The Graphs of Structured Programming. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CTW, 2015)

SensorWatermark: a scheme of software watermark using code obfuscation and tamperproofing for WSN. - Emanuele N. de L. F. Jorge; Luci Pirmez; Claudio M. de Farias; Rafael de O. Costa; Davidson R. Boccardo; Luiz F. R. da Costa Carmo (IWCMC, 2015)

DYSSS: A Dynamic and Context-Aware Security System for Shared Sensor Networks. - Claudio M. de Farias; Luci Pirmez; Luiz F. R. C. Carmo; Davidson R. Boccardo; Flávia Coimbra Delicato; Igor Leão dos Santos; Renato Pinheiro; Rafael O. Costa (Int. J. Distributed Sens. Networks, 2015)

Dijkstra Graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CoRR, 2016)

Software control and intellectual property protection in cyber-physical systems. - Raphael C. S. Machado; Davidson R. Boccardo; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (EURASIP J. Inf. Secur., 2016)

EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles. - Cristiano Gurgel de Castro; Sergio de Medeiros Camara; Luiz Fernando Rust da Costa Carmo; Davidson Rodrigo Boccardo (DASC/PiCom/DataCom/CyberSciTech, 2017)

On the resilience of canonical reducible permutation graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2018)

Full Characterization of a Class of Graphs Tailored for Software Watermarking. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Algorithmica, 2019)

Dijkstra graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Flávio Keidi Miyazawa; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2019)

Towards a Practical Information Security Maturity Evaluation Method focused on People, Process and Technology. - Davidson R. Boccardo; Lucila M. S. Bento; Fernando H. Costa (MetroInd4.0&IoT, 2021)

Structured Watermarks for Structured Software. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius G. P. de Sá; Jayme Luiz Szwarcfiter (SN Comput. Sci., 2024)