Raphael Machado

According to our database, Raphael Machado authored at least 88 papers between 2008 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

The hardness of recognising poorly matchable graphs and the hunting of the <i>d</i>-snark.

Leandro M. Zatesko, Renato Carmo, André Luiz Pires Guedes, Raphael C. S. Machado, Celina M. H. de Figueiredo

RAIRO Oper. Res., 2024

Ransomware Detection: Leveraging Sandbox, Text Mining Techiques and Machine Learning.

Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado

Proceedings of the IEEE International Workshop on Metrology for Industry 4.0 and IoT, 2024

2023

Systematic Literature Review of Threat Modeling Concepts.

Pedro A. Lohmann, Carlos Albuquerque, Raphael Machado

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

Compositions, decompositions, and conformability for total coloring on power of cycle graphs.

Alesom Zorzi, Celina M. H. de Figueiredo, Raphael C. S. Machado, Leandro M. Zatesko, Uéverton S. Souza

Discret. Appl. Math., 2022

Crowdsourcing and monetization as a strategy to reduce vehicular greenhouse gases emissions.

Wilson S. Melo, Paulo R. M. Nascimento, Kauã Gomes, Malkai Oliveira, Raphael Machado

Proceedings of the 96th Vehicular Technology Conference, 2022

Cyber-Physical Risks identification on Industry 4.0: A Methodology Proposal.

Maria Fernanda O. Santos, Wilson S. Melo, Raphael Machado

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

Evasion Techniques for VM-based Black-Box Software Analysis.

Bruno Leite, Alan Oliveira de Sá, Raphael Machado

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

Data Acquisition and extraction on mobile devices-A Review.

Alessandro Monteiro Da Costa, Alan Oliveira de Sá, Raphael C. S. Machado

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

Sensors for detection of cyber threats on industrial environment using a high interaction ICS/SCADA Honeynet¹.

Maxli Campos, Elson Gomes, Raphael Machado

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

Software Watermark Scheme.

Lucila M. S. Bento, Raphael C. S. Machado, Felipe S. Simões

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

2021

Artificial Neural Network-Based Stealth Attack on Battery Energy Storage Systems.

Marco Pasetti, Paolo Ferrari, Paolo Bellagente, Emiliano Sisinni, Alan Oliveira de Sá, Charles B. do Prado, Rodrigo P. David, Raphael Carlos Santos Machado

IEEE Trans. Smart Grid, 2021

Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet.

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

IEEE Trans. Ind. Electron., 2021

When Measurements Meet Blockchain: On Behalf of an Inter-NMI Network.

Mahbuba Moni, Wilson S. Melo, Daniel Peters, Raphael Machado

Sensors, 2021

A Triggering Mechanism for Cyber-Attacks in Naval Sensors and Systems.

Walmor Cristino Leite Junior, Claudio Coreixas de Moraes, Carlos E. P. de Albuquerque, Raphael Carlos Santos Machado, Alan Oliveira de Sá

Sensors, 2021

Quantitative Metrics for Performance Monitoring of Software Code Analysis Accredited Testing Laboratories.

Wladmir Araújo Chapetta, Jailton Santos das Neves, Raphael Carlos Santos Machado

Sensors, 2021

Proposal and Validation of a Standard Protection Profile for Homologation of Commercial Videoconferencing Equipment.

Ariane C. B. Florentino, Sanderson César Macêdo Barbalho, Raphael Carlos Santos Machado

IEEE Access, 2021

Testing and selecting lightweight pseudo-random number generators for IoT devices.

Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado

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

2020

Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration.

Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo

Sensors, 2020

Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems.

Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado

Mob. Networks Appl., 2020

Work-in-Progress: Compromising Security of Real-time Ethernet Devices by means of Selective Queue Saturation Attack.

Paolo Ferrari, Emiliano Sisinni, Abusayeed Saifullah, Raphael C. S. Machado, Alan Oliveira de Sá, M. Felser

Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

Development of security mechanisms for a remote sensing system based on opportunistic and mesh networks.

Lucas S. dos Santos, Paulo R. M. Nascimento, Lucila M. S. Bento, Raphael C. S. Machado, Cláudio L. Amorim

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

Identification of Data Injection Attacks in Networked Control Systems with Varying Setpoint Condition.

Alan Oliveira de Sá, Raphael C. S. Machado

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

Public-Key Infrastructure for Smart Meters using Blockchains.

Wilson S. Melo, Raphael C. S. Machado, Daniel Peters, Mahbuba Moni

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

Proficiency Testing for Software Analysis and Cybersecurity Laboratories.

Raphael Machado, Wilson S. Melo, Lucila M. S. Bento, Sérgio M. Câmara, Vinicius da Hora, Thais Barras, Wladmir Araújo Chapetta

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

2019

Even-power of Cycles With Many Vertices are Type 1 Total Colorable.

Alesom Zorzi, Celina M. H. de Figueiredo, Raphael Machado, Uéverton S. Souza

Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, 2019

On the embedding of cone graphs in the line with distinct distances between neighbors.

Rodrigo M. Zhou, Celina M. H. de Figueiredo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá

Discret. Appl. Math., 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

Countermeasure for Identification of Controlled Data Injection Attacks in Networked Control Systems.

Alan Oliveira de Sá, Luiz Fernando Rust da Costa Carmo, Raphael Carlos Santos Machado

Proceedings of the 2nd Workshop on Metrology for Industry 4.0 and IoT MetroInd4.0&IoT 2019, 2019

Measuring randomness in IoT products.

Daniel Chicayban Bastos, Luis Antonio Brasil Kowada, Raphael C. S. Machado

Proceedings of the 2nd Workshop on Metrology for Industry 4.0 and IoT MetroInd4.0&IoT 2019, 2019

Bio-inspired System Identification Attacks in Noisy Networked Control Systems.

Alan Oliveira de Sá, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo

Proceedings of the Bio-inspired Information and Communication Technologies, 2019

2018

Using Physical Context-Based Authentication against External Attacks: Models and Protocols.

Wilson S. Melo, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo

Secur. Commun. Networks, 2018

A controller design for mitigation of passive system identification attacks in networked control systems.

Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado

J. Internet Serv. Appl., 2018

Using SPQR-trees to speed up recognition algorithms based on 2-cutsets.

Hélio B. Macêdo Filho, Celina M. H. de Figueiredo, Z. Li, Raphael Machado

Discret. Appl. Math., 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

Evaluation on Passive System Identification and Covert Misappropriation Attacks in Large Pressurized Heavy Water Reactors.

Alan Oliveira de Sá, Luiz Fernando Rust da Costa Carmo, Raphael Carlos Santos Machado

Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

True Random Number Generators for Batch Control Sampling in Smart Factories.

Leonardo Costa Ribeiro, Ana C. O. Marcelino, Guilherme A. Garcia, Desiree S. Goncalves, Luiz V. G. Tarelho, Leandro P. Correa, Wladmir Araújo Chapetta, Alan Oliveira de Sá, Raphael C. S. Machado

Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services.

Leonardo Costa Ribeiro, Luiz P. Damaceno, Luiz V. G. Tarelho, Daniel Varela Magalhães, Giovanni Daniele Rovera, Raphael C. S. Machado

Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

Building Reference Datasets to Support Socialbots Detection.

Carla Pacheco, Alex Garcia, Raphael Machado, Ronaldo M. Salles

Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

2017

Covert Attacks in Cyber-Physical Control Systems.

Alan Oliveira de Sá, Luiz F. Rust da Costa Carmo, Raphael C. S. Machado

IEEE Trans. Ind. Informatics, 2017

Genomic Distance with High Indel Costs.

Poly H. da Silva, Raphael Machado, Simone Dantas, Marília D. V. Braga

IEEE ACM Trans. Comput. Biol. Bioinform., 2017

On star and biclique edge-colorings.

Simone Dantas, Marina Groshaus, André Luiz Pires Guedes, Raphael C. S. Machado, Bernard Ries, Diana Sasaki

Int. Trans. Oper. Res., 2017

Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs.

Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo

Algorithmica, 2017

Use of Switching Controllers for Mitigation of Active Identification Attacks in Networked Control Systems.

Alan Oliveira de Sá, Luiz Fernando Rust da Costa Carmo, Raphael Carlos Santos Machado

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

2016

Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3.

Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo

Theor. Comput. Sci., 2016

Linear-time graph distance and diameter approximation.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Int. Trans. Oper. Res., 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

Using SPQR-trees to speed up algorithms based on 2-cutset decompositions.

Celina M. H. de Figueiredo, Hélio B. Macêdo Filho, Z. Li, Raphael Carlos Santos Machado, Nicolas Trotignon

Electron. Notes Discret. Math., 2015

On the recognition of unit disk graphs and the Distance Geometry Problem with Ranges.

Guilherme Dias da Fonseca, Vinícius Gusmão Pereira de Sá, Raphael Carlos Santos Machado, Celina Miraglia Herrera de Figueiredo

Discret. Appl. Math., 2015

Biclique-colouring verification complexity and biclique-colouring power graphs.

Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo

Discret. Appl. Math., 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

Efficient sub-5 approximations for minimum dominating sets in unit disk graphs.

Guilherme Dias da Fonseca, Celina M. H. de Figueiredo, Vinícius Gusmão Pereira de Sá, Raphael C. S. Machado

Theor. Comput. Sci., 2014

Complexity of colouring problems restricted to unichord-free and { square, unichord }-free graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon

Discret. Appl. Math., 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

Edge-colouring and total-colouring chordless graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon

Discret. Math., 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

DCJ-indel and DCJ-substitution distances with distinct operation costs.

Poly H. da Silva, Raphael Machado, Simone Dantas, Marília D. V. Braga

Algorithms Mol. Biol., 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

Information security aspects of public software.

Henrique Soares, Raphael Machado, Bruno Salgado, Rafael Soares, Jarbas Lopes Cardoso Jr., Luis Felipe Costa

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 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

The total chromatic number of split-indifference graphs.

C. N. Campos, Celina M. H. de Figueiredo, Raphael Machado, Célia Picinin de Mello

Discret. Math., 2012

Restricted DCJ-indel model: sorting linear genomes with DCJ and indels.

Poly H. da Silva, Raphael Machado, Simone Dantas, Marília D. V. Braga

BMC Bioinform., 2012

Linear Time Approximation for Dominating Sets and Independent Dominating Sets in Unit Disk Graphs.

Guilherme Dias da Fonseca, Celina M. H. de Figueiredo, Vinícius G. P. de Sá, Raphael Machado

Proceedings of the Approximation and Online Algorithms - 10th International Workshop, 2012

DCJ-indel Distance with Distinct Operation Costs.

Poly H. da Silva, Marília D. V. Braga, Raphael Machado, Simone Dantas

Proceedings of the Algorithms in Bioinformatics - 12th International Workshop, 2012

Clique-Colouring and Biclique-Colouring Unichord-Free Graphs.

Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo

Proceedings of the LATIN 2012: Theoretical Informatics, 2012

Biclique-colouring - Powers of Paths and Powers of Cycles.

Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo

Proceedings of the 11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2012

2011

Complexity dichotomy on partial grid recognition.

Vinícius G. P. de Sá, Guilherme Dias da Fonseca, Raphael C. S. Machado, Celina M. H. de Figueiredo

Theor. Comput. Sci., 2011

A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Networks, 2011

Complexity separating classes for edge-colouring and total-colouring.

Raphael Machado, Celina M. H. de Figueiredo

J. Braz. Comput. Soc., 2011

Total chromatic number of unichord-free graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Discret. Appl. Math., 2011

On the weight of indels in genomic distances.

Marília D. V. Braga, Raphael Machado, Leonardo Costa Ribeiro, Jens Stoye

BMC Bioinform., 2011

Genomic distance under gene substitutions.

Marília D. V. Braga, Raphael Machado, Leonardo Costa Ribeiro, Jens Stoye

BMC Bioinform., 2011

2010

Chromatic index of graphs with no cycle with a unique chord.

Raphael C. S. Machado, Celina M. H. de Figueiredo, Kristina Vuskovic

Theor. Comput. Sci., 2010

Complexity dichotomy on degree-constrained VLSI layouts with unit-length edges.

Vinícius G. P. de Sá, Celina M. H. de Figueiredo, Guilherme Dias da Fonseca, Raphael Machado

Electron. Notes Discret. Math., 2010

Total chromatic number of {square, unichord}-free graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Electron. Notes Discret. Math., 2010

Decompositions for edge-coloring join graphs and cobipartite graphs.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Discret. Appl. Math., 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

Chromatic Index of Chordless Graphs.

Raphael Machado, Celina M. H. de Figueiredo, Nicolas Trotignon

Proceedings of the 9th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 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

2009

NP-Completeness of Determining the Total Chromatic Number of Graphs that do not Contain a Cycle with a Unique Chord.

Raphael Machado, Celina M. H. de Figueiredo

Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009

2008

Sufficient conditions for a graph to be edge-colorable with maximum degree colors.

Raphael C. S. Machado, Celina M. H. de Figueiredo

Electron. Notes Discret. Math., 2008

A decomposition for total-coloring graphs of maximum degree 3.

Raphael Machado, Celina M. H. de Figueiredo

Proceedings of the Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2008