Antônio Carlos Theóphilo Costa Júnior

Formação complementar

Idiomas

Áreas de atuação

Participação em bancas

Produções bibliográficas

• PADILHA, RAFAEL ; THEÓPHILO, ANTÔNIO ; ANDALÓ, FERNANDA A. ; VEGA-OLIVEROS, DIDIER A. ; CARDENUTO, JOÃO P. ; BERTOCCO, GABRIEL ; NASCIMENTO, JOSÉ ; YANG, JING ; ROCHA, ANDERSON . A Inteligência Artificial e os desafios da Ciência Forense Digital no século XXI. ESTUDOS AVANÇADOS (ONLINE) , v. 35, p. 113-138, 2021.

• THEOPHILO, Antonio ; GIOT, ROMAIN ; ROCHA, ANDERSON . Authorship Attribution of Social Media Messages. IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS , v. 1, p. 1-14, 2021.

• DE REZENDE, EDMAR R.S. ; RUPPERT, GUILHERME C.S. ; THEÓPHILO, ANTÔNIO ; TOKUDA, ERIC K. ; CARVALHO, TIAGO . Exposing computer generated images by using deep convolutional neural networks. SIGNAL PROCESSING-IMAGE COMMUNICATION , v. 66, p. 113-126, 2018.

• ROCHA, ANDERSON ; SCHEIRER, WALTER J. ; FORSTALL, CHRISTOPHER W. ; CAVALCANTE, THIAGO ; THEOPHILO, Antonio ; SHEN, BINGYU ; CARVALHO, ARIADNE R. B. ; STAMATATOS, EFSTATHIOS . Authorship Attribution for Social Media Forensics. IEEE Transactions on Information Forensics and Security , v. 12, p. 5-33, 2017.

• de Mendonça, Ricardo Resende ; de Franco Rosa, Ferrucio ; Theophilo Costa, Antonio Carlos ; Bonacin, Rodrigo ; Jino, Mario . OntoCexp: A Proposal for Conceptual Formalization of Criminal Expressions. OntoCexp: A Proposal for Conceptual Formalization of Criminal Expressions. 1ed.: , 2019, v. , p. 43-48.

• Rezende, Edmar ; Ruppert, Guilherme ; CARVALHO, TIAGO ; THEOPHILO, Antonio ; Ramos, Fabio ; Geus, Paulo de . Malicious Software Classification Using VGG16 Deep Neural Network¿s Bottleneck Features. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2018, v. 738, p. 51-59.

• Costa, Antonio Theophilo ; Endler, Markus ; Cerqueira, Renato . Evaluation of Three Approaches for CORBA Firewall/NAT Traversal. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2005, v. 3761, p. 923-940.

• THEOPHILO, Antonio ; PADILHA, RAFAEL ; ANDALO, FERNANDA A. ; ROCHA, ANDERSON . Explainable Artificial Intelligence for Authorship Attribution on Social Media. In: ICASSP 2022 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022, Singapore. ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022. p. 2909.

• SCHWARZ, STEPHANE ; THEOPHILO, Antonio ; ROCHA, ANDERSON . EMET: Embeddings from Multilingual-Encoder Transformer for Fake News Detection. In: ICASSP 2020 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020, Barcelona. ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020. p. 2777.

• THEOPHILO, Antonio ; PEREIRA, LUIS A. M. ; ROCHA, ANDERSON . A Needle in a Haystack? Harnessing Onomatopoeia and User-specific Stylometrics for Authorship Attribution of Micro-messages. In: ICASSP 2019 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2019, Brighton. ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2019. p. 2692.

• DAHER, J. ; PASTI, R. ; THEOPHILO, Antonio ; SILVA, R. . Evolutionary Combinations of Text Classifiers: Investigating the Diversity of Contexts. In: II Symposium on Knowledge Discovery, Mining and Learning, 2014, São Carlos. Proceedings of the II Symposium on Knowledge Discovery, Mining and Learning - KDMiLe 2014, 2014.

• FIELD, A. ; PARK, C. Y. ; THEOPHILO, Antonio ; WATSON-DANIELS, J. ; TSVETKOV, Y. . An Analysis of Emotions and the Prominence of Positivity in BlackLivesMatter Tweets. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA , 2022.

• THEOPHILO, Antonio ; NASCIMENTO, F. N. C. ; LEITE, L. E. C. ; LEMOS, G. . Implementação de uma Interface de Programação para Serviços de Multicast. 2000. (Apresentação de Trabalho/Seminário).

Projetos de pesquisa

• 2017 - Atual

  Computação Aplicada ao Desenvolvimento de Métodos e Ferramentas para a Análise Forense de Documentos Digitais Utilizando Características de Iluminação, Descrição: O aumento no número de dispositivos utilizados para a captura de imagens e vídeos faz crescer a cada dia o número de documentos digitais (fotos e vídeos) presentes no nosso cotidiano. Seguindo essa tendência, também tornam-se cada vez mais comuns as ferramentas para manipulação deste tipo de documento, tornando mais simples a tarefa de produzir alterações principalmente em imagens. O termo "alteração", empregado para caracterizar alguma modificação realizada, pode se estender desde uma simples correção de brilho em uma foto cotidiana (o que pode ser considerado uma adulteração inocente) até a produção de fotos de uma cena que nunca existiu, com o intuito de denegrir a imagem ou, até mesmo, incriminar um indivíduo. Dentre os tipos mais comuns de adulterações visando enganar o observador, podemos destacar a operação de composição (splicing), que consiste na composição de uma imagem utilizando partes do conteúdo de outras. Para combater tais atitudes, a comunidade forense vem aumentando seus esforços para desenvolver métodos eficientes e eficazes, capazes de identificar diferentes tipos de adulteração, seja ela inocente ou não. Para isso, há diversos tipos de propriedades que podem ser investigadas tais como propriedades de compressão, de ruído e de iluminação. Neste contexto, este projeto de pesquisa visa contribuir com a comunidade forense em diversos aspectos, seja na proposição de novas metodologias para a identificação de falsificações, seja na construção de ferramentas a serem disponibilizadas para a análise de evidências. Em especial, o projeto é focado na exploração de propriedades de iluminação de diferentes formas para identificar composições e na transformação de tais ferramentas em produtos tecnológicos a serem incorporados ao Sistema Integrado de Análise Forense (SInAFI) da Polícia Federal.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Integrante / Tiago José de Carvalho - Coordenador.

• 2016 - Atual

  MediFor: Media Forensics Integrity Analytics, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Integrante / ROCHA, ANDERSON - Coordenador.

• 2016 - Atual

  Déjà Vu: Feature-Space-Time Coherence from Heterogeneous Data for Media Integrity Analytics and Interpretation of Events, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Integrante / ROCHA, ANDERSON - Coordenador.

• 2015 - Atual

  Pesquisa e desenvolvimento de técnicas de Forense Computacional em Mídias Digitais, Descrição: Pesquisa e desenvolvimento de técnicas de Forense Computacional em mídias digitais (texto, imagens, vídeos, ...) a fim de se identificar manipulações indevidas através do estudo e desenvolvimento de técnicas de Aprendizado de Máquina e Reconhecimento de Padrões.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador.

• 2014 - Atual

  DeepEyes: Visual Computing and Machine Intelligence Techniques for Digital Forensics and Electronic Surveillance, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Integrante / ROCHA, ANDERSON - Coordenador.

• 2003 - 2005

  Integrade, Descrição: Este projeto, capitaneado pela USP, visava o desenvolvimento de um middleware para viabilizar a computação em grade, utilizando processamento ocioso de máquinas espalhadas ao redor do mundo. O projeto utilizava a tecnologia CORBA como plataforma de comunicação entre os agentes remotos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Endler, Markus - Integrante / Cerqueira, Renato - Integrante / Fabio Kon - Integrante.

Projetos de desenvolvimento

• 2017 - Atual

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 02), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase o objetivo é o desenvolvimento inicial da ferramenta, cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2017/2018.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 01), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase inicial o objetivo é propor uma arquitetura de ferramenta cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2016/2017.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2015 - 2016

  TSE - Avaliação de Segurança do Sistema Eletrônico de Votação, Descrição: Análise de segurança de partes do Sistema Eletrônico de Votação do Tribunal Superior Eleitoral.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Guilherme Ruppert - Integrante., Financiador(es): Tribunal Superior Eleitoral - Outra.

• 2014 - 2016

  Colossus, Descrição: Desenvolvimento de um sistema de coleta, armazenamento, visualização e análise de dados de mídias sociais para apoio a atividades de inteligência policial. O sistema foi desenvolvido utilizando metodologia ágil, bancos NoSQL e técnicas de aprendizado de máquina. O projeto foi demandado pela Secretaria Extraordinária de Segurança para Grandes Eventos do Ministério da Justiça - SESGE/MJ para ser utilizado durante os Jogos Olímpicos do Rio de Janeiro / 2016.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador., Financiador(es): Ministério da Justiça - Outra.

• 2013 - 2014

  Oráculo, Descrição: Projeto para desenvolver uma especificação e um protótipo funcional de um sistema para coletar, armazenar, visualizar e analisar dados de incidentes de crimes cibernéticos. O sistema tem interface com diferentes tipos de fontes como: mídias sociais, sistemas de resposta a incidentes de segurança, sistemas de análise de malware e equipamentos de segurança (firewalls, servidores web, ...). O projeto foi encomendado pela Polícia Federal para ter o protótipo utilizado na Copa do Mundo de Futebol de 2014 realizada no Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Rodrigo Pasti - Integrante., Financiador(es): Departamento de Polícia Federal - Outra.

• 2017 - Atual

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 02), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase o objetivo é o desenvolvimento inicial da ferramenta, cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2017/2018.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 01), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase inicial o objetivo é propor uma arquitetura de ferramenta cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2016/2017.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2015 - 2016

  TSE - Avaliação de Segurança do Sistema Eletrônico de Votação, Descrição: Análise de segurança de partes do Sistema Eletrônico de Votação do Tribunal Superior Eleitoral.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Guilherme Ruppert - Integrante., Financiador(es): Tribunal Superior Eleitoral - Outra.

• 2014 - 2016

  Colossus, Descrição: Desenvolvimento de um sistema de coleta, armazenamento, visualização e análise de dados de mídias sociais para apoio a atividades de inteligência policial. O sistema foi desenvolvido utilizando metodologia ágil, bancos NoSQL e técnicas de aprendizado de máquina. O projeto foi demandado pela Secretaria Extraordinária de Segurança para Grandes Eventos do Ministério da Justiça - SESGE/MJ para ser utilizado durante os Jogos Olímpicos do Rio de Janeiro / 2016.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador., Financiador(es): Ministério da Justiça - Outra.

• 2013 - 2014

  Oráculo, Descrição: Projeto para desenvolver uma especificação e um protótipo funcional de um sistema para coletar, armazenar, visualizar e analisar dados de incidentes de crimes cibernéticos. O sistema tem interface com diferentes tipos de fontes como: mídias sociais, sistemas de resposta a incidentes de segurança, sistemas de análise de malware e equipamentos de segurança (firewalls, servidores web, ...). O projeto foi encomendado pela Polícia Federal para ter o protótipo utilizado na Copa do Mundo de Futebol de 2014 realizada no Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Rodrigo Pasti - Integrante., Financiador(es): Departamento de Polícia Federal - Outra.

• 2017 - Atual

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 02), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase o objetivo é o desenvolvimento inicial da ferramenta, cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2017/2018.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 01), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase inicial o objetivo é propor uma arquitetura de ferramenta cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2016/2017.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2015 - 2016

  TSE - Avaliação de Segurança do Sistema Eletrônico de Votação, Descrição: Análise de segurança de partes do Sistema Eletrônico de Votação do Tribunal Superior Eleitoral.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2014 - 2016

  Colossus, Descrição: Desenvolvimento de um sistema de coleta, armazenamento, visualização e análise de dados de mídias sociais para apoio a atividades de inteligência policial. O sistema foi desenvolvido utilizando metodologia ágil, bancos NoSQL e técnicas de aprendizado de máquina. O projeto foi demandado pela Secretaria Extraordinária de Segurança para Grandes Eventos do Ministério da Justiça - SESGE/MJ para ser utilizado durante os Jogos Olímpicos do Rio de Janeiro / 2016.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2013 - 2014

  Oráculo, Descrição: Projeto para desenvolver uma especificação e um protótipo funcional de um sistema para coletar, armazenar, visualizar e analisar dados de incidentes de crimes cibernéticos. O sistema tem interface com diferentes tipos de fontes como: mídias sociais, sistemas de resposta a incidentes de segurança, sistemas de análise de malware e equipamentos de segurança (firewalls, servidores web, ...). O projeto foi encomendado pela Polícia Federal para ter o protótipo utilizado na Copa do Mundo de Futebol de 2014 realizada no Brasil.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2017 - Atual

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 02), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase o objetivo é o desenvolvimento inicial da ferramenta, cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2017/2018.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 01), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase inicial o objetivo é propor uma arquitetura de ferramenta cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2016/2017.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2015 - 2016

  TSE - Avaliação de Segurança do Sistema Eletrônico de Votação, Descrição: Análise de segurança de partes do Sistema Eletrônico de Votação do Tribunal Superior Eleitoral.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Guilherme Ruppert - Integrante., Financiador(es): Tribunal Superior Eleitoral - Outra.

• 2014 - 2016

  Colossus, Descrição: Desenvolvimento de um sistema de coleta, armazenamento, visualização e análise de dados de mídias sociais para apoio a atividades de inteligência policial. O sistema foi desenvolvido utilizando metodologia ágil, bancos NoSQL e técnicas de aprendizado de máquina. O projeto foi demandado pela Secretaria Extraordinária de Segurança para Grandes Eventos do Ministério da Justiça - SESGE/MJ para ser utilizado durante os Jogos Olímpicos do Rio de Janeiro / 2016.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador., Financiador(es): Ministério da Justiça - Outra.

• 2013 - 2014

  Oráculo, Descrição: Projeto para desenvolver uma especificação e um protótipo funcional de um sistema para coletar, armazenar, visualizar e analisar dados de incidentes de crimes cibernéticos. O sistema tem interface com diferentes tipos de fontes como: mídias sociais, sistemas de resposta a incidentes de segurança, sistemas de análise de malware e equipamentos de segurança (firewalls, servidores web, ...). O projeto foi encomendado pela Polícia Federal para ter o protótipo utilizado na Copa do Mundo de Futebol de 2014 realizada no Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Rodrigo Pasti - Integrante., Financiador(es): Departamento de Polícia Federal - Outra.

• 2017 - Atual

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 02), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase o objetivo é o desenvolvimento inicial da ferramenta, cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2017/2018.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2016 - 2017

  SmartDiF: Ambiente Inteligente para o Gerenciamento de Ferramentas de Forense Digital (Parte 01), Descrição: A Computação Forense, especificamente a Análise Forense de Documentos Digitais (AFD), trata da sub-área da Ciência da Computação que desenvolve métodos e ferramentas utilizados na análise e validação de documentos digitais, em especial vídeos e imagens. Tais métodos são de vital importância para órgãos como a Polícia Federal e o Poder Judiciário, dado que cada vez mais, imagens e vídeos são apresentados como provas em diversos tipos de casos. Este projeto tem como objetivo o desenvolvimento de software a partir do levantamento, comparação e aperfeiçoamento de métodos da literatura para tratar os problemas da AFD. O objetivo deste trabalho é o desenvolvimento de uma ferramenta para a autenticação de documentos digitais capaz de incorporar métodos para a resolução de problemas de diferentes naturezas como detecção de falsificações do tipo composição ou de imagens geradas por computador. A ferramenta irá incorporar alguns dos principais métodos do estado da arte encontrados na literatura, integrados em um contexto de software moderno direcionado para as principais plataformas atualmente existentes, de modo que o processo de análise de documentos digitais possa ser realizado de forma simples, objetivo, rápido e efetivo. Nesta fase inicial o objetivo é propor uma arquitetura de ferramenta cujo objetivo é solucionar problemas como a escassez de técnicas de análise forense digital disponíveis para o usuário final (investigador forense), além da dificuldade para se obtê-las e utilizá-las. Outro objetivo da ferramenta é a extensibilidade com a possibilidade de adicionar novas técnicas, além de permitir a co-existência de técnicas que tenham infraestrutura de software incompatíveis entre si. Projeto PIBIC/CTI Edital 2016/2017.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Tiago José de Carvalho - Integrante / Erick Leal França - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2015 - 2016

  TSE - Avaliação de Segurança do Sistema Eletrônico de Votação, Descrição: Análise de segurança de partes do Sistema Eletrônico de Votação do Tribunal Superior Eleitoral.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Guilherme Ruppert - Integrante., Financiador(es): Tribunal Superior Eleitoral - Outra.

• 2014 - 2016

  Colossus, Descrição: Desenvolvimento de um sistema de coleta, armazenamento, visualização e análise de dados de mídias sociais para apoio a atividades de inteligência policial. O sistema foi desenvolvido utilizando metodologia ágil, bancos NoSQL e técnicas de aprendizado de máquina. O projeto foi demandado pela Secretaria Extraordinária de Segurança para Grandes Eventos do Ministério da Justiça - SESGE/MJ para ser utilizado durante os Jogos Olímpicos do Rio de Janeiro / 2016.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador., Financiador(es): Ministério da Justiça - Outra.

• 2013 - 2014

  Oráculo, Descrição: Projeto para desenvolver uma especificação e um protótipo funcional de um sistema para coletar, armazenar, visualizar e analisar dados de incidentes de crimes cibernéticos. O sistema tem interface com diferentes tipos de fontes como: mídias sociais, sistemas de resposta a incidentes de segurança, sistemas de análise de malware e equipamentos de segurança (firewalls, servidores web, ...). O projeto foi encomendado pela Polícia Federal para ter o protótipo utilizado na Copa do Mundo de Futebol de 2014 realizada no Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Antônio Carlos Theóphilo Costa Júnior - Coordenador / Rodrigo Pasti - Integrante., Financiador(es): Departamento de Polícia Federal - Outra.

Prêmios