Eduardo dos Santos

É Mestre em Ciência da Computação pela Universidade Federal de Santa Catarina (2012). A nível de Graduação, concluiu o Curso Superior de Tecnologia em Gestão da Tecnologia da Informação, do Instituto Federal de Santa Catarina (2010). Atualmente tem atuado em projetos de formalização e verificação de protocolos de segurança envolvendo lógica de primeira ordem e provadores automáticos de teoremas.

Informações coletadas do Lattes em 20/10/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2010 - 2012

Universidade Federal de Santa Catarina
Ricardo Felipe Custodio.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Graduação em Tecnologia em Gestão da Tecnologia da Informação

2007 - 2010

Instituto Federal de Educação, Ciência e Tecnologia de Santa Catarina
Orientador: Rosemeri Coelho Nunes

Formação complementar

2012 - 2012

Writing for Computer Science. (Carga horária: 12h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2011 - 2011

Verification Technology, Systems and Applications. (Carga horária: 40h). , Université de Liège.

2011 - 2011

Foundations of Security Analysis and Design. (Carga horária: 40h). , Centro Residenziale Universitario di Bertinoro.

2008 - 2008

Fundamentos em Teste de Software. (Carga horária: 8h). , TI Exames - Educação à Distância.

2008 - 2008

Curso Básico em Gerenciamento de Projetos. (Carga horária: 8h). , JExperts Tecnologia Ltda..

Idiomas

Inglês

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

Português

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

Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software/Especialidade: Testes de Software.

Participação em eventos

X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais (SBSeg'2010). 2010. (Simpósio).

Gerenciamento Ágil de Projetos. 2007. (Seminário).

Project Finance (PMI/SC). 2007. (Seminário).

Produções bibliográficas

DOS SANTOS, E. ; MARTINA, J. E. ; CUSTODIO, R. F. . Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, 2012, Liverpool. Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012. v. 1. p. 84-91.
IMHOF, B. ; DOS SANTOS, E. ; CAVALINI, L. T. . Controle de Medicamentos Utilizandos Prescrições Digitais Seguras. In: XIII Congresso Brasileiro de Informática em Saúde, 2012, Curitiba. Anais do XIII Congresso Brasileiro de Informática em Saúde, 2012.
IMHOF, B. ; DOS SANTOS, E. ; CUSTODIO, R. F. . Um Protocolo Criptográﬁco para o Controle de Medicamentos. In: XII Simpósio Brasileiro em Segurança da Informação e Sistemas Computacionais (SBSeg'12), 2012, Curitiba. Anais do XII Simpósio Brasileiro em Segurança da Informação e Sistemas Computacionais (SBSeg'12), 2012.
DOS SANTOS, E. ; NUNES, R. C. . Avaliando a Importância das Metodologias para Aplicação de Testes de Segurança em Sistemas de Informação. In: X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais (SBSeg'2010), 2010, Fortaleza. Anais do X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2010. v. 1. p. 21-30.

Outras produções

MARTINA, J. E. ; CUSTODIO, R. F. ; DE SOUZA, T. C. S. ; DOS SANTOS, E. ; VIGIL, M. A. G. . OpenHSM - Sistema gerenciador do ciclo de vida de chaves privadas em ambiente embarcado. 2006.

MAZZI, C. E ; DOS SANTOS, E. . Emissor de Cupom Fiscal Virtual. 2005.

Histórico profissional

Endereço profissional

Universidade Federal de Santa Catarina, Centro Tecnológico, Departamento de Informática e Estatística. , Campus Reitor João David Ferreira Lima, Trindade, 88040970 - Florianopolis, SC - Brasil - Caixa-postal: 476, Telefone: (48) 37217555, URL da Homepage:

Experiência profissional

2008 - 2009

Softplan Planejamento e Sistemas Ltda.

Vínculo: Estagiário, Enquadramento Funcional: Testador, Carga horária: 30

Outras informações:
Execução de ensaios livres no sistema e cadastro das não-conformidades; Suporte à equipe de desenvolvimento na correção das falhas encontradas.

2007 - 2008

JExperts Tecnologia LTDA.

Vínculo: Estagiário, Enquadramento Funcional: Testador, Carga horária: 30

Outras informações:
Análise da qualidade dos produtos da empresa sob a ótica do cliente; Elaboração de relatórios com os eventuais problemas encontrados, bem como propor soluções aos mesmos; Criação e manutenção de rotinas de testes; Participante ativo do processo de tomada de decisões no que se refere à liberação de uma nova versão dos softwares da empresa.

2007 - 2007

BRy Tecnologia S/A

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor Web, Carga horária: 30

Outras informações:
Desenvolvimento de software para exibição de relatórios de uma Protocoladora Digital de Documentos Eletrônicos (PDDE). Foram utilizadas tecnologias Web em seu desenvolvimento.

2005 - 2006

Laboratório de Segurança em Computação

Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

Outras informações:
Bolsa de iniciação científica concedida para o desenvolvimento de um Protótipo de Emissor de Cupom Fiscal Virtual.