Raphael Carlos Santos Machado

  • Endereço para acessar este CV: http://lattes.cnpq.br/9594450995231533
  • ID Lattes: 9594450995231533
  • Última atualização do currículo em 01/02/2023


Raphael Machado é Doutor em Engenharia de Sistemas e Computação (COPPE/UFRJ 2010). É Diretor Acadêmico e de Pesquisa da Clavis e Professor (efetivo 20h) do IC/UFF. É bolsista de produtividade em pesquisa pelo CNPq desde 2013 e Jovem Cientista do Estado do RJ desde 2015, tendo publicado mais de uma centena de artigos científicos nas áreas de Segurança da Informação, Análise de Código, Ofuscação, Incorruptibilidade de Software, Marcas d'Água, Criptografia, Complexidade Computacional, Matemática Combinatória e Teoria dos Grafos. Raphael foi coordenador de mais de duas dezenas de projetos de pesquisa científica, desenvolvimento tecnológico e inovação apoiados por CNPq, Finep, Faperj e Fapesp - tais projetos deram origem não apenas a uma vasta produção acadêmica, mas também, a patentes produtos e serviços utilizados pela indústrias e reconhecidos como "estratégicos" pelo governo federal. Raphael organiza ou organizou inúmeros eventos relevantes nas mais diversas áreas da Computação, incluindo o LAWCG'2018 (evento satélite do International Congress of Mathematicians), o SBSeg 2020, o IEEE MetroInd 2020 e 2021, as edições 2015, 2016, 2017 e 2018 do WRAC+, o ACM/ISSISP 2015, o RECOMB 2012, o WGA 2012, o CS2I 2014, e várias edições do Workshop SegInfo, além das sessões especiais de Segurança Cibernética dos IEEE MetroInd 2018 e 2019 e de Mobilidade do MetroInd 2022. Raphael foi chefe do Laboratório de Informática do Inmetro, onde liderou diversas atividades de consultoria e cooperação técnica a empresas e a órgãos do governo, que deram origem a dezenas de pareceres técnicos. Foi coordenador do do Programa Profissional de Pós-Graduação em Metrologia e Qualidade do Inmetro, e docente permanente do Programa Acadêmico de Pós-Graduação em Computação do IC/UFF e do Programa Acadêmico de Pós-Graduação em Metrologia do Inmetro. Foi palestrante convidado de eventos de prestígio nacional (como o SegInfo e o SBSeg) e internacional (como o Princeton DIMACS Meeting). Foi membro de conselhos e comitês gestores relevantes nas áreas acadêmica e de segurança da informação, incluindo o Conselho Acadêmico do Inmetro, Comitê Gestor do programa Pronametro-Ensino, Comitê Gestor do SHCDCiber, Comitê Gestor do PNCH-TIC e Conselheiro do Grupo Clavis Segurança da Informação. (Texto informado pelo autor)


Identificação


Nome
Raphael Carlos Santos Machado
Nome em citações bibliográficas
MACHADO, R. C. S.;Machado, Raphael C.S.;Machado, Raphael;Machado, R.C.S.;Machado, Raphael C. S.;Machado, R.;MACHADO, RAPHAEL CARLOS SANTOS;MACHADO, R C S;C. S. MACHADO, RAPHAEL;SANTOS MACHADO, RAPHAEL C.;CARLOS SANTOS MACHADO, RAPHAEL;SANTOS MACHADO, R. C.
Lattes iD
http://lattes.cnpq.br/9594450995231533

Endereço


Endereço Profissional
Instituto Nacional de Metrologia, Qualidade e Tecnologia, Diretoria de Metrologia Científica e Industrial.
AV. Nsa Sra dar Graças 50
Vila Operária
25250050 - Duque de Caxias, RJ - Brasil
Telefone: (21) 993466084


Formação acadêmica/titulação


2006 - 2010
2003 - 2006
Mestrado em Matemática Aplicada.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Sistemas Dinâmicos e Criptossistemas

O Portal Brasileiro de Publicações e Dados Científicos em Acesso Aberto (Oasisbr) é uma iniciativa do Instituto Brasileiro de Informação em Ciência e Tecnologia (Ibict) que reúne a produção científica e os dados de pesquisa em acesso aberto, publicados em revistas científicas, repositórios digitais de publicações científicas, repositórios digitais de dados de pesquisa e bibliotecas digitais de teses e dissertações.

, Ano de Obtenção: 2006.
Orientador: Ricardo Martins da Silva Rosa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2001 - 2005
Graduação em Bacharelado em Informática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Sobre Busca em Largura e Diâmetro de Grafos.
Orientador: Celina M. H. Figueiredo.
1997 - 2000
Curso técnico/profissionalizante em Eletrônica.
Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, CEFET/RJ, Brasil.


Pós-doutorado


2010 - 2011
Pós-Doutorado.
Université Paris Diderot, PARIS 7, França.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.



Atuação Profissional



Instituto Nacional de Metrologia, Qualidade e Tecnologia, INMETRO, Brasil.
Vínculo institucional

2008 - 2022
Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador-tecnologista, Carga horária: 40

Atividades

08/2022 - Atual
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Segurança da Informação CMC-106
01/2014 - Atual
Conselhos, Comissões e Consultoria, Diretoria de Metrologia Científica e Industrial.

Cargo ou função
Membro da Comissão Deliberativa do PPGMQ.
03/2022 - 07/2022
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Segurança da Informação CMC-106
08/2017 - 06/2020
Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.

Cargo ou função
Membro do Conselho Acadêmico.
07/2017 - 06/2020
Direção e administração, Inmetro em Xerém.

Cargo ou função
Coordenador do Programa de Pós-Graduação em Metrologia e Qualidade.
08/2019 - 12/2019
Ensino, Programa de Pós-Graduação em Metrologia, Nível: Pós-Graduação

Disciplinas ministradas
Redes de Comunicação, Segurança Cibernética e Internet das Coisas
05/2018 - 12/2019
Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.

Cargo ou função
Membro da Comissão Gestora do Subprograma Pronametro-Ensino.
05/2017 - 10/2019
Direção e administração, Centro de Metrologia Cientifica e Industrial.

Cargo ou função
Chefe do Laboratório de Informática do Inmetro.
01/2019 - 06/2019
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Segurança da Informação: Proteção de Software
10/2018 - 02/2019
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Metrologia Elétrica e de TIC
05/2018 - 12/2018
Direção e administração, Inmetro em Xerém.

Cargo ou função
Presidente da Comissão Gestora do Pronametro-PNCH-TIC.
10/2017 - 01/2018
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Metrologia Elétrica e de TIC
01/2013 - 06/2013
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Topicos Especiais em Metrologia Cientifica I

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

2019 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 20

Atividades

08/2022 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Programação II
Segurança da Informação
Tópicos em Computação (Segurança de Redes)
03/2022 - 07/2022
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Programação II
Segurança da Informação
09/2021 - 01/2022
Ensino, Sistemas de Computação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
Programação II
04/2021 - 08/2021
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
Programação II
10/2020 - 02/2021
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
Programação II
08/2020 - 09/2020
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação (emergencial COVID)
08/2019 - 12/2019
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas de Computação: Segurança da Informação
07/2019 - 12/2019
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
Programação II
02/2019 - 07/2019
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
Programação II

Clavis Segurança da Informação, CLAVIS, Brasil.
Vínculo institucional

2022 - Atual
Vínculo: Consultor, Enquadramento Funcional: Diretor Acadêmico e de Pesquisa, Carga horária: 40

Vínculo institucional

2016 - 2019
Vínculo: Sócio, Enquadramento Funcional: Membro do Conselho de Administração, Carga horária: 20

Vínculo institucional

2016 - 2016
Vínculo: Sócio, Enquadramento Funcional: Líder Pesquisa, Desenvolvimento e Inovação, Carga horária: 20

Vínculo institucional

2012 - 2016
Vínculo: Celetista, Enquadramento Funcional: Instrutor, Carga horária: 12


Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, CEFET/RJ, Brasil.
Vínculo institucional

2016 - 2018
Vínculo: Colaborador, Enquadramento Funcional: Docente Permanente, Carga horária: 8
Outras informações
Docente Permanente do Programa de Pós-Graduação em Ciência da Computação.

Atividades

05/2016 - Atual
Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro da Comissão de Seleção.
05/2016 - Atual
Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro da Comissão de Avaliação Docente.
11/2018 - 02/2019
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Análise e Projeto de Algoritmos
02/2018 - 05/2018
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Especiais em Algoritmos - Criptografia e Segurança da Informação
02/2017 - 04/2017
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Análise e Projeto de Algoritmos

Centro de Gestão e Estudos Estratégicos, CGEE, Brasil.
Vínculo institucional

2016 - 2017
Vínculo: Consultor, Enquadramento Funcional: Especialista, Carga horária: 0
Outras informações
Participação no projeto ?Prospecção Tecnológica no Setor de Energia Elétrica?, Grupo Temático Distribuição de Energia Elétrica, Macrotemática Tecnologia da Informação e Comunicação, por meio da elaboração de notas técnicas sobre o assunto.


Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2011 - 2013
Vínculo: Professor vistante, Enquadramento Funcional: PROFESSOR TEMPORÁRIO, Carga horária: 20

Atividades

03/2012 - Atual
Ensino, Bacharelado em Informática, Nível: Graduação

Disciplinas ministradas
Segurança da Informação
03/2012 - Atual
Ensino, Engenharia Química, Nível: Graduação

Disciplinas ministradas
Cálculo I
03/2012 - Atual
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
08/2011 - 12/2011
Ensino, Bacharelado em Informática, Nível: Graduação

Disciplinas ministradas
Computação 1

Centro Universitário Carioca, UNICARIOCA, Brasil.
Vínculo institucional

2011 - 2011
Vínculo: Celetista formal, Enquadramento Funcional: PROFESSOR ADJUNTO, Carga horária: 9


Serviço Federal de Processamento de Dados, SERPRO, Brasil.
Vínculo institucional

2005 - 2008
Vínculo: Funcionário Público - CTL, Enquadramento Funcional: Analista, Carga horária: 40


Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ, CECIERJ, Brasil.
Vínculo institucional

2007 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Tutor Presencial, Carga horária: 10
Outras informações
Tutor dos cursos de Matemática (UFF) e Sistemas de Informação (UFF/UFRJ), responsável pelas disciplinas: Matemática Básica (revisão de conteúdo do ensino médio), Pré-cálculo (introdução ao Cálculo), Matemática para Computação (ementa de Cálculo 1), Álgebra Linear II, Matemática Discreta, Fundamentos de Algoritmos, e Estruturas de Dados. Atuou nos polos de Rio Bonito e São Gonçalo.


Centro Brasileiro de Pesquisas Físicas, CBPF, Brasil.
Vínculo institucional

1999 - 2000
Vínculo: Bolsista, Enquadramento Funcional: Bolsista-pesquisador (análogo a IC-Jr), Carga horária: 20
Outras informações
Atuação na área de instrumentação científica no Laboratório de Física Experimental de Altas Energias, com visita de 2 meses ao Fermilab (detector DZero).


Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações
Atuou no laboratório de sistemas multimídia, sendo o responsável (sisadmin) pelos servidores do vestibular da UERJ.


Surretê Tecnologia Ltda, SURRETÊ, Brasil.
Vínculo institucional

2020 - Atual
Vínculo: Sócio, Enquadramento Funcional: Coordenador de Pesquisa, Carga horária: 10



Projetos de pesquisa


2022 - Atual
AMPLIAÇÃO DO ACERVO DE EBOOKS POR COMPRA PERPÉTUA DA UNIVERSIDADE FEDERAL FLUMINENSE
Descrição: O projeto pretende viabilizar a aquisição de livros eletrônicos perpétuos para subsidiar as atividades de ensino e pesquisa, assim como atender a demanda informacional desses elementos aos usuários internos da área da saúde da Universidade Federal Fluminense, a UFF é constituída por 41 Unidades de Ensino, sendo 25 Institutos, 10 Faculdades, 6 Escolas e 1 Colégio de educação básica (Colégio Universitário Geraldo Reis). São ao todo 125 departamentos de ensino, 125 cursos de graduação presenciais e 7 cursos de graduação a distância oferecidos em 28 polos da Universidade Aberta do Brasil, no âmbito do Consórcio ? CEDERJ-RJ, além de 131 cursos de pós-graduação stricto sensu distribuídos em 87 programas. Completa esse quadro o seguinte conjunto de equipamentos: 30 bibliotecas, 349 laboratórios, 1 hospital com 276 leitos, 1 farmácia e 1 hospital veterinário. Dessa forma, o pleito a este edital visa ampliar, atualizar e enriquecer a coleção livros eletrônicos permanentes disponibilizados por meio do portal SABER (Proxy/UFF), que no âmbito interno atende a uma comunidade composta por aproximadamente por 66.965 alunos, em um universo de 1.120.804 estudantes de graduação nas 63 federais brasileiras, tendo uma fatia de 4,2% dos alunos. Em relação ao preenchimento das vagas oferecidas, a UFF tem a marca de 93%, acompanhando a média da rede pública federal, cujo índice é de 91%..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2021 - Atual
Sistema Inteligente para Gestão de Mobilidade de Veículos usando Blockchains com Técnicas de Crowdsourcing e Monetização
Descrição: A mobilidade nos grandes centros urbanos brasileiros, incluindo as regiões metropolitanas do Estado do Rio de Janeiro, constitui um desafio de grandes proporções. Sistemas de mobilidade são estudados há décadas, mas muitas das soluções praticadas atualmente possuem sérias limitações, usualmente atribuídas à dificuldade na coleta e análise de dados em tempo hábil. Este projeto propõe a concepção de um sistema de otimização da mobilidade urbana baseado na coleta massiva de dados sobre o comportamento individual de seus usuários (e.g, veículos, passageiros, pedestres), usando tecnologias de diagnóstico veicular e dispositivos pessoais inteligentes. O diferencial desta proposta é uma estratégia de crowdsourcing, onde usuários do sistema de mobilidade contribuem de forma voluntária, motivados por um mecanismo de incentivo baseado em blockchains, onde a informação é monetizada e convertida em cripto-créditos. Redes de comunicação de alta velocidade (e.g., 5G) permitem a criação de aplicações baseadas tanto na comunicação direta entre as entidades (i.e. v2x), como com a Internet ou outros sistemas em nuvem. Por fim, métodos de inteligência artificial aptos a gerenciar grandes volumes de informação (e.g., machine learning, deep learning) são empregados para propiciar o uso eficiente dessas informações, e a tomada de decisão visando objetivos de otimização da mobilidade urbana tais como a redução no tempo de trajetos ou de emissão de poluentes. A proposta se caracteriza por integrar tecnologias já existentes, tendo o potencial para constituir resultados de elevado grau de maturidade tecnológica. Ao unir crowdsourcing e monetização, têm-se uma solução que pode evoluir de forma participativa, criando novos modelos de negócio, sem o ônus dos custos de infraestrutura e coleta de dados. A equipe executora é multidisciplinar e composta por 11 pesquisadores (9 deles doutores) atuantes em quatro diferentes ICTs localizadas no Rio de Janeiro: Inmetro, UFF, UFRJ e SEPOL-RJ..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (3) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2019 - Atual
Suporte ao Desenvolvimento da Indústria 4.0
Descrição: Com as revoluções industriais mais recentes, numa série de estudos mostram uma crescente relação de dependência entre o desenvolvimento econômico das nações e seus níveis de desenvolvimento tecnológico. Nesse sentindo, se faz cada vez mais necessário o suporte ao desenvolvimento tecnológico no âmbito nacional e sua incorporação a indústria existente. Nessa linha que este projeto atua ao propor ferramentas para suporta ao desenvolvimento da Industria 4.0 no Brasil. Propondo o desenvolvimento de rede sensores (através da aplicação de novos materiais) inteligentes (através do uso de ferramentas de TI) e seguros com aplicação de teoria de controle e modelagem do seu comportamento para aplicação em robótica e automação de precisão para suporte à Indústria 4.0..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador / DO PRADO, CHARLES B. - Integrante / MELO, WILSON S. - Integrante / CARMO, LUIZ FERNANDO RUST DA C. - Integrante / RODRIGO P DAVID - Integrante.
2019 - Atual
Desenvolvimento de Esquemas de Ensaios de Proficiência para Laboratórios de Análise de Software
Descrição: Desenvolvimento de Esquemas de Ensaios de Proficiência para Laboratórios de Análise de Software.
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Prefeitura Municipal de Piraí - Outra.
2018 - Atual
Algoritmos, Modelos Combinatórios e Aplicações (FAPERJ/JCNE)
Descrição: Algoritmos são o conceito mais fundamental da Ciência da Computação. Seu estudo remete a teorias básicas como a Complexidade Computacional e a Computabilidade. Por outro lado, o projeto de algoritmos, acompanhado de todos os seus paradigmas - algoritmos sequenciais, paralelos, distribuídos, randomizados, aproximativos, quânticos, dentre outros - permite a aplicação do computador na resolução de problemas nos mais diversos campos do conhecimento. No presente projeto, buscamos investigar o conceito de algoritmo em todas as suas dimensões, investigando desde a adequação de modelos e paradigmas a diversos campos do conhecimento, até o desenvolvimento de algoritmos aplicados a cenários práticos. Como ferramenta essencial ao desenvolvimento de algoritmos, a modelagem combinatória será investigada de diversas formas no presente projeto. Por um lado, a investigação de problemas combinatórios permite alcançar um entendimento amplo e profundo a respeito das possibilidades e das limitações de algoritmos. Por outro lado, a matemática combinatória é essencial ao desenvolvimento de estruturas de dados que suportam a execução de algoritmos eficientes. O projeto será coordenado por Raphael Machado, bolsista PQ-2 do CNPq, com experiência na coordenação de projetos Faperj (INST, APQ1, TECNOVA), Finep (TI-Maior) e CNPq (Universal, RHAE), e atuante nas mais diversas áreas da computação teórica e aplicada, tais como complexidade computacional, criptografia e protocolos de segurança, segurança de aplicações, biologia computacional, geometria computacional, teoria dos grafos, dentre outras. O projeto tem apoio da Faperj, por meio da chamada JCNE (Jovem Cientista do Nosso Estado) 2017, no valor de R$75.600, Processo E-26/203.232/2017..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (4) / Mestrado profissional: (7) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2018 - Atual
Suporte aos projetos de pesquisa da pós-graduação em Metrologia e Qualidade (PPGMQ)
Descrição: O Programa de Pós-graduação em Metrologia e Qualidade(PPGMQ) foi criado em consonância com os objetivos de atuação do Inmetro e objetiva buscar soluções tecnológicas para desafios nacionais e internacionais por meio do desenvolvimento de projetos de pesquisa que abrangem as áreas de metrologia e qualidade, seus fundamentos e aplicações. Além disso, por se tratar de um programa com o enfoque profissional, o mestrado também possibilita o contato direto com desafios enfrentados pelas indústrias e empresas nacionais, pertencentes aos mais diversos setores. Por estar alocado dentro do campus de laboratórios de Inmetro, este programa conta com o acesso a uma excelente infraestrutura de apoio a suas atividades técnico-científicas, incluindo:(i)laboratórios; (ii)apoio computacional e (iii)bibliotecas e documentação, inclusive com acesso virtual a importantes bases de dados nacionais e internacionais. Desta forma, o programa está sempre buscando o desenvolvimento de projetos de pesquisa que possam contribuir para a inovação e desenvolvimento tecnológico da indústria, além de permitir a disseminação do conhecimento metrológico, assegurando maior confiabilidade nas medições e, consequentemente, provendo maior qualidade e competitividade dos produtos e serviços nacionais. Visto sua área de atuação, o PPGMQ comporta o desenvolvimento de projetos de pesquisas voltados para o desenvolvimento das mais diversas ferramentas metrológicas, incluindo o desenvolvimento de materiais de referência, que são ferramentais fundamentais para garantia da validade dos resultados de medições. Para o desenvolvimento dos projetos propostos neste programa, faz-se necessário a aquisição de recursos financeiros para a estrutura laboratorial necessária, incluindo a compra de insumos, uso de serviços de terceiros (pessoa física e jurídica) e disseminação do conhecimento científico produzido por meio da participação em eventos de divulgação científica..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2017 - 2019
Algoritmos, Combinatória e Aplicações (CNPq/Universal)
Descrição: Trata-se de projeto para apoiar as atividades de pesquisa de Raphael Carlos Santos Machado, pesquisador do Inmetro doutorado pelo PESC/COPPE/UFRJ em janeiro de 2010 e que vem atuando ativamente em temas fundamentais de pesquisa em Computac~ao, assim como em linhas de pesquisa aplicada, desenvolvimento tecnológico, inovação e suas aplicações na Indústria e na Sociedade. O projeto tem por objetivo central a consolidação da Computação como uma ciência báasica, mas que possui aplicação nas mais diversas areas, impactando de maneira ampla todos os setores da Indústria e da Sociedade. O projeto é apoiado pelo CNPq, chamada Universal 2016, recebendo total de R$ 26.961,30. (Outorga Processo: 421007/2016-8 Chamada: Universal 01/2016 - Faixa A - até R$ 30.000,00.).
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
2017 - Atual
Computação Orientada a Dados: Novos Modelos para a Eficiência Computacional e suas Aplicações a Problemas Práticos
Descrição: O presente projeto visa dar suporte às pesquisas desenvolvidas por seis jovens pesquisadores de elevada produtividade atuando nas áreas de Análise e Projeto de Algoritmos, Otimização Combinatória, Bancos de Dados e Engenharia de Software. O objetivo do projeto é, por meio do apoio a estes jovens pesquisadores e do incentivo à colaboração e pesquisas conjuntas, viabilizar o desenvolvimento de abordagens para a solução dos novos problemas computacionais, os quais caracterizam-se pela necessidade de processamento inteligente e eficiente de grandes volumes de dados e que, portanto, demandam a aplicação de novas ferramentas oriundas de disciplinas tais como estatística, probabilidade, métodos numéricos e aprendizado de máquina em complemento às ferramentas clássicas da Computação. A equipe do projeto é adequada para assumir o desafio proposto. A equipe principal é composta por seis pesquisadores de elevada produtividade - todos eles bolsistas CNPq/PQ-2, sendo quatro Jovens Cientistas do Nosso Estado pela FAPERJ - e que terão apoio de outros cinco pesquisadores sêniores também de elevada produtividade e reconhecimento científico - são quatro bolsistas CNPq/PQ-1A e uma bolsista CNPq/PQ-1D. Os pesquisadores do presente projeto de pesquisa possuem vínculos com instituições de perfis diversos, incluindo um centro de pesquisas federal (Inmetro), uma escola técnica federal (CEFET/RJ), uma universidade estadual (UERJ), um instituto universitário de computação em consolidação (IC/UFF) e um instituto universitário tradicional na área de computação (COPPE/UFRJ). Os recursos do presente projeto serão aplicados na implantação de laboratórios onde atuarão os pesquisadores principais do presente projeto. Precisamente, está previsto o apoio ao Laboratório de Computação Aplicada no CEFET/RJ, ao Laboratório de Gerenciamento de Versão e Configuração de Software na UFF, ao Laboratório de Computação, Metrologia e Qualidade no Inmetro, além da aquisição de equipamentos (computadores) e custeio de viagens (participação em eventos) para os pesquisadores principais. A presença de uma equipe de pesquisa multidisciplinar como a presente equipe viabiliza a execução de um espectro de linhas de pesquisa que vão desde as mais teóricas - tais como Projeto de Algoritmos e Análise de Complexidade Computacionais - passando pelo desenvolvimento de ferramentas genéricas - com base em otimização combinatória e métodos estatísticos - até a pesquisa aplicada a problemas computacionais concretos - e aí, podemos citar o gerenciamento de repositórios de software, a análise de dados em smart cities, a segurança orientada a dados, dentre outras. Como resultados do presente projeto, estão previstos, não apenas, avanços científicos nas disciplinas relacionadas ao projeto, mas também a formação de recursos humanos, a evolução nos conteúdos curriculares dos cursos de Computação, e o desenvolvimento de aplicativos de software para solucionar problemas práticos, além, é claro, a implantação de laboratórios no CEFET/RJ, na UFF e no Inmetro..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2017 - Atual
Desenvolvimento de um Serviço de Geração de Números Aleatórios para Aplicações em Criptografia e Segurança (FAPESP/MCTI/MC/CGI)
Descrição: O projeto tem por objetivo central o desenvolvimento de um serviço oficial de geração de números aleatórios para aplicações em criptografia e protocolos de segurança. O serviço estará calcado nos princípios gerais da metrologia, fazendo uso das ferramentas de rastreabilidade e comparações interlaboratoriais para garantir a ``qualidade'' da fonte de entropia do sistema. Adicionalmente, serão investigados os aspectos científicos associados à geração de números aleatórios, incluindo eventos físicos a serem utilizados como fonte de entropia, algoritmos de geração de números pseudo-aleatórios, e protocolos baseados em ``beacons''. O projeto é apoiado pela FAPESP, chamada FAPESP/MCTI/MC/CGI 2015, no valor de R$180mil, processo 2015/24480-7..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador / Rust - Integrante / Jayme Szwarcfiter - Integrante / Luiz Vicente Gomes Tarelho - Integrante / LEONARDO COSTA RIBEIRO - Integrante / Jeroen van der Graaf - Integrante / Routo Torada - Integrante / Mario Benevides - Integrante / Wladmir Chapetta - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2015 - 2017
Algoritmos, Combinatória e Aplicações (FAPERJ/JCNE)
Descrição: Algoritmos são o conceito mais fundamental da Ciência da Computação. Seu estudo remete a teorias básicas como a Complexidade Computacional e a Computabilidade. Por outro lado, o projeto de algoritmos, acompanhado de todos os seus paradigmas - algoritmos sequenciais, paralelos, distribuídos, randomizados, aproximativos, quânticos, dentre outros - permite a aplicação do computador na resolução de problemas nos mais diversos campos do conhecimento. No presente projeto, buscamos investigar o conceito de algoritmo em todas as suas dimensões, investigando desde a adequação de modelos e paradigmas a diversos campos do conhecimento, até o desenvolvimento de algoritmos aplicados a cenários práticos. Como ferramenta essencial ao desenvolvimento de algoritmos, a matemática combinatória será investigada de diversas formas no presente projeto. Por um lado, a investigação de problemas combinatórios permite alcançar um entendimento amplo e profundo a respeito das possibilidades e das limitações de algoritmos. Por outro lado, a matemática combinatória é essencial ao desenvolvimento de estruturas de dados que suportam a execução de algoritmos eficientes. O projeto foi apoiado pela Faperj, chamada JCNE (Jovem Cientista do Nosso Estado) 2014, no valor de R$75.600,00..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2014 - 2016
Matemática discreta: problemas de partição em grafos (Capes/MathAmSud)

Projeto certificado pelo(a) coordenador(a) Simone Dantas de Souza em 30/05/2018.
Descrição: Este projeto trata da investigação de dois tipos de problemas em gráficos: problemas de particionamento e problemas de reconhecimento. Em relação aos problemas de particionamento, vamos nos concentrar nos problemas clássicos de partição e em vários tipos de coloração em gráficos, que por sua vez podem ser vistos como problemas particulares de partição (veja a discussão na Seção B1). As questões que gostaríamos de responder com relação a esses problemas são principalmente questões complexas, ou seja, gostaríamos de determinar a complexidade desses problemas em várias classes especiais de gráficos. Além disso, investigaremos a estrutura de várias classes de gráficos que podem ser definidas usando algumas partições particulares do conjunto de vértices. Em relação aos problemas de reconhecimento, vamos nos concentrar em uma generalização do problema de reconhecimento padrão conhecido como o problema do sanduíche. Mais uma vez, vamos investigar questões de complexidade e tentar obter uma classificação sobre o problema do sanduíche em gráficos perfeitos. Financiador(es): Centre National de la Recherche Scientifique - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio de Ciencia, Tecnología e Innovación Productiva - Auxílio financeiro..
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / simone dantas - Coordenador / Marina Groshaus - Integrante / André Guedes - Integrante / Bernard Ries - Integrante / diana sasaki - Integrante / Hélio Bomfim de Macêdo Filho - Integrante / Frédéric Maffray - Integrante / Francisco Juan Soulignac - Integrante / Juan Pablo Puppo - Integrante / Laetitia Lemoine - Integrante / Deiwison Souza Machado - Integrante.
2013 - 2016
SADI - Simulador de Ataques Distribuídos de Indisponibilidade (CNPq/RHAE)
Descrição: O objetivo do presente projeto é desenvolver uma ferramenta de simulação de Ataques Distribuídos de Negação de Serviço ? denotamos a ferramenta pelo codinome SADI (Simulador de Ataques Distribuídos de Indisponibilidade). Ataques distribuídos de negação de serviços são baseados na atuação coordenada de um grande número de agentes maliciosos, os quais buscam sobrecarregar o sistema-alvo e os seus sistemas de detecção e resposta a ataques. O SADI dará origem a um Serviço de Simulação que será oferecido segundo dois modelos básicos. No modelo ?simulação remota?, o uso de virtualização permitirá a rápida instanciação de máquinas remotas de ataque distribuídas geograficamente, e, com isso, reproduzir os mais diversos perfis de ataque com um elevado grau de similaridade. O modelo ?simulação local? será executado através do posicionamento de equipamentos de simulação nas ?bordas? das redes e sistemas sob simulação. Tais equipamentos buscarão reproduzir localmente o efeito de um ataque distribuído. O projeto apresentou resultados excepcionais, dando origem a um enorme conhecimento teórico, mas também, a uma ferramenta prestigiada no mercado de segurança da informação - sendo a base para um serviço de teste de sobrecarga - e reconhecida pelo governo (Ministério da Defesa) como um "Produto Estratégico de Defesa". O projeto contou com o apoio do CNPq, chamada RHAE, no valor total de R$ 123.200,00 em bolsas. (Processo 45408220134.).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2015
Estrutura dos Grafos e Aplicações (CNPq/Universal)
Descrição: O projeto tem por objetivo principal o desenvolvimento de pesquisa científica básica e aplicada através das seguintes atividades: {identificação de problemas combinatórios}, particularmente em grafos, formulados a partir de problemas práticos aplicados; {aplicação de ferramentas combinatórias}, particularmente grafos, a problemas práticos aplicados. Para facilitar o entendimento da proposta do projeto, propomos a seguinte classificação das linhas de pesquisa do projeto, as quais serão apropriadamente descritas ao longo do documento: pesquisa básica em {Teoria dos Grafos}; {Geometria Computacional} aplicada; {Biologia Computacional} e algoritmos para genômica comparativa; ferramentas combinatórias aplicadas à {Segurança da Informação}; atribuição de canais em redes de {Rádios Cognitivos}. O projeto tem como metas: obtenção de resultados relevantes nas áreas de pesquisa associadas à Teoria dos Grafos, com ênfase na relação entre estas áreas teóricas e aplicações a problemas reais; o desenvolvimento de recursos humanos de alto nível, através da participação de alunos de universidades e centros de pesquisa --- tanto de alunos de programas de pós-graduação quanto de alunos de graduação; a divulgação dos temas de pesquisa associados ao projeto, através da organização de encontros e eventos científicos que promovam a pesquisa em Teoria dos Grafos e suas aplicações. Recebeu apoio do CNPq, chamada Universal 14/2012, no valor de R$ 29.520,32. (Outorga Processo 485389/2012-6.).
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador / Celina Miraglia Herrera de Figueiredo - Integrante / Rust - Integrante / Vinicius Gusmão - Integrante / simone dantas - Integrante / BOCCARDO, DAVIDSON - Integrante / BRAGA, MARILIA - Integrante / rosiane freitas - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2013
Estrutura dos Grafos e Aplicações (FAPERJ/APQ1)
Descrição: Trata-se de projeto para apoiar as atividades de pesquisa de Raphael Carlos Santos Machado, pesquisador do Inmetro doutorado pelo PESC/COPPE/UFRJ em janeiro de 2010 e que vem atuando ativamente em temas de teoria da computação e em linhas de pesquisa aplicada. O projeto tem por objetivo principal o desenvolvimento de pesquisa científica básica e aplicada através das seguintes atividades: - identificação de problemas combinatórios, particularmente em grafos, formulados a partir de problemas práticos aplicados; - aplicação de ferramentas combinatórias, particularmente grafos, a problemas práticos aplicados. Para facilitar o entendimento da proposta do projeto, propomos a seguinte classificação das linhas de pesquisa do projeto: - pesquisa básica em Teoria dos Grafos; - Geometria Computacional aplicada; - Biologia Computacional e algoritmos para genômica comparativa; - ferramentas combinatórias aplicadas à Segurança da Informação; - atribuição de canais em redes de Rádios Cognitivos; O projeto tem como metas: - obtenção de resultados relevantes nas áreas de pesquisa associadas à Teoria dos Grafos, com ênfase na relação entre estas áreas teóricas e aplicações a problemas reais; - o desenvolvimento de recursos humanos de alto nível, através da participação de alunos de universidades e centros de pesquisa --- tanto de alunos de programas de pós-graduação quanto de alunos de graduação; - a divulgação dos temas de pesquisa associados ao projeto, através da organização de encontros e eventos científicos que promovam a pesquisa em Teoria dos Grafos e suas aplicações. O projeto recebeu apoio da FAPERJ, chamada APQ1, num valor total de R$ 28.520,32. (Processo 261118512012.).
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2011 - 2016
Problemas combinatórios em rearranjos de genomas (CNPq/PROMETRO)
Descrição: O foco principal do projeto são análises combinatórias de problemas oriundos de mutações de larga escala ou rearranjos de genomas. Um dos problemas mais estudados nesta área é o de comparar dois genomas para determinar o número mínimo de mutações ou rearranjos necessários para transformar um genoma no outro. Este problema é denominado distância de rearranjos. Devido à complexidade do problema, sua análise combinatória é feita através de diversos modelos diferentes, com diferentes graus de restrição. O projeto foi apoiado com recursos CNPq/Inmetro, por meio da chamada Prometro, da ordem de R$420mil..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .

Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / Braga, Marília D V - Coordenador / simone dantas - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2015
Matemática Discreta e aplicações (FAPERJ/PRONEM)

Projeto certificado pelo(a) coordenador(a) Simone Dantas de Souza em 30/05/2018.
Descrição: Apoio a Grupos Emergentes de Pesquisa do Rio de Janeiro. O presente projeto tem como foco principal a formação de recursos humanos e a produção de trabalhos relacionados ao estudo de problemas na área de Teoria de Grafos, tanto no seu aspecto teórico quanto do ponto de vista das aplicações em temas de inovação tais como a bioinformática, telefonia celular e neurociência..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (2) .

Integrantes: Raphael Carlos Santos Machado - Integrante / simone dantas - Coordenador.
2011 - 2013
Plataforma teórica e experimental de Sistemas Rádio Cognitivos (Finep/FUNTTEL)
Descrição: Objetivos do projeto: ? Investigação das redes oportunísticas, que permitem o compartilhamento de banda de frequência entre diversos usuários, envolvendo emprego de novos esquemas de acesso rádio, baseados em técnicas cognitivas ou de percepção do ambiente radioelétrico. ? Desenvolver esquemas de Alocação e Acesso Dinâmico do Espectro. ? Desenvolver esquemas e algoritmos de segurança para as comunicações em rádios cognitivos. ? Desenvolver plataforma de testes usando rádios cognitivos e ferramenta de gerência de espectro. ? Propor novos esquemas de gerenciamento dinâmico do espectro aos órgãos regulatórios. ? Contribuir para padronização da tecnologia, acompanhando os esforços em âmbito mundial. ? Promover o conceito de "Rádio Cognitivo" como meio preferencial para viabilizar otimização do uso do espectro O projeto recebeu apoio da Finep, por meio da chamada FUNTTEL 02/2009, no valor de aproximadamente R$4,6mi..
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Integrante / Rodolfo Saboia de Souza - Coordenador.
Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2011 - 2012
Segurança Cibernética em Smart Grids (P&D ANEEL)
Descrição: Smart Grids consistem na evolução das atuais redes de distribuição de energia elétrica através da incorporação de recursos de processamento e transmissão de dados. Um dos pontos mais críticos associados a essa evolução são os inúmeros complexos problemas de segurança da informação a ela associados. O candidato tem atuado fortemente no sentido de permitir uma evolução da rede mantendo requisitos de segurança da informação. Em particular, o candidato tem obtido resultados relevantes em problemas de ``verificação de integridade de software'' e ``proteção de software''. O projeto em questão teve como objetivos: Aprimorar o processo de validação dos softwares embarcados nos sistemas de medição de energia elétrica. Busca-se estudar vulnerabilidades, ferramentas de testes e metodologias de avaliação de medidores inteligentes. Investigar e compreender o processo de mapeamento do código fonte em um código objeto a ser executado no medidor. Resultados esperados: relatório sobre as principais técnicas para verificação da relação fonte/objeto e resultados avaliativos. Verificação de integridade dos softwares embarcados nos medidores. Desenvolver técnicas para avaliação e detecção de alteração nos códigos em uso nos medidores. Criação/Avaliação de cadeias de confiança para Smart Grids. Busca-se desenvolver metodologia de segurança baseada em assinaturas digitais capaz de evitar a manipulação e alteração de dados de um medidor sem rastros. Projeto de um ``chip'' para controle metrológico Busca-se elaborar especificação funcional e análise de viabilidade da implementação de controlador metrológico (chip dedicado) para a nova geração de medidores inteligentes. Investigação das técnicas de proteção de software para a infra-estrutura avançada de medição. Identificar as técnicas mais apropriadas para evitar que o código embutido no medidor seja revelado/alterado. O projeto foi apoiado pela Eletrobrás Rondônica (CERON) por meio de recursos P&D ANEEL, da ordem de R$800mil..
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Integrante / Rust - Coordenador / BOCCARDO, DAVIDSON - Integrante / PRADO, CHARLES - Integrante.
Financiador(es): Eletrobras Distribuição Rondônia - Auxílio financeiro.
2011 - Atual
Genômica Computacional (Inmetro)
Descrição: O presente projeto de pesquisa busca a aplicação de computadores e informática para a compreensão e modelagem das estruturas e processos da vida. Isso implica o uso de métodos computacionais (por exemplo, algoritmos) para a representação e simulação de sistemas biológicos, bem como para a interpretação de dados experimentais, muitas vezes em grande escala. Especificamente, buscamos o uso de computadores para investigar problemas de genômica, conforme explicamos a seguir. Genomas estão sujeitos a constantes mutações no curso da evolução. Estas mutações podem ser de pequena escala, como os poliformismos de base única (SNPs ou single nucleotide polymorphisms), ou de larga escala, isto é, afetam fragmentos contendo um ou mais genes. As mutações de larga escala podem ser inversões, inserções ou deleções de fragmentos, block-interchanges (quando dois fragmentos em um mesmo cromossomo trocam de posição), transposições (caso particular de block-interchanges, quando os dois fragmentos são vizinhos), fusões e fissões de cromossomos, e translocações, quando dois cromossomos trocam extremidades. Inversões, por exemplo, são frequentemente observadas, especialmente na evolução de procariotos, como bactérias. Em eucariotos, inversões são também muito relevantes - atualmente se atribui a elas um papel fundamental nas teorias que explicam o surgimento e a evolução dos cromossomos sexuais em mamíferos e em outros organismos. Os demais eventos de rearranjos também são observados na prática. Como um exemplo, citamos o cromossomo 2 do ser humano, que corresponde à fusão de dois cromossomos do chimpanzé. O foco principal do estudo são os problemas computacionais - algorítmicos e combinatórios - oriundos de mutações de larga escala ou rearranjos de genomas. Um dos problemas mais estudados nesta área é o de comparar dois genomas para determinar o número mínimo de mutações ou rearranjos necessários para transformar um genoma no outro..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador / Rust - Integrante / BRAULIO SOARES ARCHANJO - Integrante / FABIANO BARBIERI GONZAGA - Integrante / GISELLE NOGUEIRA FONTES - Integrante / LEONARDO COSTA RIBEIRO - Integrante / RENATA CARVALHO SILVA - Integrante.
2010 - 2011
Estrutura de Grafos: Teoria e Aplicações (FAPERJ/INST)
Descrição: Trata-se de projeto coordenado por Raphael Machado, visando apoiar pesquisas em teoria em aplicação de grafos no Inmetro, instituição à qual está vinculado o pesquisador proponente. O projeto está caracterizado como pesquisa científica e será executado em parceria com a Universidade Federal do Rio de Janeiro, onde estudam dois colaboradores da equipe (alunos de mestrado). O projeto favorece a condução de pesquisas em grafos em uma equipe composta por quatro pesquisadores/colaboradores, do qual faz parte o proponente do projeto (Raphael Machado). Também compões o grupo de pesquisas em grafos do Inmetro mais três colaboradores do presente projeto: um jovem pesquisador em pós-doutoramento no Inmetro e dois alunos de mestrado em informática na UFRJ desenvolvendo suas dissertações em aplicações de grafos relacionadas aos campos de atuação do Inmetro. O projeto conta, ainda, com uma grande rede de colaboradores vinculados a outras instituições brasileiras e no exterior. O tema central do projeto, estrutura de grafos, abordado através de dois problemas básicos --- estrutura dos grafos unichord-free e dos grafos ISK4-free --- e dois problemas aplicados --- rastreabilidade de software via análise de grafos de fluxos de dados e alocação de canais em rádios cognitivos através da solução de problemas de coloração de grafos. Os quatro problemas são desafiadores e bem estudados na literatura, sendo citados em periódicos de primeira linha. O projeto foi apoiado pela FAPERJ, por meio do Auxílio Instalação, tendo recebido 9.980,67 em recursos financeiros..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .

Integrantes: Raphael Carlos Santos Machado - Coordenador / D. R. Boccardo - Integrante / T. M. Nascimento - Integrante.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2010 - Atual
Núcleo de excelência - Algoritmos Randomizados, Quânticos, e Aproximativos: Projeto, Análise e Implementação de Soluções Eficientes para problemas Combinatórios Fundamentais (CNPq/Faperj/PRONEX)

Projeto certificado pelo(a) coordenador(a) Celina Miraglia Herrera de Figueiredo em 30/05/2018.
Descrição: Projeto tem seu principal foco em Projeto, Análise e Implementação de Algoritmos. As pesquisas propostas envolvem investigações rigorosas de problemas fundamentais e correspondentes soluções algorítmicas. Congrega 30 pesquisadores experientes e iniciantes, bem como seus alunos, de 10 instituições de renome do Estado do Rio de Janeiro: UFRJ, UFF, PUC-Rio, UFRRJ, LNCC, INMETRO, UERJ, UFF-PURO, CEFET e FAETEC..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Coordenador / Vinicius Gusmão - Integrante / simone dantas - Integrante / Jayme Szwarcfiter - Integrante / fabio protti - Integrante / sulamita klein - Integrante / luis kowada - Integrante / Franklin de Lima Marquezino - Integrante / Luerbio Faria - Integrante / marcia cerioli - Integrante / claudson bornstein - Integrante / Luiz Satoru Ochi - Integrante / Carlos Alberto de Jesus Martinhon - Integrante / Renato Portugal - Integrante / Marcus Vinicius Soledade Poggi de Aragao - Integrante / Ruy Luiz Milidiu - Integrante / Eduardo Uchoa Barboza - Integrante / rafael teixeira bernardo - Integrante.
2010 - Atual
Complexidade de problemas combinatórios: a dicotomia polinomial e NP-completo (CNPq/Universal)

Projeto certificado pelo(a) coordenador(a) Celina Miraglia Herrera de Figueiredo em 30/05/2018.
Descrição: Projeto para apoiar um grupo de 15 jovens pesquisadores. O projeto está caracterizado como pesquisa científica, em tema de interesse do fundo setorial de Biotecnologia, dado o objetivo principal de apoiar a boa formação de recursos humanos para a pesquisa no país na área de Teoria da Computação, com ênfase na complexidade computacional de problemas combinatórios formulados a partir de problemas em bioinformática..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Coordenador / Vinicius Gusmão - Integrante / Guilherme - Integrante / luis kowada - Integrante / diana sasaki - Integrante / BRAGA, MARILIA - Integrante / Hélio Bomfim de Macêdo Filho - Integrante / rafael teixeira bernardo - Integrante / Vania Maria Felix Dias - Integrante / Claudia Villela Maciel - Integrante / Murilo Vicente Gonçalves da Silva - Integrante / Emilio Ashton Vital Brazil - Integrante / André da Cunha Ribeiro - Integrante / rodrigo hausen - Integrante / leticia bueno - Integrante.


Projetos de desenvolvimento


2019 - Atual
Transformação Digital no Setor Marítimo

Projeto certificado pela empresa Clavis Segurança da Informação em 29/07/2020.
Descrição: O presente projeto tem por objetivo o desenvolvimento de ferramentas e métodos para aumentar a eficiência da Indústria Naval, especificamente, no setor de Logística Portuária e Marítima, por meio de ações de Transformação Digital. A abordagem proposta segue uma estratégia de duas etapas. Na primeira etapa, ações de digitização permitirão a plena visibilidade de uma série de processos industriais, coletando dados nos portos e embarcações e centralizando-os em plataformas de computação em nuvem. Em uma segunda etapa, a análise crítica de tais dados - incluindo desde análises "manuais", passando por algoritmos de otimização combinatória, até métodos de inteligência artificial, permitirão incremento de eficiência em tais processos. O impacto de tais "incrementos" de eficiência é enorme, considerando-se a magnitude do PIB dos setores da economia do mar brasileira, e a influência das atividades marítimas em diversos aspectos relevantes para o país, tais como: econômico, turístico, logístico, energético, alimentar, ambiental, segurança e defesa..
Situação: Em andamento; Natureza: Desenvolvimento.

Integrantes: Raphael Carlos Santos Machado - Coordenador / BOCCARDO, DAVIDSON - Integrante / SALGADO, BRUNO - Integrante / SOARES, RAFAEL - Integrante / Alan de Sá - Integrante.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.
2014 - 2015
Avaliação de Segurança de Aplicações de Software

Projeto certificado pela empresa Clavis Segurança da Informação em 29/07/2020.
Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software.
Situação: Concluído; Natureza: Desenvolvimento.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.
2014 - Atual
Cuirass: uma ferramenta para análise e proteção de software
Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código..
Situação: Em andamento; Natureza: Desenvolvimento.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): FAPERJ - Auxílio financeiro.
2014 - Atual
Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço
Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.


Revisor de periódico


2010 - Atual
Periódico: Discrete Applied Mathematics
2010 - Atual
Periódico: Discrete Mathematics
2011 - Atual
Periódico: Utilitas Mathematica
2011 - Atual
Periódico: Discussiones Mathematicae Graph Theory
2016 - Atual
Periódico: Journal of Communication and Information Systems
2016 - Atual
Periódico: International Journal of Distributed Sensor Networks
2016 - Atual
Periódico: Information Processing Letters (Print)
2018 - Atual
Periódico: ISA TRANSACTIONS
2018 - Atual
Periódico: Ad Hoc Networks
2017 - Atual
Periódico: International Transactions in Operational Research


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2015
Produto Estratégico de Defesa, Ministério da Defesa (em reconhecimento ao Simulador de Ataques Distribuídos de Indisponibilidade,.
2014
Jovem Cientista do Nosso Estado, FAPERJ.
2013
Solução mais inovadora para o setor bancário, FEBRABAN (em reconhecimento ao Simulador de Ataques Distribuídos de Indisponibilidade, desenvolvido.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
MONI, MAHBUBA2021MONI, MAHBUBA ; MELO, WILSON ; PETERS, DANIEL ; Machado, Raphael . When Measurements Meet Blockchain: On Behalf of an Inter-NMI Network. SENSORS, v. 21, p. 1564, 2021.

2.
LEITE JUNIOR, W. C.2021LEITE JUNIOR, W. C. ; MORAES, C. C. ; ALBUQUERQUE, C. E. P. ; Machado, R.C.S. ; DE OLIVEIRA SA, ALAN . A Triggering Mechanism for Cyber-Attacks in Naval Sensors and Systems. SENSORS, v. 21, p. 1-22, 2021.

3.
CHAPETTA, WLADMIR ARAUJO2021CHAPETTA, WLADMIR ARAUJO ; NEVES, JAILTON SANTOS DAS ; MACHADO, RAPHAEL CARLOS SANTOS . Quantitative Metrics for Performance Monitoring of Software Code Analysis Accredited Testing Laboratories. SENSORS, v. 21, p. 3660, 2021.

4.
PASETTI, MARCO2021PASETTI, MARCO ; FERRARI, PAOLO ; BELLAGENTE, PAOLO ; SISINNI, EMILIANO ; DE SA, ALAN OLIVEIRA ; PRADO, CHARLES B. DO ; DAVID, RODRIGO P. ; MACHADO, RAPHAEL CARLOS SANTOS . Artificial Neural Network-Based Stealth Attack on Battery Energy Storage Systems. IEEE Transactions on Smart Grid, v. 12, p. 5310-5321, 2021.

5.
ZORZI, A.2021ZORZI, A. ; FIGUEIREDO, C.M.H. ; Machado, R.C.S. ; ZATESKO, L.M. ; SOUZA, U.S. . Compositions, decompositions, and conformability for total coloring on power of cycle graphs. DISCRETE APPLIED MATHEMATICS, v. 1, p. 1, 2021.

6.
FLORENTINO, ARIANE C. B.2021FLORENTINO, ARIANE C. B. ; BARBALHO, SANDERSON CESAR MACADO ; MACHADO, RAPHAEL CARLOS SANTOS . Proposal and Validation of a Standard Protection Profile for Homologation of Commercial Videoconferencing Equipment. IEEE Access, v. 9, p. 24288-24304, 2021.

7.
OLIVEIRA DE SÁ, ALAN2020OLIVEIRA DE SÁ, ALAN ; CASIMIRO, ANTÓNIO ; Machado, Raphael C. S. ; DA C. CARMO, LUIZ F. R. . Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. SENSORS, v. 20, p. 792, 2020.

8.
BASTOS, DANIEL CHICAYBAN2020BASTOS, DANIEL CHICAYBAN ; KOWADA, LUIS ANTONIO BRASIL ; Machado, Raphael C. S. . On pseudorandom number generators. ACTA IMEKO, v. 9, p. 128, 2020.

9.
FERRARI, PAOLO2020FERRARI, PAOLO ; SISINNI, EMILIANO ; BELLAGENTE, PAOLO ; RINALDI, STEFANO ; PASETTI, MARCO ; DE SA, ALAN OLIVEIRA ; Machado, Raphael C. S. ; CARMO, LUIZ F. R. DA C. ; CASIMIRO, ANTONIO . Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, v. 68, p. 1-1, 2020.

10.
BENTO, LUCILA M.S.2019BENTO, LUCILA M.S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C.S. ; MIYAZAWA, FLÁVIO K. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME L. . Dijkstra graphs. DISCRETE APPLIED MATHEMATICS, v. 261, p. 52-62, 2019.

11.
SA, A.2019SA, A. ; Machado, R.C.S. ; ALMEIDA, N. N. . O Encontro da Guerra Cibernética com as Guerras Eletrônica e Cinética no Âmbito do Poder Marítimo. REVISTA DA ESCOLA DE GUERRA NAVAL (ED. PORTUGUÊS), v. 25, p. 89-128, 2019.

12.
BENTO, LUCILA M. S.2019BENTO, LUCILA M. S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C. S. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME L. . Full Characterization of a Class of Graphs Tailored for Software Watermarking. ALGORITHMICA, v. 81, p. 2899-2916, 2019.

13.
MELO JUNIOR, W.2018MELO JUNIOR, W. ; Machado, R.C.S. ; L. F. R. da C. Carmo . Using Physical Context-Based Authentication against External Attacks: Models and Protocols. Security and Communication Networks, v. 2018, p. 1-14, 2018.

14.
DE SÁ, ALAN O.2018DE SÁ, ALAN O. ; DA COSTA CARMO, LUIZ F. R. ; Machado, Raphael C. S. . A controller design for mitigation of passive system identification attacks in networked control systems. JOURNAL OF INTERNET SERVICES AND APPLICATIONS, v. 9, p. 1-19, 2018.

15.
DE MACEDO FILHO, H.B.2018DE MACEDO FILHO, H.B. ; de Figueiredo, C.M.H. ; LI, Z. ; Machado, R.C.S. . Using SPQR-trees to speed up recognition algorithms based on 2-cutsets. DISCRETE APPLIED MATHEMATICS, v. 245, p. 101-108, 2018.

16.
BENTO, LUCILA M.S.2018BENTO, LUCILA M.S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C.S. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME LUIZ . On the resilience of canonical reducible permutation graphs. DISCRETE APPLIED MATHEMATICS, v. 234, p. 32-46, 2018.

17.
ZHOU, RODRIGO M.2018ZHOU, RODRIGO M. ; de Figueiredo, Celina M.H. ; Machado, Raphael C.S. ; DE SÁ, VINÍCIUS G. PEREIRA . On the embedding of cone graphs in the line with distinct distances between neighbors. DISCRETE APPLIED MATHEMATICS, v. 256, p. 157-162, 2018.

18.
FILHO, H. B. MACÊDO2017FILHO, H. B. MACÊDO ; MACHADO, R. C. S. ; DE FIGUEIREDO, C. M. H. . Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. ALGORITHMICA, v. 77, p. 786-814, 2017.

19.
SA, A.2017SA, A. ; L. F. R. da C. Carmo ; Machado, R.C.S. . Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems. MOBILE NETWORKS & APPLICATIONS, p. 1-14, 2017.

20.
Dantas, Simone2017Dantas, Simone ; GROSHAUS, MARINA ; GUEDES, ANDRÉ ; Machado, Raphael C. S. ; RIES, BERNARD ; SASAKI, DIANA . On star and biclique edge-colorings. International Transactions in Operational Research, v. 24, p. 339-346, 2017.

21.
DA SILVA, POLY H.2017DA SILVA, POLY H. ; Machado, Raphael ; Dantas, Simone ; BRAGA, MARILIA D.V. . Genomic Distance with High Indel Costs. IEEE-ACM Transactions on Computational Biology and Bioinformatics, v. 14, p. 728-732, 2017.

22.
DE SA, ALAN OLIVEIRA2017DE SA, ALAN OLIVEIRA ; CARMO, LUIZ F. RUST DA COSTA ; Machado, Raphael C. S. . Covert Attacks in Cyber-Physical Control Systems. IEEE Transactions on Industrial Informatics, v. 13, p. 1641-1651, 2017.

23.
MACÊDO FILHO, HÉLIO B.2016MACÊDO FILHO, HÉLIO B. ; Machado, Raphael C.S. ; de Figueiredo, Celina M.H. . Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. Theoretical Computer Science, v. 618, p. 122-134, 2016.

24.
Machado, R.C.S.2016Machado, R.C.S.; BOCCARDO, DAVIDSON ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Software control and intellectual property protection in cyber-physical systems. EURASIP Journal on Information Security, v. 2016, p. 8, 2016.

25.
Machado, Raphael C.S.2016Machado, Raphael C.S.; de Figueiredo, Celina M.H. . Linear-time graph distance and diameter approximation. International Transactions in Operational Research, v. 23, p. 843-851, 2016.

26.
MACÊDO FILHO, H.B.2015 MACÊDO FILHO, H.B. ; DANTAS, S. ; Machado, R.C.S. ; FIGUEIREDO, C.M.H. . Biclique-colouring verification complexity and biclique-colouring power graphs. Discrete Applied Mathematics, v. 192, p. 65-76, 2015.

27.
SILVA, V P2015SILVA, V P ; SILVA, D S ; BOCCARDO, D R ; MACHADO, R C S ; CARMO, L F R C . Reliable data acquisition for inspection systems. Journal of Physics. Conference Series (Online), v. 575, p. 012045, 2015.

28.
DA FONSECA, GUILHERME DIAS2015DA FONSECA, GUILHERME DIAS ; PEREIRA DE SÁ, VINÍCIUS GUSMÃO ; MACHADO, RAPHAEL CARLOS SANTOS ; DE FIGUEIREDO, CELINA MIRAGLIA HERRERA . On the recognition of unit disk graphs and the Distance Geometry Problem with Ranges. DISCRETE APPLIED MATHEMATICS, v. 197, p. 3-19, 2015.

29.
da Fonseca, Guilherme D.2014da Fonseca, Guilherme D. ; de Figueiredo, Celina M.H. ; PEREIRA DE SÁ, VINÍCIUS G. ; Machado, Raphael C.S. . Efficient sub-5 approximations for minimum dominating sets in unit disk graphs. Theoretical Computer Science, v. 540-541, p. 70-81, 2014.

30.
Machado, Raphael C.S.2014Machado, Raphael C.S.; de Figueiredo, Celina M.H. ; Trotignon, Nicolas . Complexity of colouring problems restricted to unichord-free and { square,unichord }-free graphs. DISCRETE APPLIED MATHEMATICS, v. 164, p. 191-199, 2014.

31.
DO PRADO, CHARLES B.2014DO PRADO, CHARLES B. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C. S. ; DA COSTA CARMO, LUIZ F. R. ; DO NASCIMENTO, TIAGO M. ; BENTO, LUCILA M. S. ; COSTA, RAFAEL O. ; DE CASTRO, CRISTIANO G. ; CÂMARA, SÉRGIO M. ; PIRMEZ, LUCI ; OLIVEIRA, RENATO . Software Analysis and Protection for Smart Metering. NCSL INTERNATIONAL MEASURE: THE JOURNAL OF MEASUREMENT SCIENCE, v. 9, p. 22-29, 2014.

32.
BOCCARDO, DAVIDSON2013 BOCCARDO, DAVIDSON ; RIBEIRO, LEONARDO ; CANAAN, RODRIGO ; CARMO, LUIZ ; PIRMEZ, LUCI ; Machado, Raphael ; PRADO, CHARLES ; NASCIMENTO, TIAGO . Energy footprint framework: A pathway toward smart grid sustainability. IEEE Communications Magazine (Print), v. 51, p. 50-56, 2013.

33.
Machado, R.C.S.2013Machado, R.C.S.; FIGUEIREDO, C. M. H. ; Trotignon, Nicolas . Edge-colouring and total-colouring chordless graphs. Discrete Mathematics, v. 313, p. 1547-1552, 2013.

34.
DA SILVA, POLY H2013DA SILVA, POLY H ; Machado, Raphael ; Dantas, Simone ; BRAGA, MARÍLIA DV . DCJ-indel and DCJ-substitution distances with distinct operation costs. Algorithms for Molecular Biology, v. 8, p. 21, 2013.

35.
de Sá, Vinícius G.P.2013 de Sá, Vinícius G.P. ; BOCCARDO, DAVIDSON R. ; RUST, LUIZ FERNANDO ; Machado, Raphael C.S. . A tight bound for exhaustive key search attacks against Message Authentication Codes. RAIRO - Theoretical Informatics and Applications, v. 47, p. 171-180, 2013.

36.
GYÁRFÁS, ANDRÁS2013 GYÁRFÁS, ANDRÁS ; LI, ZHENTAO ; Machado, Raphael ; SEB', ANDRÁS ; THOMASSÉ, STÉPHAN ; Trotignon, Nicolas . Complements of nearly perfect graphs. JOURNAL OF COMBINATORICS, v. 4, p. 299-310, 2013.

37.
NASCIMENTO, TIAGO M.2012NASCIMENTO, TIAGO M. ; BOCCARDO, DAVIDSON R. ; PRADO, CHARLES B. ; Machado, Raphael C. S. ; CARMO, LUIZ F. R. C. . PROGRAM MATCHING THROUGH CODE ANALYSIS AND ARTIFICIAL NEURAL NETWORKS. International Journal of Software Engineering and Knowledge Engineering, v. 22, p. 225, 2012.

38.
Campos, C.N.2012Campos, C.N. ; de Figueiredo, C.H. ; Machado, R. ; de Mello, C.P. . The total chromatic number of split-indifference graphs. Discrete Mathematics, v. 312, p. 2690-2693, 2012.

39.
GAVINHO FILHO, J.2012GAVINHO FILHO, J. ; L. F. R. da C. Carmo ; Machado, R. ; PRIMEZ, L. . Intrusion Detection System for Cognitive Radio Network. International Journal of Computer Science and Network Security, v. 12, p. 1-10, 2012.

40.
CAMARA, SERGIO2012CAMARA, SERGIO ; Machado, Raphael ; CARMO, LUIZ F.R.C. . A Consumption Authenticator Based Mechanism for Time-of-Use Smart Meter Measurements Verification. APPLIED MECHANICS AND MATERIALS, v. 241-244, p. 218-222, 2012.

41.
Machado, Raphael C. S.2011Machado, Raphael C. S.; de Figueiredo, Celina M. H. . A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs. Networks (New York, N.Y. Print), v. 57, p. 261-269, 2011.

42.
Machado, R.C.S.2011Machado, R.C.S.; de Figueiredo, C.M.H. . Total chromatic number of unichord-free graphs. Discrete Applied Mathematics, v. 159, p. 1851-1864, 2011.

43.
de Sá, Vinícius G.P.2011de Sá, Vinícius G.P. ; da Fonseca, Guilherme D. ; Machado, Raphael C.S. ; de Figueiredo, Celina M.H. . Complexity dichotomy on partial grid recognition. Theoretical Computer Science, v. 412, p. 2370-2379, 2011.

44.
Machado, Raphael2011Machado, Raphael; DE FIGUEIREDO, CELINA . Complexity separating classes for edge-colouring and total-colouring. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE), v. 17, p. 281-285, 2011.

45.
MACHADO, R. C. S.;Machado, Raphael C.S.;Machado, Raphael;Machado, R.C.S.;Machado, Raphael C. S.;Machado, R.;MACHADO, RAPHAEL CARLOS SANTOS;MACHADO, R C S;C. S. MACHADO, RAPHAEL;SANTOS MACHADO, RAPHAEL C.;CARLOS SANTOS MACHADO, RAPHAEL;SANTOS MACHADO, R. C.2010MACHADO, R. C. S.; de Figueiredo, Celina M.H. . Decompositions for edge-coloring join graphs and cobipartite graphs?. Discrete Applied Mathematics, v. 158, p. 1336-1342, 2010.

46.
MACHADO, R. C. S.;Machado, Raphael C.S.;Machado, Raphael;Machado, R.C.S.;Machado, Raphael C. S.;Machado, R.;MACHADO, RAPHAEL CARLOS SANTOS;MACHADO, R C S;C. S. MACHADO, RAPHAEL;SANTOS MACHADO, RAPHAEL C.;CARLOS SANTOS MACHADO, RAPHAEL;SANTOS MACHADO, R. C.2010MACHADO, R. C. S.; FIGUEIREDO, C. M. H. ; VUSKOVIC, K. . Chromatic index of graphs with no cycle with a unique chord. Theoretical Computer Science, v. 411, p. 1221-1234, 2010.

47.
L. F. R. da C. Carmo2010L. F. R. da C. Carmo ; MACHADO, R. C. S. . Metrologia Temporal na Verificação de Integridade de Software em Instrumentos de Medição. Produto & Produção (Online), v. 11, p. 80-88, 2010.

Capítulos de livros publicados
1.
dos Santos, Lucas ; Nascimento, Paulo ; BENTO, LUCILA ; Machado, Raphael ; FERRARI, PAOLO ; Amorim, Claudio . Use of High Mobility Nodes to Improve Connectivity in Wireless Sensor Networks. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2021, v. , p. 528-545.

2.
Silva, Poly H. ; Braga, Marília D. V. ; Machado, Raphael ; Dantas, Simone . DCJ-indel Distance with Distinct Operation Costs. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. , p. 378-390.

3.
BOCCARDO, D. R. ; MACHADO, R. C. S. ; L. F. R. da C. Carmo . Transformações de código para proteção de software. In: Luciano Porto Barreto. (Org.). Minicursos do X Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. : , 2010, v. , p. -.

Textos em jornais de notícias/revistas
1.
L. F. R. da C. Carmo ; MACHADO, R. C. S. . Medidores inteligentes de energia: desafios e perspectivas. Metering International, África do Sul, p. 18 - 20, 01 dez. 2010.

2.
L. F. R. da C. Carmo ; MACHADO, R. C. S. . Controle metrológico de medidores inteligentes. Metering International, South Africa, p. 27 - 28, 01 dez. 2009.

Trabalhos completos publicados em anais de congressos
1.
COSTA, A. ; Machado, R.C.S. ; SA, A. . Data Acquisition and Extraction on Mobile Devices - A Systematic Literature Review. In: Proc. IEEE MetroInd, 2022, Trento. Proc. IEEE MetroInd, 2022.

2.
SANTOS, M. ; MELO JUNIOR, W. ; Machado, R.C.S. . Cyber-Physical Risks Identification on Industry 4.0: A Methodology Proposal. In: Proc. IEEE MetroInd, 2022, Trento. Proc. IEEE MetroInd, 2022.

3.
BENTO, L. ; Machado, R.C.S. ; SIMOES, F. . Software Watermark Scheme. In: Proc. IEEE MetroInd, 2022, Trento. Proc. IEEE MetroInd, 2022.

4.
CALAZANS, B. ; SA, A. ; Machado, R.C.S. . Evasion Techniques for VM-Based Black-Box Software Analysis. In: Proc. IEEE MetroInd, 2022, Trento. Proc. IEEE MetroInd, 2022.

5.
CAMPOS, M. ; GOMES, E. C. ; Machado, R.C.S. . Sensors for Detection of Cyber Threats on Industrial Environment Using a High Interaction ICS/SCADA Honeynet. In: Proc. IEEE MetroInd, 2022, Trento. Proc. IEEE MetroInd, 2022.

6.
PARISOT, AUGUSTO ; BENTO, LUCILA M. S. ; Machado, Raphael C. S. . Testing and selecting lightweight pseudo-random number generators for IoT devices. In: 2021 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2021, Rome. 2021 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2021. p. 715.

7.
DRUMMOND, BARBARA M. ; Machado, Raphael C. S. . Cyber Security Risk Management for Ports - A Systematic Literature Review. In: 2021 International Workshop on Metrology for the Sea; Learning to Measure Sea Health Parameters (MetroSea), 2021, Reggio Calabria. 2021 International Workshop on Metrology for the Sea; Learning to Measure Sea Health Parameters (MetroSea), 2021. p. 406.

8.
DOS SANTOS, LUCAS S. ; NASCIMENTO, PAULO R. M. ; BENTO, LUCILA M. S. ; Machado, Raphael C. S. ; AMORIM, CLAUDIO L. . Development of security mechanisms for a remote sensing system based on opportunistic and mesh networks. In: 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2020, Roma. 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2020. p. 418.

9.
MELO, WILSON ; Machado, Raphael C. S. ; PETERS, DANIEL ; MONI, MAHBUBA . Public-Key Infrastructure for Smart Meters using Blockchains. In: 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2020, Roma. 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2020. p. 429.

10.
Machado, Raphael; MELO, WILSON ; BENTO, LUCILA ; CAMARA, SERGIO ; DA HORA, VINICIUS ; BARRAS, THAIS ; CHAPETTA, WLADMIR . Proficiency Testing for Software Analysis and Cybersecurity Laboratories*. In: 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2020, Roma. 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2020. p. 441.

11.
DE SA, ALAN O. ; Machado, Raphael C. S. . Identification of Data Injection Attacks in Networked Control Systems with Varying Setpoint Condition. In: 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2020, Roma. 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2020. p. 447.

12.
FERRARI, P. ; SISINNI, E. ; SAIFULLAH, A. ; MACHADO, R. C. S. ; DE SA, A.O. ; FELSER, M. . Work-in-Progress: Compromising Security of Real-time Ethernet Devices by means of Selective Queue Saturation Attack. In: 2020 16th IEEE International Conference on Factory Communication Systems (WFCS), 2020, Porto. 2020 16th IEEE International Conference on Factory Communication Systems (WFCS), 2020. p. 1.

13.
SA, A. ; CASIMIRO, A. ; Machado, R.C.S. ; L. F. R. da C. Carmo . Bio-inspired System Identification Attacks in Noisy Networked Control Systems. In: 11th EAI International Conference on Bio-inspired Information and Communications Technologies (BICT-2019), 2019, Pittsburg. Prof. 11th EAI International Conference on Bio-inspired Information and Communications Technologies (BICT-2019), 2019. v. 1. p. 1.

14.
DE SA, ALAN OLIVEIRA ; CARMO, LUIZ FERNANDO RUST DA C. ; SANTOS MACHADO, RAPHAEL C. . Countermeasure for Identification of Controlled Data Injection Attacks in Networked Control Systems. In: 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019, Naples. 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019. p. 455.

15.
BASTOS, DANIEL CHICAYBAN ; KOWADA, LUIS ANTONIO BRASIL ; Machado, Raphael C. S. . Measuring randomness in IoT products. In: 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019, Naples. 2019 II Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0&IoT), 2019. p. 466.

16.
S. M. Câmara ; BARRAS, T. ; MELO JUNIOR, W. ; CHAPETTA, W. ; Machado, R.C.S. . Estabelecimento de um Pacote de Ensaio de Proficiência para Avaliação de Laboratórios em Análise de Produtos de Software. In: XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019, São Paulo. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019.

17.
SEVERIANO, L. ; NASCIMENTO, P. ; Machado, R.C.S. ; AMORIM, C. . Desenvolvimento de uma Aplicação Segura de Sensoriamento através de Redes Oportunísticas. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019, São Paulos. Anais do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019.

18.
MELO JUNIOR, W. ; VIEIRA, A. ; MICELLI, C. ; Machado, R.C.S. ; L. F. R. da C. Carmo . Uso de Redes Blockchain em Aplicações de Metrologia e Avaliação da Conformidade. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019, São Paulo. Anais do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019.

19.
ZATESKO, L. ; CARMO, R. ; GUEDES, ANDRÉ ; ZORZI, A. ; Machado, R.C.S. ; FIGUEIREDO, C. M. H. . On the Chromatic Index of Complementary Prisms. In: EUROPEAN CONFERENCE ON COMBINATORICS, GRAPH THEORY AND APPLICATIONS, 2019, Bratislava. Proc. EUROPEAN CONFERENCE ON COMBINATORICS, GRAPH THEORY AND APPLICATIONS, 2019.

20.
SA, A. ; BARBOSA, G. ; Machado, R.C.S. ; ALMEIDA, N. N. . Merging Electronic, Cybernetic and Kinetic Warfare in Naval Systems. In: SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC-2019), 2019, Aveiro. Proc. SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC-2019), 2019.

21.
ZORZI, A. ; FIGUEIREDO, C. M. H. ; Machado, R.C.S. ; SOUZA, U. . Even-power of Cycles With Many Vertices are Type 1 Total Colorable. In: X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS), 2019, Belo Horizonte. Proc. X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS), 2019. v. 346. p. 747-758.

22.
OLIVEIRA DE SA, ALAN ; FERNANDO RUST DA C. CARMO, LUIZ ; SANTOS MACHADO, RAPHAEL C. . Evaluation on Passive System Identification and Covert Misappropriation Attacks in Large Pressurized Heavy Water Reactors. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018, Brescia. 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018. p. 203.

23.
PACHECO, CARLA ; GARCIA, ALEX ; Machado, Raphael ; SALLES, RONALDO . Building Reference Datasets to Support Socialbots Detection. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018, Brescia. 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018. p. 198.

24.
RIBEIRO, LEONARDO C. ; DAMACENO, LUIZ P. ; TARELHO, LUIZ V. G. ; MAZALHAES, DANIEL V. ; ROVERA, GIOVANNI D. ; Machado, Raphael C. S. . Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018, Brescia. 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018. p. 209.

25.
RIBEIRO, LEONARDO C. ; MARCELINO, ANA C. O. ; GARCIA, GUILHERME A. ; GONCALVES, DESIREE S. ; TARELHO, LUIZ V. G. ; CORREA, LEANDRO P. ; CHAPETTA, WLADMIR A. ; DE OLIVEIRA SA, ALAN ; Machado, Raphael C.S. . True Random Number Generators for Batch Control Sampling in Smart Factories. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018, Brescia. 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018. p. 213.

26.
SANTOS MACHADO, R. C.; GONÇALVES VIANA FILHO, C. R. ; DE SOUZA, L. ; TELES, C. . Avaliação da Conformidade de Ativos de Tecnologias: uma Análise Orientada a Riscos. In: IV WORKSHOP SOBRE REGULAçãO, AVALIAçãO DA CONFORMIDADE, TESTES E PADRõES DE SEGURANçA, 2018, RIO DE JANEIRO. IV Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança, 2018. v. 1.

27.
TELES, C. ; GONÇALVES VIANA FILHO, C. R. ; SANTOS MACHADO, R. C. . BlackBox TestBox: uma ferramenta baseada em virtualização para testes de caixa-preta. In: IV WORKSHOP SOBRE REGULAçãO, AVALIAçãO DA CONFORMIDADE, TESTES E PADRõES DE SEGURANçA, 2018, RIO DE JANEIRO. IV Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança, 2018. v. 1.

28.
OLIVEIRA DE SÁ, A. ; SANTOS MACHADO, R. C. ; NUNES DE ALMEIDA, N. . Guerra Cibernética no Âmbito do Poder Marítimo. In: IV WORKSHOP SOBRE REGULAçãO, AVALIAçãO DA CONFORMIDADE, TESTES E PADRõES DE SEGURANçA, 2018, RIO DE JANEIRO. IV Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança, 2018. v. 1.

29.
SANTOS MACHADO, R. C.; PAIVA AGOSTINI, F. ; ARAUJO CHAPETTA, W. . Proposta de um Programa de Certificação Básica de Segurança da Informação. In: IV WORKSHOP SOBRE REGULAçãO, AVALIAçãO DA CONFORMIDADE, TESTES E PADRõES DE SEGURANçA, 2018, RIO DE JANEIRO. IV Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança, 2018. v. 1.

30.
DE SOUZA BENTO, L. M. ; SANTOS MACHADO, R. C. . Uso de Técnicas de Proteção de Software em Sistemas Embarcados. In: IV WORKSHOP SOBRE REGULAçãO, AVALIAçãO DA CONFORMIDADE, TESTES E PADRõES DE SEGURANçA, 2018, RIO DE JANEIRO. IV Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança, 2018. v. 1.

31.
VIANA, C. ; Machado, R.C.S. . Caminhos para a Segurança Normalização ou Adequação de Padrões. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança (SBSeg/WRAC+), 2017, Brasília. Anais do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2017.

32.
TELES, C. ; Machado, R.C.S. . Testes de sobrecarga: uma avaliação sobre requisitos de Disponibilidade e Desempenho. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança (SBSeg/WRAC+), 2017, Brasília. Anais do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017.

33.
KOWADA, L. ; Machado, R.C.S. . Esquema de Acordo de Chaves de Conferência Baseado em um Problema de Funções Quadráticas de Duas Variáveis. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017, Brasília. Anais do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017.

34.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Marca d?água Estruturada. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017, Brasília. Anais do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017.

35.
SA, A. ; L. F. R. da C. Carmo ; Machado, R.C.S. . Uso de Controle Chaveado para Mitigação de Ataque Ativo de Identificação de Sistemas com Malha Fechada. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017, Brasília. Anais do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017.

36.
TELES, C. ; Machado, R.C.S. . Avaliação de requisitos de Disponibilidade e Desempenho por meio de testes de sobrecarga. In: Congresso Brasileiro de Metrologia, 2017, Fortaleza. Anais do IX Congresso Brasileiro de Metrologia, 2017.

37.
VIANA, C. ; Machado, R.C.S. . Estratégia para a internalização de padrões internacionais de segurança. In: Congresso Brasileiro de Metrologia, 2017, Fortaleza. Anais do IX Congresso Brasileiro de Metrologia, 2017.

38.
OLIVEIRA DE SA, ALAN ; FERNANDO RUST DA COSTA CARMO, LUIZ ; CARLOS SANTOS MACHADO, RAPHAEL . Bio-inspired Active Attack for Identification of Networked Control Systems. In: 10th EAI International Conference on Bioinspired Information and Communications Technologies (formerly BIONETICS), 2017, Hoboken. Proceedings of the 10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS). Hoboken: EAI, 2017.

39.
SA, ALAN OLIVEIRA DE ; CARMO, LUIZ FERNANDO RUST DA C. ; MACHADO, RAPHAEL CARLOS SANTOS . Use of Switching Controllers for Mitigation of Active Identification Attacks in Networked Control Systems. In: 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech), 2017, Orlando. 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech), 2017. p. 257.

40.
BENTO, L. ; BOCCARDO, D R ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Randomized watermarks for structured programs. In: II Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016, Praia da Redonda, Ceará. Anais do II Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016.

41.
FIGUEIREDO, C. M. H. ; MACEDO FILHO, H. ; LI, Z. ; Machado, R.C.S. ; Trotignon, Nicolas . Using SPQR-trees to speed up algorithms based on 2-cutset decompositions. In: VIII Latin-American Algorithms, Graphs and Optimization Symposium, 2015, Beberibe. Proc. VIII Latin-American Algorithms, Graphs and Optimization Symposium, 2015. v. 1. p. 1.

42.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . The Graphs of Structured Programming. In: 13th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015, Istambul. Proc. 13th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015. v. 1. p. 1.

43.
SANTOS, M. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . arquitetura baseada em botnet para aplicações voltadas a avaliação de aspectos de segurança da informação. In: 42 Seminário Integrado de Software e Hardware, 2015, Recife. Anais do 42 Seminário Integrado de Software e Hardware, 2015.

44.
BOCCARDO, DAVIDSON ; REINEHR, G. ; Machado, R.C.S. ; MELO JUNIOR, W. ; L. F. R. da C. Carmo . Modelo de Segurança para Ambientes de Avaliação e Testes de Segurança de Software. In: Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança, 2015, Florianópolis. Anais do XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre: SBC, 2015.

45.
BOCCARDO, DAVIDSON ; Machado, R.C.S. ; SILVA, V. P. ; L. F. R. da C. Carmo . Identificação de código suspeito por meio de depuração supervisionada. In: XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2015, Florianópolis. Anais do XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2015.

46.
Machado, Raphael C.S.; BOCCARDO, DAVIDSON R. ; SA, VINICIUS G. PEREIRA DE ; SZWARCFITER, JAYME L. . Fair Fingerprinting Protocol for Attesting Software Misuses. In: 2015 10th International Conference on Availability, Reliability and Security (ARES), 2015, Toulouse. 2015 10th International Conference on Availability, Reliability and Security, 2015. p. 110.

47.
MACEDO FILHO, H. ; Machado, R.C.S. ; FIGUEIREDO, C. M. H. . Hierarchical Complexity of 2-Clique-Colouring Weakly Chordal Graphs and Perfect Graphs Having Cliques of Size at Least 3. In: Latin American Symposium on Theoretical Informatics, 2014, Montevideo. Proceedings of Latin American Symposium on Theoretical Informatics. v. 8392. p. 13-23.

48.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . A randomized graph-based scheme for software watermarking. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2014, Belo Horizonte. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2014. v. 1. p. 1.

49.
Machado, R.C.S.; BOCCARDO, DAVIDSON R. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Protocolo para transferência parcial de conhecimento e sua aplicação à verificação segura de marcas d'água. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais,, 2014. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. v. 1. p. 1.

50.
ALVES, V. ; OGASAWARA, E. ; BEZERRA, E. ; Machado, R.C.S. ; SOUZA, C. . Uso de Workflows Científicos para Apoiar a Elaboração de Técnicas de Predição de Invasão de Sistemas. In: XI Simpósio de Excelência em Gestão e Tecnologia, 2014. Anais do XI Simpósio de Excelência em Gestão e Tecnologia, 2014.

51.
Machado, R.C.S.; SANTOS, M. ; SOARES, HENRIQUE ; OGASAWARA, E. ; DAVID, F. ; SOARES, RAFAEL ; SALGADO, BRUNO . Arquitetura de um Simulador de Ataques Distribuídos de Negação de Serviço. In: 41 Seminário Integrado de Software e Hardware, 2014, Brasília. Anais do 41 Seminário Integrado de Software e Hardware, 2014.

52.
BOCCARDO, DAVIDSON ; Machado, R.C.S. ; L. F. R. da C. Carmo . Software Integrity Verification of Smart Devices in a Continuously but Controlled Upgradeable. In: ARO Workshop on Continuously Upgradeable Software Security and Protection, 2014, Scottsdale, Arizona. Proc. ARO Workshop on Continuously Upgradeable Software Security and Protection, 2014.

53.
BOCCARDO, DAVIDSON R. ; Machado, Raphael C. S. ; CAMARA, SERGIO M. ; DO PRADO, CHARLES B. ; MELO, WILSON S. ; RIBEIRO, LEONARDO C. ; DA COSTA CARMO, LUIZ F. R. . Software validation of medical instruments. In: 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA), 2014, Lisboa. 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA), 2014. p. 1.

54.
BENTO, L. ; BOCCARDO, DAVIDSON ; MACHADO, R. C. S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Towards a provably resilient scheme for graph-based watermarking. In: 39th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2013), 2013, Luebeck. 39th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2013), 2013.

55.
BENTO, L. ; BOCCARDO, DAVIDSON ; MACHADO, R. C. S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Proteção de software por marcas d'água baseadas em grafos. In: SEMISH - XL Seminário Integrado de Software e Hardware, 2013, Maceió. Proc. XL Seminário Integrado de Software e Hardware, 2013.

56.
S. M. Câmara ; Machado, R.C.S. ; RUST, LUIZ FERNANDO . Confiança Metrológica em Cenários de Medição de Energia Elétrica com Postos Tarifários. In: 10th International Congress on Electrical Metrology, 2013, Buenos Aires. Anais do 10th International Congress on Electrical Metrology,, 2013. v. 1.

57.
PRADO, CHARLES ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; NASCIMENTO, TIAGO ; L. F. R. da C. Carmo ; COSTA, R. . Segurança Cibernética em Smart Metering. In: 10th International Congress on Electrical Metrology, 2013, Buenos Aires. Anais do 10th International Congress on Electrical Metrology,, 2013. v. 1.

58.
CASTRO, C. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; BRANDAO, P. . FVIS: Uma Ferramenta de Verificação de Integridade de Software. In: 10th International Congress on Electrical Metrology, 2013, buenos Aires. anais do 10th International Congress on Electrical Metrology, 2013. v. 1.

59.
SOARES, V. ; Machado, R.C.S. . Validação de Medidores Inteligentes de Energia Elétrica. In: 10th International Congress on Electrical Metrology, 2013, buenos Aires. anais do 10th International Congress on Electrical Metrology, 2013. v. 1.

60.
SOARES, HENRIQUE ; Machado, Raphael ; SALGADO, BRUNO ; SOARES, RAFAEL ; CARDOSO, JARBAS LOPES ; COSTA, LUIS FELIPE . Information security aspects of public software. In: the Fifth International Conference, 2013, Luxembourg. Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems - MEDES '13. New York: ACM Press, 2013. p. 336.

61.
SILVA, V. P. ; SILVA, D. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; L. F. R. da C. Carmo . Dispositivo para aquisição confiável de dados de inspeções. In: Congresso Brasileiro de Metrologia, 2013, Ouro Preto. Anais do Congresso Brasileiro de Metrologia, 2013.

62.
SOUZA, R. ; L. F. R. da C. Carmo ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; PRIMEZ, L. . Redes de Kohonen para detecção de fraudes em inspeções na área de transporte de produtos perigosos. In: Congresso Brasileiro de Metrologia, 2013, Ouro Preto. Anais do Congresso Brasileiro de Metrologia, 2013.

63.
BENTO, L. ; BOCCARDO, DAVIDSON ; COSTA, R. ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Fingerprinting de Software e Aplicações à Metrologia Legal. In: 10th International Congress on Electrical Metrology, 2013, Buenos Aires. anais do 10th International Congress on Electrical Metrology, 2013. v. 1.

64.
MACEDO FILHO, H. ; MACHADO, R. C. S. ; FIGUEIREDO, C. M. H. . Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. In: Latin American Symposium on Theoretical Informatics, 2012, Arequipa. Proc. Latin American Symposium on Theoretical Informatics 2012. Heidelberg: Springer, 2012. v. 7256. p. 530-541.

65.
COSTA, R. ; PRIMEZ, L. ; BOCCARDO, DAVIDSON R. ; CARMO, LUIZ F. R. C. ; MACHADO, R. C. S. . TinyObf: Code Obfuscation Framework for Wireless Sensor Networks. In: International Conference on Wireless Networks, 2012, Las Vegas. Proceedings of the 2012 International Conference on Wireless Networks, 2012. v. 1. p. 68-74.

66.
Silva, Poly H. ; Braga, Marília D. V. ; Machado, R.C.S. ; DANTAS, S. . DCJ-indel distance with distinct operation costs. In: RECOMB-CG, 2012, Niterói. Proc. RECOMB-CG 2012, 2012. v. 1. p. 1.

67.
Guilherme D. da Fonseca ; FIGUEIREDO, C. M. H. ; Vinícius G. P. de Sá ; Machado, R.C.S. . Linear Time Approximation for Dominating Sets and Independent Dominating Sets in Unit Disk Graphs. In: Workshop on Approximation and Online Algorithms, 2012, Ljubljana. Proc. 10th Workshop on Approximation and Online Algorithms (WAOA'2012), 2012. v. 1. p. 1.

68.
Silva, Poly H. ; MACHADO, R. C. S. ; DANTAS, S. ; Braga, Marília D. V. . Restricted DCJ-indel model: sorting linear genomes with DCJ and indels. In: RECOMB Comparative Genomics 2012, 2012, Niteroi. BMC Bioinformatics - Proceedings of the Tenth Annual Research in Computational Molecular Biology (RECOMB) Satellite Workshop on Comparative Genomics, 2012. v. 13. p. S14.

69.
NASCIMENTO, T. M. ; L. F. R. da C. Carmo ; BOCCARDO, D. R. ; MACHADO, R. C. S. ; PRADO, C. B. . Program Equivalence using Neural Networks. In: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 2010, Boston. BIONETICS 2010, 2011, Boston. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering - Proceedings of the 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 2011.

70.
MACHADO, R. C. S.; BOCCARDO, D. R. ; L. F. R. da C. Carmo ; PRADO, C. B. ; NASCIMENTO, T. M. . Sistema de acompanhamento de inspeções de produtos perigosos. In: VI Congresso Brasileiro de Metrologia, 2011, Natal. Anais do VI Congresso Brasileiro de Metrologia, 2011. v. 0. p. 0-0.

71.
MACHADO, R. C. S.; L. F. R. da C. Carmo ; RIBEIRO, L. . Communication demand model in centralized measurement systems. In: XVIII IMEKO TC4 Symposium and IX International Congress on Electrical Metrology (XVIII IMEKO TC4 Symposium and IX Semetro), 2011, Natal. Anais do XVIII IMEKO TC4 Symposium and IX International Congress on Electrical Metrology (XVIII IMEKO TC4 Symposium and IX Semetro), 2011. v. 0. p. 0-0.

72.
MACHADO, R. C. S.; L. F. R. da C. Carmo ; NASCIMENTO, T. M. ; PRADO, C. B. ; RIBEIRO, L. . Footprint Energético: Um Sistema de Marcação de Energia Elétrica. In: XVIII IMEKO TC4 Symposium and IX International Congress on Electrical Metrology (XVIII IMEKO TC4 Symposium and IX Semetro), 2011, Natal. Anais do XVIII IMEKO TC4 Symposium and IX International Congress on Electrical Metrology (XVIII IMEKO TC4 Symposium and IX Semetro), 2011. v. 0. p. 0-0.

73.
Braga, Marília D V ; Machado, Raphael ; Ribeiro, Leonardo C ; Stoye, Jens . Genomic distance under gene substitutions. In: Ninth Annual Research in Computational Molecular Biology (RECOMB), 2011, Galway. Proceedings of the Ninth Annual Research in Computational Molecular Biology (RECOMB), 2011.

74.
Braga, Marília D V ; Machado, Raphael ; Ribeiro, Leonardo C ; Stoye, Jens . On the weight of indels in genomic distances. In: Ninth Annual Research in Computational Molecular Biology (RECOMB), 2011, Galway. Proceedings of the Ninth Annual Research in Computational Molecular Biology (RECOMB), 2011.

75.
Machado, R.C.S.; de Figueiredo, C.M.H. . Total chromatic number of {square,unichord}-free graphs. In: International Symposium on Combinatorial Optimization, 2010, Hammamet. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier. v. 36. p. 391-398.

76.
de Sá, Vinícius G.P. ; de Figueiredo, Celina M.H. ; da Fonseca, Guilherme D. ; Machado, Raphael . Complexity dichotomy on degree-constrained VLSI layouts with unit-length edges. In: International Symposium on Combinatorial Optimization, 2010, Hammamet. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier. v. 36. p. 671-678.

77.
BOCCARDO, D. R. ; L. C. G. Santos ; L. F. R. da C. Carmo ; DEZAN, M. H. ; MACHADO, R. C. S. ; PORTUGAL, S. A. . Software Evaluation of Smart Meters within a Legal Metrology Perspective: A Brazilian Case. In: IEEE PES Conference on Innovative Smart Grid Technologies Europe, 2010, Gothenburg. Proceedings of the IEEE PES Conference on Innovative Smart Grid Technologies Europe, 2010. v. 1. p. 1-7.

78.
MACHADO, R. C. S.; L. F. R. da C. Carmo ; DIAS, B. G. ; LAZARI, R. F. . Sobre sistemas de medição de volume de madeira baseados em mapeamento de superfície. In: International Conference on Industrial Engineering and Operations Management, 2010, São Carlos. Proceedings of the International Conference on Industrial Engineering and Operations Management, 2010. v. 0. p. 0-0.

79.
NASCIMENTO, T. M. ; L. F. R. da C. Carmo ; BOCCARDO, D. R. ; MACHADO, R. C. S. ; PRADO, C. B. . Rastreabilidade de Códigos Executáveis usando Redes Neurais. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2010, Fortaleza. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais 2010, 2010. v. 0. p. 0-0.

80.
L. F. R. da C. Carmo ; E. L. Madruga ; MACHADO, R. C. S. . Aspectos de Segurança da Informação em Redes de Medidores de Energia Elétrica: uma Visão de Metrologia Legal. In: Seminário Internacional de Metrologia Elétrica, 2009, João Pessoa. Anais do VIII Seminário Internacional de Metrologia Elétrica, 2009. v. 00. p. 00-01.

81.
L. F. R. da C. Carmo ; E. L. Madruga ; MACHADO, R. C. S. . Metrologia temporal na verificação de integridade de software em instrumentos de medição. In: V Congresso Brasileiro de Metrologia, 2009, Salvador. Anais do V Congresso Brasileiro de Metrologia, 2009. v. 0. p. 0-0.

82.
L. F. R. da C. Carmo ; MACHADO, R. C. S. . Verificação de integridade de software embarcado através de análise de tempo de resposta. In: IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2009, Campinas - SP. Anais do IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2009.

83.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. . Sufficient conditions for a graph to be edge-colorable with maximum degree colors. In: The IV Latin-American Algorithms, Graphs, and Optimization Symposium, 2008, Puerto Varas. Proc. The IV Latin-American Algorithms, Graphs, and Optimization Symposium, 2008. v. 30. p. 69-74.

Resumos expandidos publicados em anais de congressos
1.
Guilherme D. da Fonseca ; Vinícius G. P. de Sá ; Machado, R.C.S. ; FIGUEIREDO, C. M. H. . A geometric trigraph model for unit disk graph recognition. In: Workshop Distance Geometry and Applications (DGA'2013), 2013, Manaus. Proc. I Workshop Distance Geometry and Applications (DGA'2013), 2013.

2.
MACEDO FILHO, H. ; DANTAS, S. ; MACHADO, R. C. S. ; FIGUEIREDO, C. M. H. . Biclique-colouring powers of paths and powers of cycles. In: 11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2012, Munique. Proceedings of Cologne Twente Workshop 2012, 2012. v. 1. p. 1-1.

3.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. ; TROTIGNON, N. . Chromatic index of chordless graphs. In: Cologne-Twente Workshop on Applied Combinatorial Optimization, 2010, Cologne. Proceedings of Cologne-Twente Workshop 2010, 2010. v. 0. p. 0-0.

4.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. . NP-completeness of determining the total chromatic number of graphs that do not contain a cycle with a unique chord. In: Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009, Paris. Proceedings of Cologne-Twente Workshop 2009, 2009. v. 1. p. 55-59.

5.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. . A decomposition for total-coloring graphs of maximum degree 3. In: Cologne Twente Workshop 2008, 2008, Gargnano. Proceedings of Cologne-Twente Workshop 2008, 2008. p. 118-122.

6.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. ; VUSKOVIC, K. . Edge-coloring graphs with no cycle with a unique chord. In: VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008, Buenos Aires. Proceedings of VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008.

Resumos publicados em anais de congressos
1.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Grafos de Permutação Redutíveis Canônicos: caracterização, reconhecimento e aplicações a marcas d'água digitais. In: 6th Latin American Workshop on Cliques in Graphs, 2014, Pirenópolis. Proc. 6th Latin American Workshop on Cliques in Graphs, 2014. v. 1. p. 1.

2.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Grafos de Permutação Redutíveis Canônicos: caracterização, reconhecimento e aplicação a marcas d'água digitais. In: VI Latin-American Workshop on Cliques in Graphs, 2014, Pirenópolis. Proc. VI Latin-American Workshop on Cliques in Graphs, 2014. v. 1.

3.
MACHADO, R. C. S.; de Figueiredo, Celina M.H. . Approximate Graph Diameter via Double-sweep BFS. In: ALIO-INFORMS International Joint Meeting, 2010, Buenos Aires. Proceedings of the ALIO-INFORMS International Joint Meeting 2010. Buenos Aires: Reprografias JMA S.A., 2010. v. 1. p. 91-91.

4.
MACHADO, R. C. S.; L. F. R. da C. Carmo . Scheduling Problems for Communication over Unidirectional Channels. In: ALIO-INFORMS International Joint Meeting, 2010, Buenos Aires. Proceedings of ALIO-INFORMS International Joint Meeting 2010. Buenos Aires: Reprografias JMA S.A., 2010. v. 1. p. 84-84.

5.
C. N. Campos ; MELLO, C. P. ; FIGUEIREDO, C. M. H. ; MACHADO, R. C. S. . Total chromatic number of split-indifference graphs. In: VIII French Combinatorial Conference, 2010, Orsay. Proceedings of the VIII French Combinatorial Conference, 2010.

6.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. . Edge-colouring subject to local restrictions. In: V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Proceedings of the Fifth Latin-American Algorithms, Graphs and Optimization Symposium, 2009.

7.
MACHADO, R. C. S.; FIGUEIREDO, C. M. H. . On breadth-first search and graph diameter bounds. In: II Latin-American Workshop on Clique in Graphs, 2006, La Plata. Anais do Workshop, 2006.

Artigos aceitos para publicação
1.
BENTO, L. ; Machado, R.C.S. ; BOCCARDO, DAVIDSON ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Full characterization of a class of graphs tailored for software watermarking. ALGORITHMICA, 2019.

2.
PACHECO, C. ; GARCIA, A. ; Machado, R.C.S. ; SALLES, RONALDO . Sistemas fuzzy complementam a detecção de socialbots por aprendizado de máquina. C&T. REVISTA MILITAR DE CIÊNCIA E TECNOLOGIA, 2018.

Apresentações de Trabalho
1.
Machado, R.C.S.. Usos e aplicações dos números aleatórios. 2018. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
PACHECO, C. ; GARCIA, A. ; GOLDSCHMIDT, R. ; SALLES, R. ; Machado, R.C.S. . Comparative Analysis of Machine Learning Methods Applied to Detection of Socialbots on Twitter. Springer, 2017 (Manuscrito).

2.
MELO JUNIOR, W. ; Machado, R.C.S. ; L. F. R. da C. Carmo . Physical Context-based Authentication: Securing Industrial Systems against External Attacks. Hindawi, 2017 (Manuscrito).

3.
SA, A. ; L. F. R. da C. Carmo ; Machado, R.C.S. . A Controller Design for Mitigation of Passive System Identification Attacks in Networked Control Systems. Springer, 2017 (Manuscrito).

4.
Machado, R.C.S.; SA, A. . Contagem Regrassiva até Zero Day. Rio de Janeiro: Brasport, 2017. (Tradução/Livro).

5.
Machado, R.C.S.. Guerra Cibernética - A Próxima Ameaça À Segurança e o Que Fazer A Respeito. Rio de Janeiro: Brasport, 2017. (Tradução/Livro).

6.
BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Full characterization of a class of graphs suitable for software watermarking 2014 (Manuscrito).

7.
Machado, R.C.S.. NISTIR 7621 Revision 1: Guidelines for Smart Grid Cyber Security: Vol. 3, Supportive Analyses and References. NIST, 2013 (NIST Interagency or Internal Report).


Produção técnica
Programas de computador sem registro
1.
Machado, R.C.S.. Simulador de Ataques Distribuídos de Indisponibilidade. 2014.

Trabalhos técnicos
1.
MACHADO, R. C. S.. Nota Técnica Dimci/Dmtic 25/2015. 2015.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
Machado, R.C.S.. Software Pioneiro no Brasil Avalia Desempenho e Disponibilidade de Sites. 2018. (Programa de rádio ou TV/Entrevista).

2.
Machado, R.C.S.. Why are countries creating public random number generators?. 2018. (Programa de rádio ou TV/Entrevista).


Demais tipos de produção técnica
1.
FIGUEIREDO, C. M. H. ; SALES, C. L. ; FREITAS, R. ; OLIVEIRA, A. K. M. ; Machado, R.C.S. ; CAPELLE, M. . Matemática Contemporânea, Special Issue 8th Latin-American Workshop on Cliques in Graphs. 2019. (Editoração/Periódico).



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 Machado, R.C.S.; RIBEIRO, L. . Dispositivo de Verificação de Integridade. 2014, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR10201303167, título: "Dispositivo de Verificação de Integridade" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 14/01/2014



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
FERMAM, R. K. S.; ALVARENGA, A. P. D.; HARMES-LIEDTKE, U.; MELO, A. B.; Machado, R.C.S.. Participação em banca de Isabela Wanderley Alves. AVALIAÇÃO DA INFRAESTRUTURA DA QUALIDADE APLICADA AOS VEÍCULOS AUTÔNOMOS NO CENÁRIO BRASILEIRO. 2021. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

2.
OLIVEIRA, A. K. M.; SALES, C. L.; CAMPELO NETO, M. B.; Machado, R.C.S.. Participação em banca de Jonas Costa Ferreira da Silva. Um Estude de Redes com Fluxos Ramificados Arco-Disjuntos. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

3.
WANGHAM, M. S.; ZEFERINO, C. A.; Machado, R.C.S.. Participação em banca de Marciel de Liz Santos. MECANISMO DE VERIFICAÇÃO DE INTEGRIDADE DE SOFTWARE BASEADO EM BIOS UEFI. 2018. Dissertação (Mestrado em Computação) - Universidade do Vale do Itajaí.

4.
ALMEIDA, S.; GUEDES, A.; Machado, R.C.S.; CARMO, R.. Participação em banca de MAYARA MIDORI OMAI. COLORAÇÕES DISTINTAS NOS VÉRTICES ADJACENTES EM POTÊNCIAS DE CAMINHO. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

5.
BOCCARDO, DAVIDSON; SZWARCFITER, J.; L. F. R. da C. Carmo; AGUIAR JUNIOR, E. A.; Machado, R.C.S.. Participação em banca de Lincoln de Araujo Sperandio Nogueira. ENSAIOS EM COMPUTADORES DE VAZÃO: VERIFICAÇÃO DA EXATIDÃO SOB CONDIÇÕES ESTÁTICAS E DINÂMICAS. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

6.
LUCENA, A.; LOPES, A.; MARQUEZINO, F.; Machado, R.C.S.. Participação em banca de Alexandre Simões Raymond. STRATIGRAPHIC SEDIMENTARY INVERSION USING PATHS IN GRAPHS. 2017. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

7.
SENNA, M.; ARTIGAS, D.; Machado, R.C.S.. Participação em banca de Bruno Erthal de Abreu. Aplicação de técnicas de segurança da informação para validação de software de bombas medidoras de combustíveis líquidos na verificação subsequente.. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

8.
L. F. R. da C. Carmo; PRADO, CHARLES; Machado, R.C.S.; TARELHO, L. V. G.; MICELLI, C.. Participação em banca de GIRRESE REINEHR. MEDIDORES INTELIGENTES APLICADOS A UMA NUVEM SEGURA. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

9.
L. F. R. da C. Carmo; Delicato, F.; BOCCARDO, DAVIDSON; Machado, R.C.S.. Participação em banca de Cristano Castro. Controle de Integridade de Software Embarcado em Medidores. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

10.
DANTAS, S.; SASAKI, D.; TANUSHEVSKI, S.; Machado, R.C.S.. Participação em banca de Luana Cordeiro de Almeida. COLORAC ̧A ̃O TOTAL E COLORAC ̧A ̃O TOTAL EQUILIBRADA DE FAM ́ILIAS DE SNARKS. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense.

11.
Vinícius G. P. de Sá; PAIXÃ TEIXEIRA, M. G.; Machado, R.C.S.. Participação em banca de Judismar Arpini Júnior. Hashing do Cuco com Realocação Perfeita. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

12.
BARBALHO, S.; Machado, R.C.S.. Participação em banca de ARIANE CRISTINA BRITO FLORENTINO. PROPOSTA DE PERFIL DE PROTEÇÃO PARA HOMOLOGAÇÃO E CERTIFICAÇÃO DE PRODUTO CIBERNÉTICO: O CASO DOS EQUIPAMENTOS DE VIDEOCONFERÊNCIA. 2017. Dissertação (Mestrado em Sistemas Mecatrônicos) - Universidade de Brasília.

13.
GARCIA, G.; Machado, R.C.S.. Participação em banca de Joelson Gomes Lima. Navegação aérea, GNSS e suas fragilidades: potencial para o eLoran Fonte. 2016. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

14.
TARELHO, L. V. G.; TEIXEIRA, R. N.; Machado, R.C.S.. Participação em banca de Pedro H Diniz. CONSTRUÇÃO, CARACTERIZAÇÃO E AVALIAÇÃO DE TERMOPARES PLATINA-PALÁDIO PARA UTILIZAÇÃO COMO PADRÕES EM CALIBRAÇÕES DE SENSORES DE TEMPERATURA. 2016. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

15.
FIGUEIREDO, C. M. H.; Vinícius G. P. de Sá; FREITAS, R.; Machado, R.C.S.. Participação em banca de Rodrigo Ming Zhou. Graceful Labeling. 2016. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

16.
SANTIN, A.; Machado, R.C.S.; RUST, LUIZ FERNANDO. Participação em banca de Adriano Witkovski. Um IDM e método de autenticação baseado em chaves para prover autenticação única em Internet das Coisas. 2015. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

17.
SANTIN, A.; Machado, R.C.S.; RUST, LUIZ FERNANDO. Participação em banca de Rafael Cruz Ribeiro. Segurança de privacidade para smart house utilizando mobile cloud computing. 2015. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

18.
NOGUEIRA, L.; Vinícius G. P. de Sá; MARTINHON, C.; PROTTI, F.; Machado, R.C.S.; KLEIN, S.. Participação em banca de Adalton de Sena Almeida. Minimizando ramificações em árvores geradoras. 2015. Dissertação (Mestrado em Ciências da Informação) - Universidade Federal Fluminense.

19.
NEDJAH, N.; MOURELLE, L. M.; MARIANI, V. C.; Machado, R.C.S.. Participação em banca de Kleber Hochwart Cardoso. Implementação distribuída de auto-cura em redes inteligentes de distribuição de energia elétrica utilizando árvores de extensão mínima. 2014. Dissertação (Mestrado em Engenharia Eletrônica) - Universidade do Estado do Rio de Janeiro.

20.
DANTAS, S.; CLARK, H. R.; Braga, Marília D. V.; Machado, R.C.S.. Participação em banca de Poly Hanna da Silva. Distancia DCJ-indel e a desigualdade triangular. 2013. Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense.

21.
PRIMEZ, L.; Delicato, F.; Machado, R.C.S.. Participação em banca de Igor Leão dos Santos. Sensor-SHM. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

22.
PRIMEZ, L.; BOCCARDO, DAVIDSON R.; CARMO, LUIZ F. R. C.; MACHADO, R. C. S.; COSTA, L. H. M. K.. Participação em banca de Rafael de Oliveira Costa. TinyObf: Um Arcabouço de Ofuscação de Código e Proteção de Dados para Rede de Sensores Sem Fio. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

23.
L. F. R. da C. Carmo; PRIMEZ, L.; Machado, R.C.S.; Aloysio de Castro Pinto Pedroza. Participação em banca de Joffre Gavinho Filho. SDA-COG - Sistema de Detecção de Ataques para Redes de Rádios Cognitivos. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Teses de doutorado
1.
SALLES, R. M.; GARCIA, A.; Machado, R.C.S.; LOPES, H. C. V.; ZIVIANI, A.. Participação em banca de CARLA CHRYSTINA DE CASTRO PACHECO FERREIRA. DETECC~AO DE SOCIALBOTS EM REDES SOCIAIS BASEADA EM ATRIBUTOS QUANTITATIVOS. 2018. Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia.

2.
L. F. R. da C. Carmo; PIRMEZ, LUCI; MICELLI, C.; NEVES, N.; BRITO, A.; Machado, R.C.S.. Participação em banca de Wilson de Souza Melo Junior. Autenticação baseada em Contexto Físico: Metodologia, Protocolos e Aplicações. 2018. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

3.
L. F. R. da C. Carmo; PRIMEZ, L.; LIMA, P. M. V.; Machado, R.C.S.; SANTIN, A.. Participação em banca de ROSEMBERGUE PEREIRA DE SOUZA. Um arcabouço tecnológico para detecção de possíveis serviços. 2018. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

4.
CARMO, R.; GUEDES, A.; FIGUEIREDO, C. M. H.; SILVA, M. V. G.; Machado, R.C.S.. Participação em banca de Leandro Miranda Zatesko. NOVEL PROCEDURES FOR GRAPH EDGE-COLOURING. 2018. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

5.
L. F. R. da C. Carmo; PRIMEZ, L.; Machado, R.C.S.; ZIVIANI, A.; REZENDE, J. F.. Participação em banca de SÉRGIO DE MEDEIROS CÂMARA. AUTENTICAÇÃO DE EVIDÊNCIAS DIGITAIS PARA SISTEMAS CIBERFÍSICOS DE RECURSOS LIMITADOS. 2017. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

6.
FIGUEIREDO, C. M. H.; DANTAS, S.; PREISSMANN, M.; ARTIGAS, D.; KLEIN, S.; Machado, R.C.S.. Participação em banca de Diana Sasaki. Sobre coloração total de grafos cúbicos. 2013. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Qualificações de Doutorado
1.
AMORIM, C. L.; Machado, R.C.S.; MORAES, L. F. M.; DUTRA, D. L. C.. Participação em banca de Victor Cracel Messner. MODELO DE SEGURANCA BASEADO EM CONFIANCA PARA REDES OPORTUNISTICAS. 2021. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

2.
L. F. R. da C. Carmo; MICELLI, C.; Machado, R.C.S.. Participação em banca de Wilson Melo Junior. Uso de Eventos Físicos para Autenticação em Sistemas Computacionais Pervasivos. 2017. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

3.
L. F. R. da C. Carmo; PRIMEZ, L.; REZENDE, J. F.; Machado, R.C.S.. Participação em banca de Sergio Camara. Forense Digital para Sistemas Ciber-Físicos`. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

4.
NOGUEIRA, L.; Vinícius G. P. de Sá; PROTTI, F.; Machado, R.C.S.. Participação em banca de ADALTON DE SENA ALMEIDA. HEURÍSTICAS ITERATIVAS PARA MINIMIZAÇÃO DE RAMIFICAÇÕES EM ÁRVORES GERADORAS. 2013. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

Qualificações de Mestrado
1.
ALMEIDA, S.; SASAKI, D.; GUEDES, A.; Machado, R.C.S.. Participação em banca de MAYARA MIDORI OMAI. COLORAÇÃO DISTINTA NA VIZINHANÇA EM GRAFOS INDIFERENÇA. 2017. Exame de qualificação (Mestrando em Engenharia de Produção e Sistemas (Ppgeps)) - Universidade Tecnológica Federal do Paraná.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
I Semana de Algoritmos da UFPR.Usos e Aplicações dos Números Aleatórios. 2018. (Seminário).

2.
SATI'2017 - Semana de Atualização em Tecnologia da Informação.Padrões de Segurança Cibernética. 2017. (Seminário).

3.
WPCCG'2017 - II Workshop de Pesquisas em Computação dos Campos Gerais.Padrões de Segurança Cibernética. 2017. (Simpósio).

4.
SEMINÁRIO DE SEGURANÇA CIBERNÉTICA EM METROLOGIA LEGAL.Segurança de Dispositivos Inteligentes: especificação de requisitos e avaliação da conformidade. 2016. (Seminário).

5.
Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais,.Identidade das Coisas: Reflexões sobre a identificação e a autenticação de dispositivos inteligentes. 2016. (Simpósio).

6.
City Infrastructure Forum Brasil.Redes Ineligentes e Eficiência Energética. 2012. (Seminário).

7.
ALIO/EURO Workshop on Applied Combinatorial Optimization.Approximate Graph Diameter via Double-sweep BFS. 2010. (Encontro).

8.
ALIO-INFORMS International Joint Meeting.Scheduling Problems for Communication over Unidirectional Channels. 2010. (Encontro).

9.
Cologne-Twente Workshop on Graphs and Combinatorial Optimization.Chromatic index of chordless graphs. 2010. (Encontro).

10.
II Seminário Brasileiro de Sistemas de Medição Remota e Centralizada de Água e Gás.Validação de Software em Metrologia Legal. 2010. (Seminário).

11.
International Symposium on Combinatorial Optimization.Total chromatic number of {square,unichord}-free graphs. 2010. (Simpósio).

12.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Algoritmos de coloração de arestas e coloração total baseados em decomposição por proper 2-cutsets. 2010. (Seminário).

13.
Cologne-Twente Workshop on Graphs and Combinatorial Optimization.NP-completeness of determining the total chromatic number of graphs that do not contain a cycle with a unique chord. 2009. (Encontro).

14.
Congresso Brasileiro de Metrologia. Metrologia temporal na verificação de integridade de software em instrumentos de medição. 2009. (Congresso).

15.
Latin-American Algorithms, Graphs and Optimization Symposium.Edge-colouring subject to local restrictions. 2009. (Encontro).

16.
PRINCETON DIMACS WORKSHOP ON GRAPH COLOURING AND STRUCTURE.Edge-colouring unichord-free graphs. 2009. (Encontro).

17.
Princeton Meeting on Discrete Mathematics.Edge-colouring via decompositions. 2009. (Encontro).

18.
Séminaire Algorithmes et Combinatoire du LIAFA.Decompositions for edge-colouring and total-colouring. 2009. (Seminário).

19.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Decomposições para Coloração de Arestas e Coloração Total de Grafos. 2009. (Seminário).

20.
Seminário Internacional de Metrologia Elétrica.Aspectos de Segurança da Informação em Redes de Medidores de Energia Elétrica: uma Visão de Metrologia Legal. 2009. (Seminário).

21.
Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Verificação de integridade de software embarcado através de análise de tempo de resposta. 2009. (Simpósio).

22.
Workshop de Segurança da Informação.Aspectos de segurança em medidores inteligentes. 2009. (Seminário).

23.
ALIO/EURO Workshop on Applied Combinatorial Optimization.Edge-coloring graphs with no cycle with a unique chord. 2008. (Encontro).

24.
Cologne-Twente Workshop on Graphs and Combinatorial Optimization.A decomposition for total-coloring graphs of maximum degree 3. 2008. (Encontro).

25.
Latin-American Algorithms, Graphs, and Optimization Symposium.Sufficient conditions for a graph to be edge-colorable with maximum degree colors. 2008. (Simpósio).

26.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Coloração de arestas em grafos que não possuem ciclo com corda única. 2008. (Seminário).

27.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Condições suficientes para um grafo ser Classe 1. 2007. (Seminário).

28.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Condições suficientes para um grafo ser Classe 1. 2007. (Seminário).

29.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Coloração total de grids parciais e grids multidimensionais. 2007. (Seminário).

30.
II Latin-American Workshop on Clique in Graphs.On breadth-first search and graph diameter bounds. 2006. (Encontro).

31.
Seminário do Grupo de Grafos e Algoritmos da UFRJ.Busca em Largura e Diâmetro de Grafos. 2006. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
Machado, R.C.S.. WRAC+2017 - III Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança. 2017. (Congresso).

2.
Machado, R.C.S.. 8th Latin American Workshop on Cliques in Graphs. 2017. (Congresso).

3.
Machado, R.C.S.. WRAC+2016, II Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança. 2016. (Congresso).

4.
MACHADO, RAPHAEL CARLOS SANTOS; BOCCARDO, DAVIDSON . 9th International Conference on Bio-inspired Information and Communications Technologies - Special Track on Computational Intelligence for Information Security. 2015. (Congresso).

5.
BOCCARDO, DAVIDSON ; Machado, R.C.S. ; CARMO, LUIZ F. R. C. ; SZWARCFITER, J. . Sixth International Summer School on Information Security and Protection. 2015. (Outro).

6.
Machado, R.C.S.. WRAC+ 2015: I Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança. 2015. (Congresso).

7.
CARMO, LUIZ F. R. C. ; BOCCARDO, DAVIDSON R. ; PRADO, CHARLES ; MACHADO, R. C. S. . Workshop Inmetro-NIST: Cyber Security for Smart Infrastructures. 2014. (Congresso).

8.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . IX SegInfo ? Workshop de Segurança da Informação ? Edição 2014. 2014. (Congresso).

9.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . VIII SegInfo ? Workshop de Segurança da Informação ? Edição 2013. 2013. (Congresso).

10.
DANTAS, S. ; Braga, Marília D. V. ; KOWADA, L. ; Machado, R.C.S. . Tenth Annual RECOMB Satellite Workshop on Comparative Genomics. 2012. (Congresso).

11.
Machado, R.C.S.. Workshop sobre Grafos e Aplicações. 2012. (Congresso).

12.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . VII SegInfo ? Workshop de Segurança da Informação ? Edição 2012. 2012. (Congresso).

13.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . VI SegInfo ? Workshop de Segurança da Informação ? Edição 2011. 2011. (Congresso).

14.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . V SegInfo ? Workshop de Segurança da Informação ? Edição 2010. 2010. (Concurso).

15.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . IV SegInfo ? Workshop de Segurança da Informação ? Edição 2009. 2009. (Congresso).

16.
Machado, R.C.S.; SALGADO, BRUNO ; SOARES, RAFAEL . I SegInfo ? Workshop de Segurança da Informação ? Edição 2005. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Pedro Alfradique. Análise de Impacto em Privacidade e Proteção de Dados. Início: 2021. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

2.
Antonio Cardoso de Brito Junior. Privacidade e Proteção de Dados em Aplicações de Mobilidade. Início: 2021. Dissertação (Mestrado profissional em Computação) - Universidade Federal Fluminense. (Orientador).

3.
Alessandro Monteiro da Costa. Extração de Dados de Dispositivos Celulares para fins de Análise Forense. Início: 2021. Dissertação (Mestrado profissional em Computação) - Universidade Federal Fluminense. (Orientador).

4.
Eduardo Bezerra. Avaliação de Segurança de ECDIS. Início: 2021. Dissertação (Mestrado profissional em Computação) - Universidade Federal Fluminense. (Orientador).

5.
Bruno Calazans. Testes de Segurança em Ambientes Virtualizados. Início: 2020. Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia. (Orientador).

6.
Augusto Parisot. Ferramentas e Métodos para Teste de Geradores de Números Aleatórios. Início: 2020. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

Tese de doutorado
1.
Maxli Campos. Honeynets em Ambientes ICS-SCADA2. Início: 2022. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

2.
Lucas Severiano. Ferramentas e Métodos para Simulação de Submarinos. Início: 2021. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

3.
Antônio Lemos Régis. Segurança em Sistemas Elétricos`. Início: 2021. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

4.
Raimundo Josedi Ramos Veloso. Sistemas Multimídia. Início: 2021. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

5.
Jailton Neves. Ensaio de Proficiência de Laboratórios de Análise de Software por meio de Teste de Mutantes. Início: 2020. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

6.
Carlos Eduardo Pires de Albuquerque. Segurança Cibernétca no Setor Marítimo. Início: 2020. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

7.
Vitor Tavares. Gerador de Números Aleatórios por Fótons Emaranhados. Início: 2020. Tese (Doutorado em METROLOGIA) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Iniciação científica
1.
Felipe Simões. Marcas d'Água em Grafos de Software. Início: 2021. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense. (Orientador).

2.
Icaro Lessa de Souza Monteiro. Desenvolvimento e Implementação de um Sistema de Monitoramento de Ambiente Utilizando Dispositivos de Internet das Coisas. Início: 2020. Iniciação científica (Graduando em Análise e Desenvolvimento de Sistemas) - Universidade do Grande Rio, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. (Orientador).

3.
Mylena Kathleen Mosqueira de Assis. Desenvolvimento e Implementação de um Sistema de Monitoramento de Ambiente Utilizando Dispositivos de Internet das Coisas. Início: 2020. Iniciação científica (Graduando em Engenharia Mecânica) - Universidade Católica de Petrópolis, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Adriana Paiva. Método para implantação da gestão de riscos na Administração Pública ? Estudo de caso: Inmetro.. 2021. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

2.
Leandro Pinho Corrêa. Infraestrutura de Software para Disseminação de Números Aleatórios Verificáveis. 2020. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

3.
Thaís Mendes Barras. Esquema de ensaio de proficiência para laboratórios que realizam avaliação de produto de software: critério quantitativo de avaliação. 2020. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

4.
Gustavo Kuster. Análise da governança regulatória da Política Nacional de Uso Racional de Energia Elétrica. 2020. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

5.
Carlos Roberto Gonçalves Vianna Filho. Modelos de Viabilidade para a Adoção de Padrões de Segurança Cibernética. 2019. Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, . Coorientador: Raphael Carlos Santos Machado.

6.
Carlos Alberto Martins de Souza Teles. Requisitos e Ensaios de Segurança Cibernética com foco em Desempenho e Disponibilidade. 2019. Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, . Coorientador: Raphael Carlos Santos Machado.

7.
Alesom. COLORAÇÃO TOTAL EM GRAFOS POTÊNCIA DE CICLO. 2019. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

8.
Márcia Regina Campos Ferreira. O IMPACTO DO RUÍDO NO AMBIENTE LABORAL PARA A VOZ DOS DOCENTES. 2018. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

9.
Letícia Mariano Ribeiro de Sousa. Avaliação de Riscos no estudo de Programas de Avaliação da Conformidade na área da Tecnologia da Informação e Comunicação. 2018. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

10.
Antonio Lacerda. GARANTIA DE ATUALIZAÇÃO MASSIVA DE FIRMWARE DE MEDIDORES INTELIGENTES ATRAVÉS DE UM RECIBO AGREGADOR. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Raphael Carlos Santos Machado.

11.
Railson Motta. Planejamento da vigilância de campo em metrologia legal baseado em gestão de riscos e análise de dados. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

12.
Bruno de Carvalho do Couto. Comparação interlaboratorial em ensaios de medidores de energia elétrica. 2016. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

13.
Valeria Farias Alves. Uma Abordagem Baseada em Workflow para Produção de Datasets Sintéticos de Fluxos de Acessos com Marcações para Identificação de Ataques de Negação de Serviço. 2015. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, . Coorientador: Raphael Carlos Santos Machado.

14.
Roberta de Freitas Chamusca. PROPOSIÇÃO DE UM MÉTODO PARA A SELEÇÃO DE TIPOS DE ESQUEMAS DE CERTIFICAÇÃO DE PRODUTOS. 2015. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

15.
Letícia Mariano Ribeiro de Souza. Análise de Riscos de Programas de Avaliação da Conformidade no Setor de Segurança Cibernética. 2015. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia, . Orientador: Raphael Carlos Santos Machado.

16.
Sergio Medeiros Camara. Uma arquitetura de segurança para medidores inteligentes - verificação prática de dados de energia multitarifada. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Raphael Carlos Santos Machado.

Tese de doutorado
1.
Alan Oliveira de Sá. System Identification Attacks, Model-based Offensives and Countermeasures in Networked Control Systems. 2019. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro, . Coorientador: Raphael Carlos Santos Machado.

2.
Helio Bomfim Macedo Filho. Colorações de Cliques e Colorações de Bicliques de Grafos. 2014. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

Trabalho de conclusão de curso de graduação
1.
Eduardo Lemos de Moraes. FERRAMENTA PARA GERENCIAMENTO DE ARQUIVOS NA NUVEM COM FOCO EM EFICIÊNCIA DE ARMAZENAMENTO E SEGURANÇA DE DADOS. 2021. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Computação) - Universidade Federal Fluminense. Orientador: Raphael Carlos Santos Machado.

2.
Mariana Pino. Testes de Software com foco em Desempenho e Disponibilidade. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Raphael Carlos Santos Machado.

3.
Pedro Monte Mor. Detecção de ataques baseada em flows. 2014. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Raphael Carlos Santos Machado.

4.
Viktor Hugo. Metodologia de criação de datasets rotulados para sistemas de deteção de ataques. 2014. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Raphael Carlos Santos Machado.

5.
Riccardo Campisano. MÉTODOS DE AGRUPAMENTO DE ACESSOS BASEADOS EM FLUXOS DE REQUISIÇÕES DE SERVIDORES WEB. 2014. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Raphael Carlos Santos Machado.

6.
Luís Magalhaes. Metodologia de criação de datasets rotulados para sistemas de deteção de ataques. 2014. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Raphael Carlos Santos Machado.

7.
Érika de Freitas. Metodologia de criação de datasets rotulados para sistemas de deteção de ataques. 2014. Trabalho de Conclusão de Curso. (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Raphael Carlos Santos Machado.

Iniciação científica
1.
André Gustavo Lima Figueiredo. Construção de um simulador de ataques DDoS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

2.
Felipe Gonçalves Costa Castro. Construção de um simulador de ataques DDoS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

3.
Paulo Rodrigo Lima Figueiredo. Construção de um simulador de ataques DDoS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

4.
Pedro Henrique da Silva Nogueira. Construção de um simulador de ataques DDoS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

5.
Marcos Vinicius Machado Rodrigues. Construção de um simulador de ataques DDoS. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

6.
Lawrence Fernandes. Desenvolvimento de uma ferramenta de identificação de dispositivos em rede. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

7.
Matheus Santos. Desenvolvimento de um ambiente de simulação de ataques distribuídos de negação de serviço. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

8.
Guilherme Pereira. Desenvolvimento de um ambiente de apoio à computação distribuída. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

9.
Rafael Valfre. Análise forense computacional e identificação de origens de ataques distribuídos de negação de serviço. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

10.
Jarcy de Azevedo Junior. Construção de um simulador de ataques DDoS. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.

11.
Raquel Lima Logullo de Oliveira. Construção de um simulador de ataques DDoS. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raphael Carlos Santos Machado.



Inovação



Patente
1.
 Machado, R.C.S.; RIBEIRO, L. . Dispositivo de Verificação de Integridade. 2014, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR10201303167, título: "Dispositivo de Verificação de Integridade" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 14/01/2014


Programa de computador sem registro
1.
Machado, R.C.S.. Simulador de Ataques Distribuídos de Indisponibilidade. 2014.


Projetos de pesquisa
2021 - Atual
Sistema Inteligente para Gestão de Mobilidade de Veículos usando Blockchains com Técnicas de Crowdsourcing e Monetização
Descrição: A mobilidade nos grandes centros urbanos brasileiros, incluindo as regiões metropolitanas do Estado do Rio de Janeiro, constitui um desafio de grandes proporções. Sistemas de mobilidade são estudados há décadas, mas muitas das soluções praticadas atualmente possuem sérias limitações, usualmente atribuídas à dificuldade na coleta e análise de dados em tempo hábil. Este projeto propõe a concepção de um sistema de otimização da mobilidade urbana baseado na coleta massiva de dados sobre o comportamento individual de seus usuários (e.g, veículos, passageiros, pedestres), usando tecnologias de diagnóstico veicular e dispositivos pessoais inteligentes. O diferencial desta proposta é uma estratégia de crowdsourcing, onde usuários do sistema de mobilidade contribuem de forma voluntária, motivados por um mecanismo de incentivo baseado em blockchains, onde a informação é monetizada e convertida em cripto-créditos. Redes de comunicação de alta velocidade (e.g., 5G) permitem a criação de aplicações baseadas tanto na comunicação direta entre as entidades (i.e. v2x), como com a Internet ou outros sistemas em nuvem. Por fim, métodos de inteligência artificial aptos a gerenciar grandes volumes de informação (e.g., machine learning, deep learning) são empregados para propiciar o uso eficiente dessas informações, e a tomada de decisão visando objetivos de otimização da mobilidade urbana tais como a redução no tempo de trajetos ou de emissão de poluentes. A proposta se caracteriza por integrar tecnologias já existentes, tendo o potencial para constituir resultados de elevado grau de maturidade tecnológica. Ao unir crowdsourcing e monetização, têm-se uma solução que pode evoluir de forma participativa, criando novos modelos de negócio, sem o ônus dos custos de infraestrutura e coleta de dados. A equipe executora é multidisciplinar e composta por 11 pesquisadores (9 deles doutores) atuantes em quatro diferentes ICTs localizadas no Rio de Janeiro: Inmetro, UFF, UFRJ e SEPOL-RJ..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (3) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2019 - Atual
Suporte ao Desenvolvimento da Indústria 4.0
Descrição: Com as revoluções industriais mais recentes, numa série de estudos mostram uma crescente relação de dependência entre o desenvolvimento econômico das nações e seus níveis de desenvolvimento tecnológico. Nesse sentindo, se faz cada vez mais necessário o suporte ao desenvolvimento tecnológico no âmbito nacional e sua incorporação a indústria existente. Nessa linha que este projeto atua ao propor ferramentas para suporta ao desenvolvimento da Industria 4.0 no Brasil. Propondo o desenvolvimento de rede sensores (através da aplicação de novos materiais) inteligentes (através do uso de ferramentas de TI) e seguros com aplicação de teoria de controle e modelagem do seu comportamento para aplicação em robótica e automação de precisão para suporte à Indústria 4.0..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador / DO PRADO, CHARLES B. - Integrante / MELO, WILSON S. - Integrante / CARMO, LUIZ FERNANDO RUST DA C. - Integrante / RODRIGO P DAVID - Integrante.
2019 - Atual
Desenvolvimento de Esquemas de Ensaios de Proficiência para Laboratórios de Análise de Software
Descrição: Desenvolvimento de Esquemas de Ensaios de Proficiência para Laboratórios de Análise de Software.
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Prefeitura Municipal de Piraí - Outra.
2013 - 2016
SADI - Simulador de Ataques Distribuídos de Indisponibilidade (CNPq/RHAE)
Descrição: O objetivo do presente projeto é desenvolver uma ferramenta de simulação de Ataques Distribuídos de Negação de Serviço ? denotamos a ferramenta pelo codinome SADI (Simulador de Ataques Distribuídos de Indisponibilidade). Ataques distribuídos de negação de serviços são baseados na atuação coordenada de um grande número de agentes maliciosos, os quais buscam sobrecarregar o sistema-alvo e os seus sistemas de detecção e resposta a ataques. O SADI dará origem a um Serviço de Simulação que será oferecido segundo dois modelos básicos. No modelo ?simulação remota?, o uso de virtualização permitirá a rápida instanciação de máquinas remotas de ataque distribuídas geograficamente, e, com isso, reproduzir os mais diversos perfis de ataque com um elevado grau de similaridade. O modelo ?simulação local? será executado através do posicionamento de equipamentos de simulação nas ?bordas? das redes e sistemas sob simulação. Tais equipamentos buscarão reproduzir localmente o efeito de um ataque distribuído. O projeto apresentou resultados excepcionais, dando origem a um enorme conhecimento teórico, mas também, a uma ferramenta prestigiada no mercado de segurança da informação - sendo a base para um serviço de teste de sobrecarga - e reconhecida pelo governo (Ministério da Defesa) como um "Produto Estratégico de Defesa". O projeto contou com o apoio do CNPq, chamada RHAE, no valor total de R$ 123.200,00 em bolsas. (Processo 45408220134.).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projeto de desenvolvimento tecnológico
2019 - Atual
Transformação Digital no Setor Marítimo

Projeto certificado pela empresa Clavis Segurança da Informação em 29/07/2020.
Descrição: O presente projeto tem por objetivo o desenvolvimento de ferramentas e métodos para aumentar a eficiência da Indústria Naval, especificamente, no setor de Logística Portuária e Marítima, por meio de ações de Transformação Digital. A abordagem proposta segue uma estratégia de duas etapas. Na primeira etapa, ações de digitização permitirão a plena visibilidade de uma série de processos industriais, coletando dados nos portos e embarcações e centralizando-os em plataformas de computação em nuvem. Em uma segunda etapa, a análise crítica de tais dados - incluindo desde análises "manuais", passando por algoritmos de otimização combinatória, até métodos de inteligência artificial, permitirão incremento de eficiência em tais processos. O impacto de tais "incrementos" de eficiência é enorme, considerando-se a magnitude do PIB dos setores da economia do mar brasileira, e a influência das atividades marítimas em diversos aspectos relevantes para o país, tais como: econômico, turístico, logístico, energético, alimentar, ambiental, segurança e defesa..
Situação: Em andamento; Natureza: Desenvolvimento.

Integrantes: Raphael Carlos Santos Machado - Coordenador / BOCCARDO, DAVIDSON - Integrante / SALGADO, BRUNO - Integrante / SOARES, RAFAEL - Integrante / Alan de Sá - Integrante.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.
2014 - Atual
Cuirass: uma ferramenta para análise e proteção de software
Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código..
Situação: Em andamento; Natureza: Desenvolvimento.

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): FAPERJ - Auxílio financeiro.
2014 - Atual
Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço
Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .

Integrantes: Raphael Carlos Santos Machado - Coordenador.
Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.



Outras informações relevantes


Membro do comitê de programa/científico das conferências: SBSeg 2011, Metrologia 2011, DGA 2013, BICT'2014, SBSeg'2015, BICT'2015, WTICG'2015, SBSeg'2016, WTICG'2016, SBSeg'2017, WTICG'2017, MALCON'2017, SBSeg 2018, WRAC+2018, BICT 2019, WPCCG'2019.
Membro do corpo de revisores das conferências: SBPO 2009, SBSeg 2010, WebMedia 2010, SBRC 2011, Recomb 2011, IEEE-LatinCom 2011, Lagos 2011, SoDA 2012, Latin 2012, SBRC 2012, SBSeg'2013, MALWARE'2013 Americas, WG'2014, MALCON'2014, SBSeg'2014, MALCON2015, ETC'2016, MALCON 2016, CSBC-CTD 2018, ISAAC 2019.

Pareceres e avaliações de segurança de software junto à Indústria desde 2013 (detalhes omitidos por questão de confidencialidade).
NT26/2014, 22/07/2014; NT40/2014, 16/10/2014; Relatório Ensaio, 01/11/2014.
NT25/2014, 22/07/2014.
NT20/2014, 26/06/2014; Relatório Ensaio, 26/06/2014.
NT28/2014, 26/08/2015.
NT23/2014-Dimel/Dinst, 10/06/2014; Relatório Ensaio, 10/06/2014.
NT26/2014-Dimel/Dinst, 16/07/2014; NT008/2015, 5/02/2015; NT025/2015, 31/03/2015
NT004/2015, 15/01/2015; NT032/2015, 07/05/2015. 
NT024/2015, 31/03/2015; NT029/2015, 29/04/2015. 
Relatório de Ensaio, 18/03/2015 
NT039/2014, 06/10/2014
NT021/2014, 26/06/2014; NT037/2014, 6/10/2014; Relatório de Ensaio, 14/01/2015. NT038/2014, 6/10/2014; Relatório de Ensaio, 14/01/2015. 
NT035/2014, 30/09/2014; Relatório de Ensaio, 15/01/2015.
NT024/2014, 16/07/2014; NT041/2014, 18/11/2014.
NT27/2014, 30/07/2014; NT042/2014, 21/11/2014; Relatório de Ensaio, 26/03/2015
NT031/2015, 06/05/2015; Relatório de Ensaio, 20/05/2015.
NT027/2015, 20/04/2015.
NT015/2015, 09/02/2015.
NT016/2015, 09/02/2015.
NT Proc. 54685, NT Proc. 178516, NT Proc. 205590, NT Proc. 177970, NT Proc. 178039, NT Proc. 178064, NT Proc. 162817, NT Proc. 220831, NT Proc. 234383 e NT Proc. 234311.



Página gerada pelo Sistema Currículo Lattes em 13/04/2023 às 11:02:53