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.

[BibT_eX]

[DOI]

Alesom Zorzi

Leandro M. Zatesko

Uéverton S. Souza

Discret. Appl. Math., 2022

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

[BibT_eX]

[DOI]

Paulo R. M. Nascimento

Kauã Gomes

Malkai Oliveira

Proceedings of the 96th Vehicular Technology Conference, 2022

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

[BibT_eX]

[DOI]

Maria Fernanda O. Santos

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

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

[BibT_eX]

[DOI]

Bruno Leite

Alessandro Monteiro Da Costa

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

Data Acquisition and extraction on mobile devices-A Review.

[BibT_eX]

[DOI]

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<sup>1</sup>.

[BibT_eX]

[DOI]

Maxli Campos

Elson Gomes

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

Software Watermark Scheme.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2021

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

[BibT_eX]

[DOI]

Walmor Cristino Leite Junior

António Casimiro

IEEE Trans. Ind. Electron., 2021

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

[BibT_eX]

[DOI]

Sensors, 2021

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

[BibT_eX]

[DOI]

Claudio Coreixas de Moraes

Carlos E. P. de Albuquerque

Sensors, 2021

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

[BibT_eX]

[DOI]

Wladmir Araújo Chapetta

Jailton Santos das Neves

Sanderson César Macêdo Barbalho

Sensors, 2021

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

[BibT_eX]

[DOI]

Ariane C. B. Florentino

IEEE Access, 2021

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

[BibT_eX]

[DOI]

Augusto Parisot

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.

[BibT_eX]

[DOI]

António Casimiro

Sensors, 2020

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

[BibT_eX]

[DOI]

Mob. Networks Appl., 2020

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

[BibT_eX]

[DOI]

Paolo Ferrari

Emiliano Sisinni

Abusayeed Saifullah

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.

[BibT_eX]

[DOI]

Lucas S. dos Santos

Paulo R. M. Nascimento

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.

[BibT_eX]

[DOI]

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

Public-Key Infrastructure for Smart Meters using Blockchains.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alesom Zorzi

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.

[BibT_eX]

[DOI]

Rodrigo M. Zhou

Discret. Appl. Math., 2019

Dijkstra graphs.

[BibT_eX]

[DOI]

Flávio Keidi Miyazawa

Discret. Appl. Math., 2019

Full Characterization of a Class of Graphs Tailored for Software Watermarking.

[BibT_eX]

[DOI]

Algorithmica, 2019

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

[BibT_eX]

[DOI]

Luis Antonio Brasil Kowada

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

Measuring randomness in IoT products.

[BibT_eX]

[DOI]

Daniel Chicayban Bastos

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.

[BibT_eX]

[DOI]

António Casimiro

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

2018

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

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2018

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

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2018

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

[BibT_eX]

[DOI]

Z. Li

Discret. Appl. Math., 2018

On the resilience of canonical reducible permutation graphs.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Wladmir Araújo Chapetta

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

Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services.

[BibT_eX]

[DOI]

Luiz P. Damaceno

Luiz V. G. Tarelho

Daniel Varela Magalhães

Giovanni Daniele Rovera

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

Building Reference Datasets to Support Socialbots Detection.

[BibT_eX]

[DOI]

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

2017

Covert Attacks in Cyber-Physical Control Systems.

[BibT_eX]

[DOI]

Luiz F. Rust da Costa Carmo

IEEE Trans. Ind. Informatics, 2017

Genomic Distance with High Indel Costs.

[BibT_eX]

[DOI]

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

On star and biclique edge-colorings.

[BibT_eX]

[DOI]

Simone Dantas

Marina Groshaus

André Luiz Pires Guedes

Bernard Ries

Diana Sasaki

Int. Trans. Oper. Res., 2017

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

[BibT_eX]

[DOI]

Algorithmica, 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Linear-time graph distance and diameter approximation.

[BibT_eX]

[DOI]

Int. Trans. Oper. Res., 2016

Software control and intellectual property protection in cyber-physical systems.

[BibT_eX]

[DOI]

EURASIP J. Inf. Secur., 2016

Dijkstra Graphs.

[BibT_eX]

[DOI]

CoRR, 2016

2015

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

[BibT_eX]

[DOI]

Z. Li

Electron. Notes Discret. Math., 2015

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

[BibT_eX]

[DOI]

Celina Miraglia Herrera de Figueiredo

Discret. Appl. Math., 2015

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

[BibT_eX]

[DOI]

Simone Dantas

Discret. Appl. Math., 2015

The Graphs of Structured Programming.

[BibT_eX]

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

Fair Fingerprinting Protocol for Attesting Software Misuses.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

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

[BibT_eX]

[DOI]

Discret. Appl. Math., 2014

Software validation of medical instruments.

[BibT_eX]

[DOI]

Sérgio M. Câmara

Charles B. do Prado

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.

[BibT_eX]

[DOI]

Luiz Fernando Rust C. Carmo

RAIRO Theor. Informatics Appl., 2013

Edge-colouring and total-colouring chordless graphs.

[BibT_eX]

[DOI]

Discret. Math., 2013

Towards a provably robust graph-based watermarking scheme

[BibT_eX]

[DOI]

CoRR, 2013

Energy footprint framework: A pathway toward smart grid sustainability.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2013

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

[BibT_eX]

[DOI]

Algorithms Mol. Biol., 2013

Towards a Provably Resilient Scheme for Graph-Based Watermarking.

[BibT_eX]

[DOI]

Lucila Maria Souza Bento

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

Information security aspects of public software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tiago M. Nascimento

Charles B. Prado

Luiz F. R. C. Carmo

Int. J. Softw. Eng. Knowl. Eng., 2012

The total chromatic number of split-indifference graphs.

[BibT_eX]

[DOI]

C. N. Campos

Célia Picinin de Mello

Discret. Math., 2012

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

[BibT_eX]

[DOI]

BMC Bioinform., 2012

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

[BibT_eX]

[DOI]

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

DCJ-indel Distance with Distinct Operation Costs.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the LATIN 2012: Theoretical Informatics, 2012

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

[BibT_eX]

Simone Dantas

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

2011

Complexity dichotomy on partial grid recognition.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

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

[BibT_eX]

[DOI]

Networks, 2011

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

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2011

Total chromatic number of unichord-free graphs.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2011

On the weight of indels in genomic distances.

[BibT_eX]

[DOI]

Marília D. V. Braga

Jens Stoye

BMC Bioinform., 2011

Genomic distance under gene substitutions.

[BibT_eX]

[DOI]

Marília D. V. Braga

Jens Stoye

BMC Bioinform., 2011

2010

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

[BibT_eX]

[DOI]

Kristina Vuskovic

Theor. Comput. Sci., 2010

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

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2010

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

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2010

Decompositions for edge-coloring join graphs and cobipartite graphs.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2010

Traceability of Executable Codes Using Neural Networks.

[BibT_eX]

[DOI]

Tiago M. Nascimento

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.

[BibT_eX]

[DOI]

Luiz C. Gomes dos Santos

Marcio H. Dezan

Sergio de Aguiar Portugal

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

Chromatic Index of Chordless Graphs.

[BibT_eX]

Proceedings of the 9th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2010

Program Equivalence Using Neural Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2008

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

[BibT_eX]