Raphael Carlos Santos Machado

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/9594450995231533
  • Última atualização do currículo em 09/12/2018


Raphael Machado é Doutor em Engenharia de Sistemas e Computação (COPPE/UFRJ 2010). É 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), as edições 2015, 2016, 2017 e 2018 do WRAC+, o ISSISP 2015, o RECOMB 2012, o WGA 2012, o CS2I 2014, e várias edições do Workshop SegInfo. Raphael é 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. É coordenador do do Programa de Pós-Graduação em Metrologia e Qualidade do Inmetro, e docente permanente do Programa de Pós-Graduação em Ciência da Computação do CEFET/RJ, onde ocupa a cadeira de Análise e Projeto de Algoritmos. Raphael Foi palestrante convidado de eventos de prestígio nacional (como o SegInfo e o SBSeg) e internacional (como o Princeton DIMACS Meeting). É 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 e Comitê Gestor do PNCH-TIC. (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


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


2006 - 2010
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Decomposições para coloração de arestas e coloração total de grafos, Ano de obtenção: 2010.
Orientador: Celina Miraglia Herrera de Figueiredo.
2003 - 2006
Mestrado em Matemática Aplicada.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Sistemas Dinâmicos e Criptossistemas,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 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador-tecnologista, Carga horária: 40

Atividades

05/2018 - Atual
Direção e administração, Inmetro em Xerém, .

Cargo ou função
Presidente da Comissão Gestora do Pronametro-PNCH-TIC.
05/2018 - Atual
Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.

Cargo ou função
Membro da Comissão Gestora do Subprograma Pronametro-Ensino.
08/2017 - Atual
Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.

Cargo ou função
Membro do Conselho Acadêmico.
07/2017 - Atual
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.
05/2017 - Atual
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/2014 - Atual
Conselhos, Comissões e Consultoria, Diretoria de Metrologia Científica e Industrial, .

Cargo ou função
Membro da Comissão Deliberativa.
01/2013 - Atual
Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação

Disciplinas ministradas
Topicos Especiais em Metrologia Cientifica I

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

2016 - Atual
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 - Atual
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 Avaliação Docente.
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.
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, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
03/2012 - Atual
Ensino, Engenharia Química, Nível: Graduação

Disciplinas ministradas
Cálculo I
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.



Projetos de pesquisa


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.
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.
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.
2017 - Atual
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 Computa c~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: Em andamento; Natureza: Pesquisa.
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.
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.
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.
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.
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.
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.
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
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.
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.


Projetos de desenvolvimento


2014 - 2015
Avaliação de Segurança de Aplicações de Software
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.
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.
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): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - 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.
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.

2.
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.

3.
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.

4.
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.

5.
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. 1, p. 1, 2018.

6.
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.

7.
BENTO, L.2017BENTO, L. ; BOCCARDO, DAVIDSON ; Machado, R.C.S. ; MIYAZAWA, F. ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Dijkstra graphs. DISCRETE APPLIED MATHEMATICS, p. 1, 2017.

8.
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.

9.
DE SA, ALAN2017DE SA, ALAN ; CARMO, LUIZ ; Machado, Raphael . Covert Attacks in Cyber-Physical Control Systems. IEEE Transactions on Industrial Informatics, v. 1, p. 1-1, 2017.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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, RAPHAEL2010MACHADO, 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.

35.
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.

36.
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, RAPHAEL2010MACHADO, 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.

Capítulos de livros publicados
1.
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.

2.
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.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

42.
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.

43.
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.

44.
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.

45.
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.

46.
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.

47.
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.

48.
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.

49.
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.

50.
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.

51.
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.

52.
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.

53.
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.

54.
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.

55.
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.

56.
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.
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.. Why are countries creating public random number generators?. 2018. (Programa de rádio ou TV/Entrevista).

2.
Machado, R.C.S.. Software Pioneiro no Brasil Avalia Desempenho e Disponibilidade de Sites. 2018. (Programa de rádio ou TV/Entrevista).


Demais tipos de produção técnica


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.. 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.
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í.

2.
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á.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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 a validação de bombas medidores 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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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á.

16.
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á.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

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.

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. DETEC C~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.
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.

2.
MICELLI, C.; L. F. R. da C. Carmo; Machado, R.C.S.. Participação em banca de Wilson de Souza 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.
Leandro Pinho Corrêa. Arquitetura de um sistema de geração de números aleatórios para aplicações críticas. Início: 2018. Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia. (Orientador).

2.
Thaís Mendes Barras. Acreditação de Laboratórios para Avaliação de Segurança Cibernética. Início: 2018. Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia. (Orientador).

3.
Adriana Terra Creazola. Sustentabilidade aplicada as estratégias de gestão pública ? Proposta de um modelo de mapa estratégico sustentável com auxílio da metrologia para a Gestão Pública Municipal. Início: 2018. Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia. (Orientador).

4.
Lucas Vital Moreira. Detecção de bots sociais. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. (Orientador).

5.
Gustavo José Kuster de Albuquerque. Governança Regulatória em Segurança Cibernética. Início: 2018. Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia. (Orientador).

6.
Carlos Roberto Gonçalves Vianna Filho. Modelos de Viabilidade para a Adoção de Padrões de Segurança Cibernética. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. (Orientador).

7.
Carlos Alberto Martins de Souza Teles. Requisitos e Ensaios de Segurança Cibernética com foco em Desempenho e Disponibilidade. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. (Orientador).

Tese de doutorado
1.
Alan Oliveira de Sá. Segurança em Sistemas de controle e Automação. Início: 2016. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro. (Orientador).

Trabalho de conclusão de curso de graduação
1.
Mariana Pino. Testes de Software com foco em Desempenho e Disponibilidade. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Tecnológica Federal do Paraná. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
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.

3.
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.

4.
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.

5.
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 Tecnologia) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, . Coorientador: Raphael Carlos Santos Machado.

6.
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.

7.
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.

8.
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.
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.
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.

2.
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.

3.
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.

4.
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.

5.
É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.
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.

4.
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.

5.
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.

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.
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.

10.
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.

11.
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.



Inovação



Patente
1.
 Machado, R.C.S.. 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

Projeto de desenvolvimento tecnológico


Outras informações relevantes


Membro do comitê de programa 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, BICT 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.

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 17/01/2019 às 10:03:23