Raphael C. S. Machado

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 31

Top Topics

Random Number Generators

Graph Theoretic

Top Venues

MetroInd4.0&IoT

Discret. Appl. Math.

MetroInd4.0& IoT

Publications

Leandro M. Zatesko, Renato Carmo, André Luiz Pires Guedes, Raphael C. S. Machado, Celina M. H. de Figueiredo
-snark. RAIRO Oper. Res. 58 (3) (2024)
Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado
Ransomware Detection: Leveraging Sandbox, Text Mining Techiques and Machine Learning. MetroInd4.0 & IoT (2024)
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius G. P. de Sá, Jayme Luiz Szwarcfiter
Structured Watermarks for Structured Software. SN Comput. Sci. 5 (5) (2024)
Alessandro Monteiro Da Costa, Alan Oliveira de Sá, Raphael C. S. Machado
Data Acquisition and extraction on mobile devices-A Review. MetroInd4.0& IoT (2022)
Lucila M. S. Bento, Raphael C. S. Machado, Felipe S. Simões
Software Watermark Scheme. MetroInd4.0& IoT (2022)
Alesom Zorzi, Celina M. H. de Figueiredo, Raphael C. S. Machado, Leandro M. Zatesko, Uéverton S. Souza
Compositions, decompositions, and conformability for total coloring on power of cycle graphs. Discret. Appl. Math. 323 (2022)
Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado
Testing and selecting lightweight pseudo-random number generators for IoT devices. MetroInd4.0&IoT (2021)
Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira de Sá, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo, António Casimiro
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE Trans. Ind. Electron. 68 (8) (2021)
Paolo Ferrari, Emiliano Sisinni, Abusayeed Saifullah, Raphael C. S. Machado, Alan Oliveira de Sá, M. Felser
Work-in-Progress: Compromising Security of Real-time Ethernet Devices by means of Selective Queue Saturation Attack. WFCS (2020)
Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado
Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems. Mob. Networks Appl. 25 (5) (2020)
Alan Oliveira de Sá, Raphael C. S. Machado
Identification of Data Injection Attacks in Networked Control Systems with Varying Setpoint Condition. MetroInd4.0&IoT (2020)
Wilson S. Melo, Raphael C. S. Machado, Daniel Peters, Mahbuba Moni
Public-Key Infrastructure for Smart Meters using Blockchains. MetroInd4.0&IoT (2020)
Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. Sensors 20 (3) (2020)
Lucas S. dos Santos, Paulo R. M. Nascimento, Lucila M. S. Bento, Raphael C. S. Machado, Cláudio L. Amorim
Development of security mechanisms for a remote sensing system based on opportunistic and mesh networks. MetroInd4.0&IoT (2020)
Rodrigo M. Zhou, Celina M. H. de Figueiredo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá
On the embedding of cone graphs in the line with distinct distances between neighbors. Discret. Appl. Math. 256 (2019)
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
Full Characterization of a Class of Graphs Tailored for Software Watermarking. Algorithmica 81 (7) (2019)
Daniel Chicayban Bastos, Luis Antonio Brasil Kowada, Raphael C. S. Machado
Measuring randomness in IoT products. MetroInd4.0&IoT (2019)
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
Dijkstra graphs. Discret. Appl. Math. 261 (2019)
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
On the resilience of canonical reducible permutation graphs. Discret. Appl. Math. 234 (2018)
Leonardo Costa Ribeiro, Luiz P. Damaceno, Luiz V. G. Tarelho, Daniel Varela Magalhães, Giovanni Daniele Rovera, Raphael C. S. Machado
Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services. MetroInd4.0&IoT (2018)
Wilson S. Melo, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
Using Physical Context-Based Authentication against External Attacks: Models and Protocols. Secur. Commun. Networks 2018 (2018)
Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado
A controller design for mitigation of passive system identification attacks in networked control systems. J. Internet Serv. Appl. 9 (1) (2018)
Leonardo Costa Ribeiro, Ana C. O. Marcelino, Guilherme A. Garcia, Desiree S. Goncalves, Luiz V. G. Tarelho, Leandro P. Correa, Wladmir Araujo Chapetta, Alan Oliveira de Sá, Raphael C. S. Machado
True Random Number Generators for Batch Control Sampling in Smart Factories. MetroInd4.0&IoT (2018)
Alan Oliveira de Sá, Luiz F. Rust da Costa Carmo, Raphael C. S. Machado
Covert Attacks in Cyber-Physical Control Systems. IEEE Trans. Ind. Informatics 13 (4) (2017)
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. Algorithmica 77 (3) (2017)
Simone Dantas, Marina Groshaus, André Luiz Pires Guedes, Raphael C. S. Machado, Bernard Ries, Diana Sasaki
On star and biclique edge-colorings. Int. Trans. Oper. Res. 24 (1-2) (2017)
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. Theor. Comput. Sci. 618 (2016)
Raphael C. S. Machado, Davidson R. Boccardo, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
Software control and intellectual property protection in cyber-physical systems. EURASIP J. Inf. Secur. 2016 (2016)
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
Dijkstra Graphs. CoRR (2016)
Alan Oliveira de Sá, Luiz F. R. C. Carmo, Raphael C. S. Machado
Covert Attacks in Cyber-Physical Control Systems. CoRR (2016)
Raphael C. S. Machado, Celina M. H. de Figueiredo
Linear-time graph distance and diameter approximation. Int. Trans. Oper. Res. 23 (5) (2016)
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
Biclique-colouring verification complexity and biclique-colouring power graphs. Discret. Appl. Math. 192 (2015)
Raphael C. S. Machado, Davidson R. Boccardo, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
Fair Fingerprinting Protocol for Attesting Software Misuses. ARES (2015)
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
Complexity of colouring problems restricted to unichord-free and { square, unichord }-free graphs. Discret. Appl. Math. 164 (2014)
Guilherme Dias da Fonseca, Celina M. H. de Figueiredo, Vinícius Gusmão Pereira de Sá, Raphael C. S. Machado
Efficient sub-5 approximations for minimum dominating sets in unit disk graphs. Theor. Comput. Sci. 540 (2014)
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
Software validation of medical instruments. MeMeA (2014)
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
Hierarchical Complexity of 2-Clique-Colouring Weakly Chordal Graphs and Perfect Graphs Having Cliques of Size at Least 3. LATIN (2014)
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
Complexity of colouring problems restricted to unichord-free and \{square, unichord\}-free graphs. CoRR (2013)
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. CoRR (2013)
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
Towards a provably robust graph-based watermarking scheme CoRR (2013)
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
Edge-colouring and total-colouring chordless graphs. CoRR (2013)
Vinícius G. P. de Sá, Davidson R. Boccardo, Luiz Fernando Rust C. Carmo, Raphael C. S. Machado
A tight bound for exhaustive key search attacks against Message Authentication Codes. RAIRO Theor. Informatics Appl. 47 (2) (2013)
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
Edge-colouring and total-colouring chordless graphs. Discret. Math. 313 (14) (2013)
Tiago M. Nascimento, Davidson R. Boccardo, Charles B. Prado, Raphael C. S. Machado, Luiz F. R. C. Carmo
Program Matching through Code Analysis and Artificial Neural Networks. Int. J. Softw. Eng. Knowl. Eng. 22 (2) (2012)
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
Biclique-colouring - Powers of Paths and Powers of Cycles. CTW (2012)
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. LATIN (2012)
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
Biclique-colouring powers of paths and powers of cycles CoRR (2012)
Vinícius G. P. de Sá, Guilherme Dias da Fonseca, Raphael C. S. Machado, Celina M. H. de Figueiredo
Complexity dichotomy on partial grid recognition. Theor. Comput. Sci. 412 (22) (2011)
Raphael C. S. Machado, Celina M. H. de Figueiredo
A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs. Networks 57 (3) (2011)
Raphael C. S. Machado, Celina M. H. de Figueiredo
Total chromatic number of unichord-free graphs. Discret. Appl. Math. 159 (16) (2011)
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
Software evaluation of smart meters within a Legal Metrology perspective: A Brazilian case. ISGT Europe (2010)
Raphael C. S. Machado, Celina M. H. de Figueiredo
Decompositions for edge-coloring join graphs and cobipartite graphs. Discret. Appl. Math. 158 (12) (2010)
Davidson R. Boccardo, Tiago M. Nascimento, Raphael C. S. Machado, Charles B. Prado, Luiz F. R. C. Carmo
Traceability of Executable Codes Using Neural Networks. ISC (2010)
Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado
Program Equivalence Using Neural Networks. BIONETICS (2010)
Raphael C. S. Machado, Celina M. H. de Figueiredo
Total chromatic number of {square, unichord}-free graphs. Electron. Notes Discret. Math. 36 (2010)
Raphael C. S. Machado, Celina M. H. de Figueiredo, Kristina Vuskovic
Chromatic index of graphs with no cycle with a unique chord. Theor. Comput. Sci. 411 (7-9) (2010)
Raphael C. S. Machado, Celina M. H. de Figueiredo
Sufficient conditions for a graph to be edge-colorable with maximum degree colors. Electron. Notes Discret. Math. 30 (2008)