Jefferson Pereira da Silva

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Produções bibliográficas

• da Silva, Jefferson Pereira ; Alchieri, Eduardo ; Bordim, Jacir ; Costa, Lucas . A Secure and Distributed Control Plane for Software Defined Networks. Advances in Intelligent Systems and Computing. 34ed.: Springer International Publishing, 2020, v. , p. 994-1006.

• SILVA, JEFFERSON ; Alchieri, Eduardo ; Bordim, Jacir ; GONDIM, JOÃO . Um Plano de Controle Seguro e Distribuído para Redes Definidas por Software. In: XX Workshop de Testes e Tolerância a Falhas, 2019. Anais do Workshop de Testes e Tolerância a Falhas (WTF). p. 20.

• da Silva, Jefferson Pereira ; NERES CARVALHO, RANYELSON . Aprimorando uma arquitetura SDN com mecanismos de detecção de ataques DoS. 2019. (Apresentação de Trabalho/Outra).

• da Silva, Jefferson Pereira ; DAOUD, C. M. ; SEGATO, T. H. F. ; FERNANDEZ, F. F. . SELF RECORD - APLICAÇÃO MOBILE PARA REGISTRO DE HISTÓRICO MÉDICO. 2019. (Apresentação de Trabalho/Outra).

• da Silva, Jefferson Pereira ; NERES CARVALHO, RANYELSON . Arquitetura para detecção de ataques DoS em redes SDN. 2019. (Apresentação de Trabalho/Outra).

• da Silva, Jefferson Pereira ; NERES CARVALHO, RANYELSON . Um Plano de Controle Seguro e Distribuído para Redes Definidas por Software. 2019. (Apresentação de Trabalho/Outra).

Projetos de pesquisa

• 2018 - Atual

  LAB APP ? LABORATÓRIO DE ESTUDO E DESENVOLVIMENTO DE APLICATIVOS PARA DISPOSITIVOS MÓVEIS, Projeto certificado pela empresa Instituto Federal de Brasília em 09/04/2019., Descrição: O presente projeto que tem por finalidade criar condicoes de estudo e desenvolvimento de aplicativos para dispositivos moveis. Serao fornecidos, fornecendo aprendizado e desenvolvimento de tais aplicacoes... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (30) . , Integrantes: Jefferson Pereira da Silva - Coordenador / Diógenes Ferreira Reis Fustinoni - Integrante / Heitor José dos Santos Barros - Integrante / Caio Moura Daoud - Integrante / Tiago Henrique Faccio Segato - Integrante.

• 2017 - Atual

  P4Sec: Securing Networks in the Programmable Data Plane Era, Descrição: Recent advances in Software Defined Networking (SDN) have expanded our ability to program the network to its data plane. Through domain specific languages like P4, network operators can quickly deploy new protocols on forwarding devices, customize their functionality, and develop innovative services. This flexibility comes however with a cost: network-wide security and correctness properties (e.g., isolation, reachability, etc.) become much harder to ensure, because network behavior is now determined by a combination of the control plane-driven configuration and the data plane program that resides on devices (also called switches). Existing network verification tools, which rely on a fixed, invariant model of the data plane, are inadequate for programmable data planes. We propose to develop new techniques to verify and enforce security properties in data plane networks. Our proposed verification techniques extend existing verification tools by automatically generating a data plane model from a P4 program. We then adapt existing verifications tools to work with our dynamically-generated models to verify network configuration updates issued by an SDN controller. We also propose a new approach to ensuring that network security properties are satisfied by a network configuration that is based on data plane enforcement. We propose to develop an inline monitor, implemented in the data plane itself, that enforces critical security properties, such as isolation and bandwidth limits, even in the presence of a faulty user data plane program or controller. Today?s networks are increasingly called on to perform security services, e.g. intrusion detection, in the network. A programmable data plane network can be used to accelerate and enhance such services by performing some of the required processing in the network data plane. The second thrust of this proposal concerns new data plane security services made possible by programmable data plane networks. We propose to develop new data plane-based security functions and techniques for composing them in a manner that balances performance characteristics of the data plane (very fast but low complexity) and dedicated virtualized network function units attached to the network (slower but more sophisticated) to implement the required security function... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jefferson Pereira da Silva - Coordenador / Eduardo Adilio Pelinson Alchieri - Integrante.