VITOR GONÇALVES DE LIMA

Mestre em Computação pela Universidade Federal de Pelotas na área de Sistemas Digitais e Embarcados com foco em desenvolvimento de contra medidas a ataques por consumo de potência e emissão eletro-magnética em dispositivos que implementem algoritmos criptográficos. As contramedidas são desenvolvidas utilizando estratégias de inserção de ruído, mascaramento dos dados e consumo uniforme. Atualmente é doutorando na Universidade Federal do Rio Grande do Sul com foco em defesa e ataques em algoritmos criptográficos. Experiência na área de Ciência da Computação, com experiência nos campos: inteligência artificial; matemática simbólica; diagramação Funcional e não Funcional; desenvolvimento nas liguagens JAVA, C, MatLab, Python e SQL.

Informações coletadas do Lattes em 07/01/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Microeletrônica

2019 - Atual

Universidade Federal do Rio Grande do Sul
Título: Metodologias seguras em ASIC e FPGA contra ataques laterais em dispositivos embarcados,
Sergio Bampi. Coorientador: rafael iankowski soares. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: contramedidas; ataques laterias; DPA; DEMA; dispositivos criptográficos; criptosistemas. Grande área: Ciências Exatas e da Terra

Mestrado em COMPUTAÇÃO

2016 - 2018

Universidade Federal de Pelotas
Título: Desenvolvimento de Contramedida Topológica e Método de Dimensionamento Visando Resiliência Contra Ataques Criptográficos DPA e DEMA.,Ano de Obtenção: 2018
Rafael Iankowski Soares.Coorientador: Felipe de Souza Marques; Leomar Soares da Rosa Júnior. Palavras-chave: Criptografia; DPA; DEM; Contramedida; Dimensionamento.Grande área: Ciências Exatas e da TerraGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Microeletrônica. Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Computação.

Graduação em Ciência da Computação

2010 - 2015

Universidade Federal de Pelotas
Título: Técnicas de Inteligência Artificial para Mapeamento das Zonas de Congestionamento em Tempo-Real através do Twitter
Orientador: Paulo Ferreira Júnior
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.

Curso técnico/profissionalizante

2008 - 2009

Escola de Engenharia Eletro-Mecânica da Bahia

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Organização de eventos

LIMA, V. G. . 31st Symposium on Integrated Circuits and Systems Design (SBCCI). 2018. (Congresso).

Participação em eventos

Symposium on Integrated Circuits and Systems Design (SBCCi). 2018. (Simpósio).

Congresso de Ensino de Graduação. IMPLEMENTAÇÃO DE PORTAL WEB NO AUXILIO DO ENSINO Á DISTÂNCIA. 2015. (Congresso).

Congresso de Iniciação Científica. Desenvolvimento de um Algoritmo para o Dimensionamento de Transistores de Portas Lógicas CMOS. 2013. (Congresso).

digital cities. 2013. (Encontro).

Semana Acadêmica da Computação. 2013. (Encontro).

Simpósio Sul de Microeletrônica. 2013. (Simpósio).

Semana Acadêmica da Computação. 2012. (Encontro).

Congresso de Iniciação Científica. MODELAGEM MATEMÁTICA E SIMULAÇÕES EXPERIMENTAIS NA ROBÓTICA. 2011. (Congresso).

Semana Acadêmica da Computação. 2010. (Encontro).

Orientou

Mateus Brugnaroto

Investigação de estilos lógicos para implementação de hardware seguro a ataques DPA; Início: 2018; Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Vinícius Geraldo

Investigação de estilos lógicos imunes a ataques DPA; Início: 2018; Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal de Pelotas; (Orientador);

Paulo Henrique Martins

Investigação de algoritmos para detecção e extração de assinaturas de consumo de potência em arquiteturas criptográficas com pipeline de execução; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Pelotas; Orientador: Vitor Gonçalves de Lima;

Produções bibliográficas

BRUGNAROTO, Mateus ; GERALDO, Vinicius ; FINKENAUER, P. ; LIMA, V. G. ; VALDUGA, V. ; SOARES, R. . INVESTIGAÇÃO DE ESTRATÉGIAS DE CONTRAMEDIDAS CONTRA ATAQUES POR DIFERENCIAL DE CONSUMO. In: Congresso de Iniciação Científica, 2018, Pelotas. INVESTIGAÇÃO DE ESTRATÉGIAS DE CONTRAMEDIDAS CONTRA ATAQUES POR DIFERENCIAL DE CONSUMO, 2018.
KESSLER, Henrique ; CARDOSO, Maicon ; SOUZA, Renato ; LIMA, V. G. ; ROSA JUNIOR, L. . AJUSTE DO DIMENSIONAMENTO DE PORTAS LÓGICAS REALIZADO PELO LOGICAL EFFORT. In: Congresso de Iniciação Científica, 2018, Pelotas. AJUSTE DO DIMENSIONAMENTO DE PORTAS LÓGICAS REALIZADO PELO LOGICAL EFFORT, 2018.
LIMA, V. G. ; FINKENAUER, Plínio ; CAMARGO, Vinicius ; MARQUES, Felipe ; JUNIOR, Leomar ; SOARES, Rafael . A Novel Sizing Method Aiming Security Against Differential Power Analysis. In: International Conference on Electronics, Circuits and Systems (ICECS), 2018, Bordeaux-France. Proceedings ICECS'18, 2018.
FINKENAUER, Plínio ; LIMA, V. G. ; SOARES, Rafael Iankowski Soares ; AGUIAR, Marilton Sanchonete . Um estudo sobre a automatização da etapa de extração da assinatura alvo em ataques DPA. In: Congresso de Iniciação Científica, 2017, Pelotas. Um estudo sobre a automatização da etapa de extração da assinatura alvo em ataques DPA, 2017.
PIZZIO, F. T. ; CARDOZO, G. M. ; AZEVEDO, A. R. ; LIMA, V. G. ; HEBERLE, A. G. P. ; RAMOS, R. C. S. S. . IMPLEMENTAÇÃO DE PORTAL WEB NO AUXILIO DO ENSINO Á DISTÂNCIA. In: Congresso de Ensino de Graduação, 2015, Pelotas. IMPLEMENTAÇÃO DE PORTAL WEB NO AUXILIO DO ENSINO Á DISTÂNCIA, 2015.
LIMA, V. G. ; Leomar S. da Rosa Júnior ; Felipe S. Marques . Desenvolvimento de um Algoritmo para o Dimensionamento de Transistores de Portas Lógicas CMOS. In: Congresso de Iniciação Científica, 2013, Pelotas. Desenvolvimento de um Algoritmo para o Dimensionamento de Transistores de Portas Lógicas CMOS, 2013.
LIMA, V. G. ; BOTTEGA, V. ; MOLTER, A. . MODELAGEM MATEMÁTICA E SIMULAÇÕES EXPERIMENTAIS NA ROBÓTICA. In: Congresso de Iniciação Científica, 2011, Pelotas. MODELAGEM MATEMÁTICA E SIMULAÇÕES EXPERIMENTAIS NA ROBÓTICA, 2011.
LIMA, VITOR G. ; PAIM, GUILHERME ; ROCHA, LEANDRO M. G ; DA ROSA, LEOMAR ; MARQUES, Felipe ; DA COSTA, EDUARDO A. C. ; CAMARGO, Vinicius ; SOARES, Rafael ; BAMPI, SERGIO . Maximizing Side Channel Attack-Resistance and Energy-Efficiency of the STTL Combining Multi-V <sub>t</sub> Transistors with Current and Capacitance Balancing. In: 2019 IEEE International Symposium on Circuits and Systems (ISCAS), 2019, Sapporo. 2019 IEEE International Symposium on Circuits and Systems (ISCAS), 2019. p. 1.

Histórico profissional

Experiência profissional

2014 - 2015

Decision IT Tecnologia em Informatica LT

Vínculo: CLT, Enquadramento Funcional: Analista de Sistemas I, Carga horária: 40

Outras informações:
- Desempenhar papel de consultor, analista e desenvolvedor Java em projetos do Itaú. Entender as necessidades do cliente, levantando requisitos funcionais e não funcionais, realizando a implementação JEE, testes e documentação. (Java EE, JavaScript, JQuery e levantamento de requisitos Funcionais e não funcionais)

2014 - 2015

Resource Americana LTDA

Vínculo: CLT, Enquadramento Funcional: Analista de Sistemas I, Carga horária: 40

Atividades

07/2014 - 02/2015
Serviços técnicos especializados , Resource Americana LTDA, .,Serviço realizado, Desenvolvimento de software, (Java, EE, Teste, Documentação).

2012 - 2013

Universidade Federal de Pelotas

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Prestar manutenção e desenvolver web-site para o Laboratório de Eficiência Energética do curso de Arquitetura na Universidade Federal de Pelotas. Tecnologias Utilizadas: WordPress, linguagens: PHP e SQL

2012 - 2013

Universidade Federal de Pelotas

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Pesquisar e desenvolver um algoritmo para otimizar o tempo para dimensionamento de transistores, através de uma expressão booleana ou circuito, problema inserido na classe NP.

2011 - 2012

Universidade Federal de Pelotas

Vínculo: Bolsista, Enquadramento Funcional: Bolsista Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Desenvolver, dar manutenção e manipular um braço robótico com 02 eixos e graus de liberdade, controlado por um microcontrolador. Tecnologias utilizadas: linguagem C e MatLab