Davidson R. Boccardo

According to our database, Davidson R. Boccardo authored at least 23 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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., June, 2024

2021

Towards a Practical Information Security Maturity Evaluation Method focused on People, Process and Technology.

Davidson R. Boccardo, Lucila M. S. Bento, Fernando H. Costa

Proceedings of the IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2021

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

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

2018

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

2017

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

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

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

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

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

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

Proceedings of the International Wireless Communications and Mobile Computing Conference, 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

Proceedings of the 13th Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2015

Fair Fingerprinting Protocol for Attesting Software Misuses.

Raphael C. S. Machado, Davidson R. Boccardo, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

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

Proceedings of the 2014 IEEE International Symposium on Medical Measurements and Applications, 2014

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

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

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 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

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2013

2012

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

2010

Context-sensitive analysis without calling-context.

Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.

High. Order Symb. Comput., 2010

Context-sensitive analysis of obfuscated x86 executables.

Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 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

Proceedings of the Information Security - 13th International Conference, 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

Proceedings of the IEEE PES Conference on Innovative Smart Grid Technologies, 2010

Program Equivalence Using Neural Networks.

Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado

Proceedings of the Bio-Inspired Models of Network, Information, and Computing Systems, 2010