Félix Carvalho Rodrigues

Possui graduação em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2008), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2012) e doutorado em Doutorado em Ciência da Computação - UNICAMP pela Universidade Estadual de Campinas (2017). Participou de dois projetos como pesquisador pós-doutor em convênio entre Samsung e Unicamp na área de Criptografia. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: criptografia, optimization, algorithmic game theory, facility location

Informações coletadas do Lattes em 03/06/2023

Acadêmico

Formação acadêmica

Doutorado em Doutorado em Ciência da Computação - UNICAMP

2013 - 2017

Universidade Estadual de Campinas
Título: Non-cooperative facility location games and cost perception
Orientador: em Centrum Wiskunde & Informatica ( Guido Schäfer)
com , Ano de obtenção: 2017. Eduardo Candido Xavier. Coorientador: Guido Schäfer. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Algorithmic Game Theory; Price of Anarchy; Facility Location.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Jogos. Setores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Computação

2009 - 2012

Universidade Federal do Rio Grande do Sul
Título: Smoothed Analysis in Nash Equilibria and the Price of Anarchy
, Ano de Obtenção: 2012.Luciana Salete Buriol.Coorientador: Marcus Rolf Petter Ritt. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Algorithmic Game Theory; Smoothed Analysis; Traffic Assignment Problem; Price of Anarchy.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Jogos. Setores de atividade: Pesquisa e desenvolvimento científico.

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

2004 - 2008

Universidade Federal do Rio Grande do Sul
Título: Programação Dinâmica Eficiente com Algoritmos Cache-Oblivious
Orientador: Marcus Rolf Peter Ritt

Ensino Médio (2º grau)

2003 - 2003

Colégio Universitário

Ensino Médio (2º grau)

2001 - 2002

Colegio Marista Champagnat

Pós-doutorado

2020 - 2022

Pós-Doutorado. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Bolsista do(a): Fundação de Desenvolvimento da Unicamp, FUNCAMP, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.

2018 - 2020

Formação complementar

2005 - 2005

Plano de Negócios - CEI. (Carga horária: 20h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Idiomas

Inglês

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

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Jogos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Criptografia.

Participação em eventos

Advanced School on Cryptology and Information Security in Latin America (ASCrypto). 2019. (Seminário).

International Conference on Cryptology and Information Security in Latin America (Latincrypt). Fast White-Box Implementations of Dedicated Ciphers on the ARMv8 Architecture. 2019. (Congresso).

Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais.A Secure White Box Implementation of AES Against First Order DCA. 2019. (Simpósio).

Italian Conference on Theoretical Computer Science. On the Effectiveness of Connection Tolls in Fair Cost Facility Location Games. 2018. (Congresso).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.White Box Implementations of Dedicated Ciphers on the ARM NEON Architecture. 2018. (Simpósio).

Simpósio Latino-americano em Pesquisa Operacional e Inteligência Artificial.On Fair Cost Facility Location Games with Non-singleton Players. 2018. (Simpósio).

Workshop Paulista em Otimização, Combinatória e Algoritmos. 2017. (Encontro).

WINE 2015: The 11th Conference on Web and Internet Economics.Non-Cooperative Capacitated Facility Location Games. 2015. (Seminário).

11th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems.On the Smoothed Price of Anarchy of the Traffic Assignment Problem. 2011. (Simpósio).

12th Max Planck Advanced Course on the Foundations of Computer Science (ADFOCS 2011). 2011. (Oficina).

XL Simpósio Brasileiro de Pesquisa Operacional.Um Estudo Comparativo do Cálculo Exato e Eficiente de Caminhos Mínimos entre Pares de Nós usando Arc-Flags. 2008. (Simpósio).

XX Salão de Iniciação Científica.Um Estudo Comparativo do Cálculo Exato e Eficiente de Caminhos Mínimos entre Pares de Nós com uso de Arc-Flags. 2008. (Outra).

XVIII Salão de Iniciação Científica.Processamento de Imagens Médicas: Aplicação à Osteoporose. 2006. (Outra).

Produções bibliográficas

RODRIGUES, Félix Carvalho ; XAVIER, Eduardo Candido ; SCHAFER, Guido . On Fair Cost Facility Location Games with Non-singleton Players. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 342, p. 21-38, 2019.
RODRIGUES, Félix Carvalho ; SCHAFER, Guido ; XAVIER, Eduardo Candido . On the Effectiveness of Connection Tolls in Fair Cost Facility Location Games. CENTRAL EUROPE CEUR WORKSHOP PROCEEDINGS , v. 2243, p. 36-47, 2018.
CARVALHO RODRIGUES, FÉLIX ; XAVIER, EDUARDO CANDIDO . Non-cooperative capacitated facility location games. INFORMATION PROCESSING LETTERS , v. 117, p. 45-53, 2017.
RODRIGUES, Félix Carvalho ; XAVIER, Eduardo Candido . Non-Cooperative Facility Location Games: a Survey. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 24, p. 59, 2017.
Fujii, Hayato ; RODRIGUES, Félix Carvalho ; López, Julio . Fast AES Implementation Using ARMv8 ASIMD Without Cryptography Extension. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. 11975, p. 84-101.
RODRIGUES, Félix Carvalho ; Fujii, Hayato ; Zoppi Serpa, Ana Clara ; Sider, Giuliano ; Dahab, Ricardo ; López, Julio . Fast White-Box Implementations of Dedicated Ciphers on the ARMv8 Architecture. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 341-363.
MATSUMINE, VITOR SATORU MACHI ; RODRIGUES, Félix Carvalho ; GAZZONI FILHO, DÉCIO ; TEIXEIRA, CAIO ; López, Julio ; Dahab, Ricardo . Evaluation of modular multiplication techniques for Supersingular Isogeny Schemes on ARMv8 cores. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2022), 2022. p. 29.
CARVALHO RODRIGUES, FÉLIX ; XAVIER, Eduardo Candido ; SCHAFER, Guido . On the Effectiveness of Connection Tolls in Fair Cost Facility Location Games. In: Italian Conference on Theoretical Computer Science, 2018, Urbino, Italy. Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018. v. 2243. p. 36-47.
RODRIGUES, Félix Carvalho ; SCHAFER, Guido ; Buriol, Luciana Salete ; RITT, Marcus . On the Smoothed Price of Anarchy of the Traffic Assignment Problem. In: 11th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, 2011, Saarbrücken. OpenAccess Series in Informatics (OASIcs). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. v. 20. p. 122-133.
RODRIGUES, Félix Carvalho ; Buriol, Luciana Salete ; RITT, Marcus . Um Estudo Comparativo do Cálculo Exato e Eficiente de Caminhos Mínimos entre Pares de Nós usando Arc-Flags. In: XL Simpósio Brasileiro de Pesquisa Operacional, 2008, João Pessoa. Anais do XL Simpósio Brasileiro de Pesquisa Operacional, 2008. p. 2825-2832.
ROQUE, W. L. ; SOUZA, A. C. A. ; BARBIERI, D. X. ; RODRIGUES, Félix Carvalho . Um sistema computacional baseado no processamento de imagens tomográficas para estudo da estrutura trabecular. In: VII Workshop de Informática Médica, 2007, Porto de Galinhas. Anais do VII Workshop de Informática Médica, 2007. p. 156-165.
ORTIZ, JHEYNE N. ; CARVALHO RODRIGUES, FÉLIX ; GAZZONI FILHO, DÉCIO ; TEIXEIRA, CAIO ; López, Julio ; Dahab, Ricardo . Evaluation of CRYSTALS-Kyber and Saber on the ARMv8 architecture. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2022), 2022. p. 372.
SERPA, ANA CLARA ; Sider, Giuliano ; Fujii, Hayato ; RODRIGUES, FÉLIX ; Dahab, Ricardo ; López, Julio . A Secure White Box Implementation of AES Against First Order DCA. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2019, Brasil. Anais do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2019), 2019. p. 385.
DAHAB, R. ; HERNANDEZ, J. C. L. ; CARVALHO RODRIGUES, FÉLIX ; FUJII, H. ; SIDER, G. ; SERPA, A. C. Z. . White Box Implementations of Dedicated Ciphers on the ARM NEON Architecture. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2018, Natal. ANAIS DO SIMPÓSIO BRASILEIRO EM SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 2018. p. 9-16.
RODRIGUES, Félix Carvalho ; XAVIER, Eduardo Candido . Jogos não cooperativos de localização de facilidades com capacidades. 2016. (Apresentação de Trabalho/Seminário).
RODRIGUES, Félix Carvalho ; BURIOL, Luciana Salete ; RITT, Marcus . Um Estudo Comparativo do Cálculo Exato e Eficiente de Caminhos Mínimos entre Pares de Nós com uso de Arc-Flags. 2008. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

2020 - 2022

Criptografia Pós-Quântica, Projeto certificado pela empresa SAMSUNG ELETRONICA DA AMAZONIA LTDA em 09/06/2022., Descrição: Este projeto visa desenvolver atividades de colaboração entre os pesquisadores da Samsung, em particular do Samsung R&D Institute Brazil (SRBR) e a Universidade de Campinas na área de Engenharia Criptográfica. Especificamente, o tema de pesquisa colaborativa é relacionado à implementação em software de algoritmos criptográficos de chave pública que são considerados seguros contra computadores quânticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Félix Carvalho Rodrigues - Integrante / Julio César López Hernández - Coordenador / Dahab, Ricardo - Integrante.
2018 - 2020

Criptografia de caixa branca, Descrição: Entender, em profundidade, os princípios de projeto, vulnerabilidades, e técnicas de implementação para criptografia de caixa-branca.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Félix Carvalho Rodrigues - Integrante / Ricardo Dahab - Integrante / Julio César López Hernández - Coordenador.

Prêmios

2019

Melhor Artigo Curto, XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg2019).

2018

Prêmio de Melhor Artigo da Trilha de Artigos Curtos, XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg2018).

2008

Prêmio de Iniciação Científica, XL Simpósio Brasileiro de Pesquisa Operacional.

Histórico profissional

Experiência profissional

2020 - 2022

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Pos-doutorando, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Pós-doutor com atuação no projeto Criptografia Pós-Quântica em parceria com a Samsung Eletrônica da Amazônia Ltda, coordenado pelos professores Júlio Lopez e Ricardo Dahab.

2018 - 2020

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Pos-doutorando, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Pós-doutor atuando no projeto Criptografia de caixa branca em parceria com a Samsung Eletrônica da Amazônia Ltda, coordenado pelos professores Júlio Lopez e Ricardo Dahab.

2016 - 2017

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Doutorando, Carga horária: 40, Regime: Dedicação exclusiva.

2014 - 2015

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Estagio em experiência docente (PED)

2013 - 2015

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Doutorando, Carga horária: 40, Regime: Dedicação exclusiva.

2015 - 2016

Centrum Wiskunde & Informatica

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisador Visitante (Doutorado Sanduíche), Carga horária: 40

Outras informações:
Período de estadia como pesquisador visitante em Amsterdam, no Centrum Wiskunde & Informatica, sob orientação do Prof. Guido Schäfer, como parte do Doutorado Sanduíche, pago por projeto PDSE da CAPES.

2010 - 2011

Centrum Wiskunde & Informatica

Vínculo: Estadia de Pesquisa, Enquadramento Funcional: Pesquisador visitante, Carga horária: 20

Outras informações:
Período de pesquisa em colaboração com o professor Guido Schäfer no projeto European South-American Network for Combinatorial Optimization under Uncertainty. O projeto faz parte do Marie Curie International Research Staff Exchange Scheme, fundado pela União Européia (FP7).

Atividades

09/2010 - 01/2011
Pesquisa e desenvolvimento, Algorithms, Combinatorics and Optimization group (PNA1).,Linhas de pesquisa

2009 - 2011

Universidade Federal do Rio Grande do Sul

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

2008 - 2009

Universidade Federal do Rio Grande do Sul

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

Outras informações:
Bolsista pelo Instituto de Informática da UFRGS, trabalhando na área de análise de algoritmos, sob a orientação do Professor Marcus Ritt e co-orientação da Professora Luciana Salete Buriol.

2007 - 2008

Universidade Federal do Rio Grande do Sul

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

Outras informações:
Bolsista pelo Instituto de Informática da UFRGS, trabalhando na área de Grafos, sob a orientação da Professora Luciana Salete Buriol e co-orientação do Professor Marcus Ritt.

2005 - 2007

Universidade Federal do Rio Grande do Sul

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

Outras informações:
Bolsista pelo Instituto de Matemática da UFRGS, trabalhando na área de processamento de imagens médicas, sob a orientação do professor Waldir Leite Roque

Atividades

03/2009 - 03/2012
Pesquisa e desenvolvimento, Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
08/2007 - 03/2009
Pesquisa e desenvolvimento, Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
11/2005 - 03/2007
Pesquisa e desenvolvimento, Instituto de Matemática, Departamento de Matemática Pura e Aplicada.,Linhas de pesquisa