Follow
Davidson Boccardo
Title
Cited by
Cited by
Year
Dijkstra graphs
LMS Bento, DR Boccardo, RCS Machado, FK Miyazawa, VGP de Sá, ...
Discrete Applied Mathematics 261, 52-62, 2019
212019
Software evaluation of smart meters within a Legal Metrology perspective: A Brazilian case
DR Boccardo, LCG dos Santos, LFR da Costa Carmo, MH Dezan, ...
2010 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT …, 2010
202010
Towards a provably resilient scheme for graph-based watermarking
LMS Bento, D Boccardo, RCS Machado, VG Pereira de Sá, JL Szwarcfiter
Graph-Theoretic Concepts in Computer Science: 39th International Workshop …, 2013
172013
Context-sensitive analysis without calling-context
A Lakhotia, DR Boccardo, A Singh, A Manacero
Higher-Order and Symbolic Computation 23, 275-313, 2010
152010
Context-sensitive analysis of obfuscated x86 executables
A Lakhotia, DR Boccardo, A Singh, A Manacero Jr
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
152010
Software control and intellectual property protection in cyber-physical systems
R CS Machado, D R. Boccardo, VGP Sá, J L. Szwarcfiter
EURASIP Journal on Information Security 2016, 1-14, 2016
112016
Software validation of medical instruments
DR Boccardo, RCS Machado, SM Camara, CB do Prado, WS Melo, ...
2014 IEEE International Symposium on Medical Measurements and Applications …, 2014
112014
Software analysis and protection for smart metering
CB do Prado, DR Boccardo, RCS Machado, LFR da Costa Carmo, ...
NCSLI Measure 9 (3), 22-29, 2014
92014
TinyObf: code obfuscation framework for wireless sensor networks
R Costa, L Pirmez, D Boccardo, LF Rust, R Machado
Proceedings International Conference on Wireless Networks (ICWN), 68-74, 2012
92012
On the resilience of canonical reducible permutation graphs
LMS Bento, DR Boccardo, RCS Machado, VGP de Sá, JL Szwarcfiter
Discrete Applied Mathematics 234, 32-46, 2018
82018
Transformações de código para proteção de software
DR Boccardo, RCS Machado, LFR da Costa Carmo
Sociedade Brasileira de Computação, 2010
82010
Full characterization of a class of graphs tailored for software watermarking
LMS Bento, DR Boccardo, RCS Machado, VG Pereira de Sá, ...
Algorithmica 81, 2899-2916, 2019
72019
EVINCED: Integrity verification scheme for embedded systems based on time and clock cycles
CG de Castro, S de Medeiros Câmara, LFR da Costa Carmo, ...
2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th …, 2017
72017
Avaliação de algoritmos de escalonamento em Grids para diferentes configurações de ambiente
JN Falavinha Jr, A Manacero Jr, DR Boccardo, LJ Oliveira
Anais do XXVII Congresso Anual da SBC-Wperformance, 505-524, 2007
72007
Program matching through code analysis and artificial neural networks
TM Nascimento, DR Boccardo, CB Prado, RCS Machado, LFRC Carmo
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
62012
Traceability of executable codes using neural networks
DR Boccardo, TM Nascimento, RC Machado, CB Prado, LFRC Carmo
International Conference on Information Security, 241-253, 2010
62010
A randomized graph-based scheme for software watermarking
LMS Bento, DR Boccardo, RCS Machado, VGP de Sá, JL Szwarcfiter
Anais do XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas …, 2014
52014
Energy footprint framework: A pathway toward smart grid sustainability
D Boccardo, L Ribeiro, R Canaan, L Carmo, L Pirmez, R Machado, ...
IEEE Communications Magazine 51 (1), 50-56, 2013
52013
Minicursos do X Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais
LP Barreto, ALM dos Santos, RM de Castro Andrade, MS Wangham, ...
Sociedade Brasileira de Computação, 2010
52010
Sensitive information protection for advanced metering infrastructure
R Costa, D Boccardo, C Gomes, LFRC Carmo, L Pirmez
10th International Congress on Electrical Metrology (SEMETRO’13), 6-9, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20