Jean Everson Martina

Possui graduação em Ciencias da Computação pela Universidade Federal de Santa Catarina (2001), mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2005 ) e doutorado em Ciências da Computação pela Universidade de Cambridge no Reino Unido (2011). É professor do Departamento de Informática e de Estatística da Universidade Federal de Santa Catarina desde 2013 e professor visitante da Universidade de Hertfordshire no Reino Unido desde 2010. Tem experiência na área de Ciência da Computação, com ênfase em Gerenciamento de Certificados Digitais, Protocolos Criptográficos, Sistemas Embarcados, Métodos Formais, e Engenharia de Software voltada a segurança da Informação. Atua principalmente nos seguintes temas: assinaturas digitais, sistemas operacionais embarcados, execução segura de código, proteção de chaves criptográficas,computação forense, formalização de protocolos, verificação formal, modelagem de cerimônias de segurança e projeto de software seguro.

Informações coletadas do Lattes em 19/09/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2006 - 2011

University Of Cambridge
Título: Verification of Security Protocols Based on Multicast Communication
Orientador: Lawrence C. Paulson
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Proteção de Chaves Criptográficas; Protocolos Criptográficos; Segredo Compartilhado; Modelagem Indutiva; Logica de Ordem Mais Alta.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança Em Computação. Setores de atividade: Administração Pública, Defesa e Seguridade Social; Educação.

Mestrado em Ciências da Computação

2003 - 2005

Universidade Federal de Santa Catarina
Título: Projeto de um Provedor de Serviços Criptográficos Embarcado para Infra-estrutura de Chaves Públicas e suas Aplicações
, Ano de Obtenção: 2005.Ricardo Felipe Custódio.Bolsista do(a): Rede Nacional de Pesquisa, RNP, Brasil. Palavras-chave: Criptografia; Proteção de Chaves Criptográficas; Processos Criptográficos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança Em Computação / Especialidade: Gerenciamento de Certificados Digitais. Setores de atividade: Informática.

Graduação em Ciencias da Computação

1997 - 2001

Universidade Federal de Santa Catarina
Título: Emissão de Certidão de Nascimento via Internet
Orientador: Ricardo Felipe Custódio

Pós-doutorado

2020 - 2021

Pós-Doutorado. , Università degli Studi di Parma, UNIPR, Itália. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

2011 - 2013

Pós-Doutorado. , Universidade Federal de Santa Catarina, UFSC, Brasil. , Bolsista do(a): Financiadora de Estudos e Projetos, FINEP, 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: Telemedicina. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Protocolos Criptográficos.

Formação complementar

2016 - 2016

[PROFOR] LEGISLAÇÃO DA CARREIRA DO MAGISTÉRIO FEDERAL. (Carga horária: 8h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2015 - 2015

[PROFOR] INTEGRAÇÃO INSTITUCIONAL AOS NOVOS DOCENTES. (Carga horária: 8h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2015 - 2015

[PROFOR] AMBIENTE VIRTUAL DE ENSINO E APRENDIZAGEM MOODLE. (Carga horária: 16h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2014 - 2014

[PROFOR] METODOLOGIA DO ENSINO SUPERIOR. (Carga horária: 52h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2009 - 2009

Extensão universitária em Myers-Briggs Type Indicator (MBTI). (Carga horária: 8h). , University of Cambridge, CAM, Inglaterra.

2009 - 2009

Extensão universitária em Attaining Peak Performance. (Carga horária: 16h). , University of Cambridge, CAM, Inglaterra.

2007 - 2007

Microsoft Research Summer School for PhD Students. (Carga horária: 40h). , Microsoft Research Cambridge, MSRC, Grã-Bretanha.

2007 - 2007

Formal Logical Methods for System Security and Cor. (Carga horária: 80h). , NATO/OTAN Advanced Study Institute, OTAN, Alemanha.

2007 - 2007

FOSAD 2007. (Carga horária: 40h). , Centro Residenziale Universitário da Universidade de Bologna em Bertinoro, UNIBO, Itália.

2006 - 2006

Extensão universitária em Supervising and Small Group Teaching: Sciences. (Carga horária: 8h). , University of Cambridge, CAM, Inglaterra.

2005 - 2005

Extensão universitária em Curso de Introdução ao Modelo de Processo CMMI. (Carga horária: 27h). , Fundação do Ensino da Engenharia em Santa Catarina, FEESC, Brasil.

2000 - 2000

Extensão universitária em Qualidade no Atendimento de Expositores. (Carga horária: 8h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

1998 - 1998

Extensão universitária em Empreendedorismo. (Carga horária: 60h). , Instituto de Estudos Avançados - Florianópolis, IEA, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Italiano

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 / Subárea: Segurança Em Computação/Especialidade: Métodos Formais para Segurança.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança Em Computação/Especialidade: Cerimônias Criptográficas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança Em Computação/Especialidade: Protocolos Criptográficos.

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

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

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

Organização de eventos

MARTINA, JEAN E. ; GOMES, FERNANDA ; AMORIM, R. C. ; OGNIBENE, D. D. . RELIANCE 2019 ? International Summer School on Big Data and Analytics for Fraud Detection. 2019. (Outro).

Participação em eventos

ABMES Regional ? Edição nordeste.DIPLOMA DIGITAL: IMPACTOS NA REGULAÇÃO, NA AVALIAÇÃO E NA SUPERVISÃO. 2019. (Seminário).

ABMES Regional ? edição sudeste - Diploma digital: impactos na regulação, na avaliação e na supervisão. Diploma digital: impactos na regulação, na avaliação e na supervisão. 2019. (Exposição).

CyberSec2019 - International Cyber Security Forum.Criptografia e Biometria. 2019. (Encontro).

XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2019).Certificado Digital Acadêmico na Nuvem. 2019. (Simpósio).

16º CertForum ? Fórum de Certificação Digital. 2018. (Simpósio).

7ª Edição da Jornada de Segurança da Informação.BlockChain e sua aplicação além do Bitcoin. 2018. (Outra).

Forúm RNP 2018. Painel Diplomas Digitais: Um desafio para os próximos 2 anos.. 2018. (Congresso).

Ministério da Educação - MEC.Diploma Digital. 2018. (Outra).

SBSeg 2018 - XVIII SIMPÓSIO BRASILEIRO EM SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS. 2018. (Simpósio).

" DioCast".Podscast: VOCÊ CONFIA NO SEU ANTIVÍRUS? COMO EVITAR INFECÇÕES - DioCast #27. 2017. (Outra).

10º Meetup Na Nuvem - Especial Segurança da Informação.Segurança em IOT, como projetar protocolos seguros.. 2017. (Encontro).

15º CertForum ? Fórum de Certificação Digital. 2017. (Simpósio).

28th Symposium On Applied Computing.Verification of Multicast Security Protocols Using HOL. 2013. (Simpósio).

10o. Certiforum. 2012. (Simpósio).

2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. 2012. (Congresso).

9o. Certiforum. 2011. (Simpósio).

Eighteenth International Workshop on Security Protocols. 2010. (Simpósio).

FIrst Cryptoforma Workshop.Verifying Multicast Based Security Protocols. 2010. (Seminário).

Seventeenth International Workshop on Security Protocols. 2009. (Simpósio).

WORKSHOP ON THE FUTURE OF INTERACTIVE THEOREM PROVING AND ITS APPLICATIONS. 2009. (Seminário).

7th symposium on Identity and trust on the Internet.Audit and backup procedures for Hardware Security Modules. 2008. (Simpósio).

Applications of Logic in Computer Security. Why Should We Analyse Security Ceremonies?. 2008. (Congresso).

Logic for Programming, Artificial Intelligence and Reasoning. 2008. (Congresso).

Sixteenth International Workshop on Security Protocols. 2008. (Seminário).

VIII Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais.Verificação formal dos Protocolso da Nota Fiscal eletrônica Brasileira. 2008. (Simpósio).

European PKI Workshop: Theory and Practice (EuroPKI'07). OpenHSM: An Open key life cycle protocol for Public Key Infrastructure?s Hardware Security Modules. 2007. (Congresso).

International School on Foundations of Security Analysis and Design (FOSAD). 2007. (Encontro).

Summer School Marktoberdorf Formal Logical Methods for System Security and Correctness. 2007. (Encontro).

7 WRNP - Workshop da Rede Nacional de Ensino e Pesquisa. 2006. (Oficina).

SBRC 2006 - 24º Simpósio Brasileiro de Redes de Computadores. 2006. (Simpósio).

2nd Workshop on Cryptographic Algorithms and Protocols. 2005. (Oficina).

6 WRNP - Workshop da Rede Nacional de Ensino e Pesquisa. 2005. (Oficina).

SBRC 2005 - 23º Simpósio Brasileiro de Redes de Computadores. 2005. (Simpósio).

V Simposio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2005. (Simpósio).

CONISLI - Congresso Internacional de Software Livre. 2004. (Congresso).

FISL 2004 - 5º Fórum Internacional de Software Livre. 2004. (Congresso).

SBRC 2004 - 22º Simpósio Brasileiro de Redes de Computadores. 2004. (Simpósio).

Semena Acadêmica da UNESC.FreeBSD. 2004. (Seminário).

Simpósio Brasileiro de Redes de Computadores. 2004. (Congresso).

WSL 2004 - 5º Workshop sobre Software Livre. 2004. (Oficina).

XIII SEMINCO - Seminário de Computação.Segurança em Software Livre. 2004. (Seminário).

FENASOFT 2000.Exposição do Cartório Virtual da UFSC. 2000. (Outra).

VIII Escola de Informática da SBS-Sul - ERI2000. 2000. (Congresso).

XVII Congresso Nacional da Sociedade Brasileira de Computação. 1998. (Congresso).

V Escola Regional de Informática da SBC Regional Sul. 1997. (Congresso).

Participação em bancas

Aluno: Leadro Loffi

MARTINA, J. E.; SCHULZE, B. R.; COMUNELLO, E.; WANGHAM, M. S.. Protocolo otimizado para autenticação mútua em IoT no contexto de fog computing. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Eduardo Beckhauser

MARTINA, J. E.; MACEDO, D. D. J.;TRAINA, A. J. M.. Uma metodologia para a estruturação de laudos textuais: Com foco na rotina de laudos em sistemas de telemedicina. 2019. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal de Santa Catarina.

Aluno: MARIA LUIZA BULGARELLI ALVES DOS SANTOS

HENRIQUES, M. A. A.; MENEZES, J. G. M.; MACEDO, D. F.; OLIVEIRA, L.B.;MARTINA, J. E.. FLAT: FEDERATED LIGHTWEIGHT AUTHENTICATION OF THINGS. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Lisa Barton-Pye

MARTINA, J. E.Pinto, T. M.. Business Intelligence in a Distributed Data Environment. 2014. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Michael Oghenetega Akpoghiran

MARTINA, Jean EversonPinto, T. M.. Improving Response Effectiveness In Algorithm-Based Intrusion Detection and Prevention. 2014. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Lucienne Bonicci

Pinto, T. M.MARTINA, J. E.. THE IMPACT OF THE CLOUD COMPUTING ON THE SOFTWARE ENGINEERING PROCESS. 2014. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: James Imber

Pinto, T. M.MARTINA, Jean Everson. To what extent can a digital game assist ESL learners in the production of English Phrasal Verbs in a Cloze style test?. 2013. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Lucas Ferraro

CUSTODIO, Ricardo FelipeNASCIMENTO, A. C. A.MARTINA, Jean EversonSILVA, R. P. E.. Lista de Certificados Revogados Limitada. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Denis Pavlov

MARTINA, Jean EversonPinto, T. M.. Concepts and Application of Complex Event Processing (CEP). 2013. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Noha Abd Elkader Ragab

MARTINA, J. E.; Manderson, R.. Software Engineering For Security as a Non-Functional Requirement. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Jean-Paul Arnephie

MARTINA, J. E.; Wenger, K.. Web Database Management Systems (WDMS) / Database influence on website development. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Reginald Paul

MARTINA, J. E.; REZWAN, F.. An Educational Information Management System which facilitates an interactive and accessible knowledge based environment. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Karoly Marton

MARTINA, J. E.; REZWAN, F.. Performance Measurement of Databases. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Neil Blandford

MARTINA, J. E.; REZWAN, F.. Bringing Intelligence to Virtualization Management. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Jesus A

REZWAN, F.;MARTINA, J. E.. Revilla Silva. Deployment of Customer Priorities through Electronic Status Board. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Shawn Trevor

Pinto, T. M.MARTINA, J. E.. An Effective M-Commerce Model for Small to Medium Size Enterprises. 2012. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Eduardo dos Santos

DOS SANTOS, EduardoCUSTODIO, Ricardo FelipeRODRIGUEZ, N. L. R.HERNANDEZ, J. C. L.FURTADO, O. J. V.MARTINA, J. E.. Formalização e Verificação de um Protocolo de Autenticação Multifator. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Olayemi Toye

Amorim, R.;MARTINA, J. E.. Bluetooth Banking: Implementation of bank area based mobile banking services using ad hoc networking technology. 2011. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Nwachukwu Odukwe

Corney, D.;MARTINA, J. E.. Performance and Scalability Comparison of Message-Level Security (WS-Security) and Transport-Level Security (SSL/ TLS) particularly for End-to-End and Flexible Web Services Security. 2011. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Alexandros M

MARTINA, J. E.; Corney, D.. Melakis. Context-aware personalized search. 2011. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Komil R

MARTINA, J. E.; Amorim, R.. Sherzamonov. The impact of data standardization methods on accuracy of data clustering algorithms. 2011. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: James Decelis

MARTINA, J. E.; Lilley, M.. Using Java Technologies and Open-Source Frameworks. 2010. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Conrad Vassallo

MARTINA, J. E.; Lilley, M.. The effectiveness of the integration of Google Apps web services in an e-learning platform. 2010. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Nathaniel Williams

MARTINA, J. E.Byrne, B.. Hospital Self Audit System. 2010. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: David Hodges

MARTINA, J. E.; Werry, I. P.. Sudoku Solving Study and Techniques. 2010. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Dayana Pierina Brustolin Spagnuelo

MARTINA, J. E.; VERISSIMO, P.; LENZINI, G.; FISCHER-HUBNER, S.; BARTOLINI, C.; RYAN, P. Y.. Defining, Measuring, and Enabling Transparency for Electronic Medical Systems. 2018. Tese (Doutorado em Ciência da Computação) - University of Luxemburg.

Aluno: Denis Frederic Butin

BUTIN, D. F.;MARTINA, J. E.; SINCLAIR, D.; GRAY, D.. Inductive Analysis of Security Protocols in Isabelle/HOL with Applications to Electronic Voting. 2012. Tese (Doutorado em Ph.D. in Computer Science) - Dublin City University.

Aluno: Rafael Bosse Brinhosa

MARTINA, J. E.; SIQUEIRA, F. A.; WERNER, J.; OBELHEIRO, R. R.; SILVA, E.. IoPenT: Framework para Penetration Testing de dispositivos IoT. 2019. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Caciano Machado

MONTEZ, C.;MARTINA, JEAN E.; RUBINSTEIN, M.. Redes mesh incentivadas com blockchains: panorama e desafios de pesquisa. 2019. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Daniel Cassar

MARTINA, Jean Everson; REZWAN, F.. Blog for college art student. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Shivani Dass

MARTINA, Jean Everson; REZWAN, F.. BAG MANIA ONLINE STORE. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Sharmila Deonarine

MARTINA, Jean Everson; REZWAN, F.. TRINI DELIGHTS. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Rhonda-Alicia Forbes

MARTINA, Jean Everson; REZWAN, F.. Genesis Kids Creation Store. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Richard Grech

MARTINA, Jean Everson; REZWAN, F.. Centralisation of a pan-European major sports brand?s systems and IT Infrastructure into a Hybrid cloud.. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Mark Houlder

MARTINA, Jean Everson; REZWAN, F.. Road Legal Performance Forum and Store. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Fawwaz Khan

MARTINA, Jean Everson; REZWAN, F.. Get Fit Sporting Equipment Store. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Mikhael Ramlal

REZWAN, F.;MARTINA, Jean Everson. Fix it Felix. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Matthew Rapa

REZWAN, F.;MARTINA, Jean Everson. A classified advertisements website application.. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Nathan-Joseph Spiteri

REZWAN, F.;MARTINA, Jean Everson. Issue-Tracking system for an IT department at a University. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Ricardo Sahadeo

BAMPASAKIS, D.;MARTINA, Jean Everson. Cell Master Trinidad. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Adrian Scoon

BAMPASAKIS, D.;MARTINA, Jean Everson. Adrian?s entertainment systems and video game shop. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Kevin Seemungal

BAMPASAKIS, D.;MARTINA, Jean Everson. Mungal?s Mobile Shop. 2013. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Tiago Dakuzaku

MARTINA, Jean EversonCUSTODIO, Ricardo FelipeDOS SANTOS, EduardoSOUZA, R. L.. Estudo Comparativo Entre o Padrão Machine Readable Travel Document e o Registro de Identidade Civil Brasileiro. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Israel de Souza Carlos

MARTINA, Jean EversonCUSTODIO, Ricardo FelipeSPAGNUELO, D. P. B.GUERRA JUNIOR, A. A.. Implementação de uma biblioteca de Segredo Compartilhado. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Vinícius da Rosa

ROSA, L. V.SILVERIO, A. L.CUSTODIO, R. F.MARTINA, J. E.. Comparação e especialização de metodologias de segurança em Aplicações Web para o contexto de sistemas de ICP. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Thais Bardini Idalino

IDALINO, T. B.SPAGNUELO, D. P. B.MARTINA, J. E.CUSTODIO, Ricardo FelipeSILVERIO, A. L.. Utilizando dispositivos móveis na geração de senhas descartáveis. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Fabio Resner

RESNER, F.FURTADO, O. J. V.Bereza Jr, A.MARTINA, J. E.CUSTODIO, R. F.. Execução Segura de Código em Módulo de Segurança Criptográfico. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Tariq Khan

Amorim, R.;MARTINA, J. E.. BodyByImran Fitness Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Siddiqa Kondiah

MARTINA, J. E.; Amorim, R.. Insight Book Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Gentle London

MARTINA, J. E.; Amorim, R.. London's Book World. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Annie Soomair

MARTINA, J. E.; Amorim, R.. The Premier Bookstore. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Usama Assing

Amorim, R.;MARTINA, Jean Everson. SIM1ne Mobile Solutions. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Khyle Beckles

Amorim, R.;MARTINA, J. E.. Online Electric Power Company. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Maurice Newallo-Singh

Amorim, R.;MARTINA, J. E.. CS-10-13. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Matthew James Seecharan

Amorim, R.;MARTINA, J. E.. Naturally Good. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Phillisia Thomas

Amorim, R.;MARTINA, J. E.. Stationery Super Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Rusheed Roberts

SOUSA, G.MARTINA, J. E.. The Online Fishing Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Vistoria Partapsingh

SOUSA, G.MARTINA, J. E.. Purple Star Bridal. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Cassius Marcellus Rochford

SOUSA, G.MARTINA, J. E.. CassiFlix One Stop Movie Portal (Movie Store). 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Crystal Singh

SOUSA, G.MARTINA, J. E.. Simpre Tu Skin Studio. (Online store selling skin products.). 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Shivani Khalawan

MARTINA, J. E.SOUSA, G.. Glittery Treasures. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Prabha Maraj

MARTINA, J. E.SOUSA, G.. Books R Us. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Kate Ramlogan

MARTINA, J. E.SOUSA, G.. Online Flower Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Joseanne Roberts-Millington

MARTINA, J. E.SOUSA, G.. Visage Fantaisie Cosmétiques Ltd. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Damian Rogers

MARTINA, J. E.SOUSA, G.. Online Computer Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Shawn Sampath

MARTINA, J. E.SOUSA, G.. Online Clothing Store. 2012. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Gustavo Isoppo

ISOPPO, G.;DOVICCHI, J. C.MARTINA, J. E.LEITE, M. M.. Governança de TI no Setor Público - Estudo de Caso. 2012. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Narisha Khan

MARTINA, J. E.Pinto, T. M.. La Flor The Online Flower Store. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Andrew Sammut

MARTINA, J. E.Pinto, T. M.. Hotel Recommendation & Review System. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Emanuel Lewis

MARTINA, Jean EversonPinto, T. M.. Cheque Return System. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Alena Konovalova

MARTINA, J. E.Pinto, T. M.. Brokerage Management reporting system to monitor trading, positions and risk exposure. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Ruba Holder

MARTINA, J. E.Pinto, T. M.. Online Computer Store. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Camelia Kolasingh

MARTINA, J. E.Pinto, T. M.. Flores Online Flower Store. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: Jeniel Pierre

MARTINA, J. E.Byrne, B.. An online evaluation System. 2010. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

Aluno: André Bereza Júnior

CUSTODIO, R. F.MARTINA, J. E.Bereza Jr, A.SOUZA, T. C. S. DE. Aprimoramento de um HSM para Homologação na ICP-Brasil. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina.

Aluno: Guilherme Venicius Brignoni

MARTINA, J. E.WESTPHALL, C. B.. Estudo de Algoritmos de Roteamento em redes Ad Hoc. 2005. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina.

Aluno: Túlio Cicero Salvaro de Souza

DIAS, J. S.SOUZA, T. C. S. DECUSTODIO, R. F.MARTINA, J. E.. Aplicacações embarcadas para gerenciamento de chaves criptográficas. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.

Aluno: Gustavo Cordeiro e Heitor de Brito Fontana

MARTINA, J. E.WESTPHALL, C. B.WESTPHALL, C. M.CRUZ, F. A. S.. Análise de Conformidade com os Controles Sugeridos pelo Código de Prática NBR ISO/IEC 17799. 2004. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina.

Aluno: Eduardo Gonçalves da Silva

MARTINA, J. E.WESTPHALL, C. B.WESTPHALL, C. M.BUSI, J. R.. Padrões de Reeds Troncalizadas Wireless: TETRA & APCO-25. 2004. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina.

Aluno: Marcelo Carlomagno Carlos e Rodrigo Muller Pons

MARTINA, J. E.; RECHIA, D. N.;DIAS, J. S.CUSTODIO, R. F.. Formulários eletrônicos digitais seguros. 2004. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina.

Orientou

Taciane Martimiano

Ceremmony Verification for Election Protocols; Início: 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Lucas Machado da Palma

Blockchain-Based Academic Record System; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Everson Martina;

Fernanda de Oliveria Gomes

PRIVACY PRESERVING ON TRAJECTORIESCREATED BY WI-FI CONNECTIONS: APPLICATIONON A UNIVERSITY CAMPUS; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Everson Martina;

Taciane Martimiano

DISTRIBUTED ATTACKER: AN ATTACKER TYPE PROPOSAL FOR SECURITY CEREMONIES; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Everson Martina;

Douglas Simões SiIva

FORMAL VERIFICATION AND ACCESS CONTROL APPROACH OF AN IOT PROTOCOL; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jean Everson Martina;

Lisa Barton-Pye

Business Intelligence in a Distributed Data Environment; 2014; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Michael Oghenetega Akpoghiran

Improving Response Effectiveness In Algorithm-Based Intrusion Detection and Prevention; 2014; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Dayana Pierina Brustolin Spagnuelo

Protocolo Flexível de Autenteicacão Multi-Fator: Estudo de Caso para Ambientes de Telemedicina; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jean Everson Martina;

Denis Pavlov

Concepts and application of Complex Event Processing (CEP); 2013; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Jean-Paul Arnephie

Web Database Management Systems (WDMS) / Database influence on website development; 2012; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Karoly Marton

Performance Measurement of Databases; 2012; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Neil Blandford

Bringing Intelligence to Virtualization Management; 2012; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Reginald Paul

An Educational Information Management System which facilitates an interactive and accessible knowledge based environment; 2012; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Nwachukwu Odukwe

Performance and Scalability Comparison of Message-Level Security (WS-Security) and Transport-Level Security (SSL/ TLS) particularly for End-to-End and Flexible Web Services Security; 2011; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Olayemi Toye

Bluetooth Banking: Implementation of bank area based mobile banking services using ad hoc networking technology; 2011; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

James Decelis

Using Java Technologies and Open-Source Frameworks; 2010; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Conrad Vassallo

The effectiveness of the integration of Google Apps web services in an e-learning platform; 2010; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Nathaniel Williams

Hospital Self Audit System; 2010; Dissertação (Mestrado em M; Sc; in Computer Science) - University of Hertfordshire, ; Orientador: Jean Everson Martina;

Juliano de Freitas Ângelo

Análise das possibilidades de implementação da tecnologia EMV no escopo das interações entre cartão e terminal; 2013; Monografia; (Aperfeiçoamento/Especialização em Pós-graduação em Segurança da Informação) - Serviço Nacional de Aprendizagem Comercial - RS; Orientador: Jean Everson Martina;

Júlio Lindolfo Lorenz

Captura de Transações de Cartão de Crédito em Smartphones; 2012; Monografia; (Aperfeiçoamento/Especialização em Pós-graduação em Segurança da Informação) - Serviço Nacional de Aprendizagem Comercial - RS; Orientador: Jean Everson Martina;

RONALDO LUIS DE OLIVIERA MAYER

Projeto de um Sistema de Acesso a Internet para Empresas com enfoque em Segurança da Informação; 2012; Monografia; (Aperfeiçoamento/Especialização em Pós-graduação em Segurança da Informação) - Serviço Nacional de Aprendizagem Comercial - RS; Orientador: Jean Everson Martina;

Hugo B

Caye; Computação e Criptografia Quânticas; 2012; Monografia; (Aperfeiçoamento/Especialização em Pós-graduação em Segurança da Informação) - Serviço Nacional de Aprendizagem Comercial - RS; Orientador: Jean Everson Martina;

Lucas Alberto Tommasi

Autoridade de Registro Automatizada e Embarcada; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Marlon Trapp

Uma proposta de identidade acadêmica baseada em ICAO 9303; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Taciane Martimiano

Verificação de Cerimônias de Segurança; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Tony Abouhatem

Verificação de Segurança do protocolo da Internet das Coisas; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Daniel Cassar

Blog for College Art Student; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Shivani Dass

Bag Mania Online Store; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Sharmila Deonarine

Trini Delights; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Rhonda Alicia Forbes

Genesis Kids Creation Store; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Richard Grech

Centralisation of a pan-European major sports brand?s systems and IT Infrastructure into a Hybrid cloud; ; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Mark Houlder

Road Legal Performance Forum and Store; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Fawwaz Khan

Get Fit Sporting Equipment Store; 2013; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Israel de Souza Carlos

Implementação de uma biblioteca de Segredo Compartilhado; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Tiago Dakuzaku

Estudo Comparativo Entre o Padrão Machine Readable Travel Document e o Registro de Identidade Civil Brasileiro; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Lucas Vinícius da Rosa

Comparação e especialização de metodologias de segurança em Aplicações Web para o contexto de sistemas de ICP; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Siddiqa Kondiah

Insight Book Store; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Gentle London

London's Book World; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Annie Soomair

The Premier Bookstore; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Shivani Khalawan

Glittery Treasures; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Prabha Maraj

Books R Us; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Kate Ramlogan

Online Flower Store; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Joseanne Roberts-Millington

Visage Fantaisie Cosmétiques Ltd; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Damian Rogers

Online Computer Store; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Shawn Sampath

Online Clothing Store; 2012; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Thomas F

M; White; Mobile Steganography Embedder; 2011; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Alena Konovalova

Brokerage Management reporting system to monitor trading, positions and risk exposure; 2011; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Emanuel Lewis

Cheque Return System; 2011; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Andrew Sammut

Hotel Recommendation & Review System; 2011; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Robert Duncan

Steganographic Message Broadcasting usingWeb Protocols; 2010; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

David Anthony Read

SAMES - Short Anonymous Message Encryption Scheme; 2010; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Jeniel Pierre

An online evaluation System; 2010; Trabalho de Conclusão de Curso; (Graduação em B; Sc; in Computer Science) - University of Hertfordshire; Orientador: Jean Everson Martina;

Neil Jenkins

Steganography in Audio; 2009; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Jeffrey Lau

Framework for Remote Laptop Location and Operations; 2009; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Keith Cheng

PKI certificate path trust verification tool; 2009; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

James Nicholson

A Decentralised, Cryptographic Instant Messenger; 2008; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Christopher Llanwarne

A Steganographic Block Store Across Several Media Files; 2008; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Cambridge; Orientador: Jean Everson Martina;

Túlio Cicero Salvaro de Souza

Aplicações embarcadas para gerenciamento de chaves criptográficas; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciencias da Computação) - Universidade Federal de Santa Catarina; Orientador: Jean Everson Martina;

Produções bibliográficas

  • MARIANI, ANTÔNIO CARLOS ; MACHADO DA PALMA, LUCAS ; MARTINA, Jean Everson . The Digital Degree Certification Revolution in Brazil and Beyond. COMMUNICATIONS OF THE ACM , v. 1, p. 1-3, 2024.

  • WESTPHALL, JOHANN ; MARTINA, Jean Everson . Blockchain Privacy and Scalability in a Decentralized Validated Energy Trading Context with Hyperledger Fabric. SENSORS , v. 22, p. 4585, 2022.

  • ESTEVAM, GABRIEL ; PALMA, LUCAS M. ; SILVA, LUAN R. ; MARTINA, JEAN E. ; VIGIL, MARTÍN . Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. INFORMATION PROCESSING & MANAGEMENT , v. 1, p. 102471, 2021.

  • GIRON, ALEXANDRE AUGUSTO ; MARTINA, Jean Everson ; CUSTÓDIO, RICARDO . Steganographic Analysis of Blockchains. SENSORS , v. 21, p. 4078, 2021.

  • BARBOSA, SARAH ; RODRIGUES, JEFERSON ; GUIMARÃES, GUSTAVO FERREIRA ; MARTINA, Jean Everson ; LOPES, SARA MENDES BOEIRA . Funcionalidades para modelo de aplicativo de smartphone para prevenção do comportamento suicida. RESEARCH, SOCIETY AND DEVELOPMENT , v. 10, p. e16810716363, 2021.

  • PAVAN, LUÍS HENRIQUE ; OLIVEIRA, LUCAS FERNANDES DE ; MANGRICH, CAMILA POETA ; ALMEIDA, RENATO LUIZ MARTINS DE ; GOMES, FERNANDA DE OLIVEIRA ; MARTINA, Jean Everson ; KÓS, JOSÉ RIPPER . Dados de conexão Wi-Fi e campus universitário: estudos sobre dinâmica humana e privacidade. GESTÃO & TECNOLOGIA DE PROJETOS , v. 17, p. 185-198, 2021.

  • PALMA, LUCAS M. ; VIGIL, MARTÍN A. G. ; PEREIRA, FERNANDO L. ; MARTINA, JEAN E. . Blockchain and smart contracts for higher education registry in Brazil. International Journal of Network Management , v. 1, p. e2061, 2019.

  • MANGRICH, CAMILA POETA ; PAVAN, LUIS HENRIQUE ; GOMES, FERNANDA ; OLIVEIRA, LUCAS ; KOS, JOSE ; MARTINA, Jean Everson . Campus regenerative design supported by university Wi-Fi connections. International Journal of Architectural Computing , v. 17, p. 147807711984968, 2019.

  • BATTISTELLA, P. E. ; WANGENHEIM, C. G. V. ; Wangenheim, A. V. ; MARTINA, J. E. . Design and Large-scale Evaluation of Educational Games for Teaching Sorting Algorithms. INFORMATICS IN EDUCATION , v. 16, p. 141-164, 2017.

  • VON WANGENHEIM, A. ; SPAGNUELO, D. P. B. ; IDALINO, T. B. ; MARTINA, J. E. ; RIBEIRO, L. A. . Autenticação Multi-Fator para Telemedicina usando Dispositivos Móveis e Senhas Descartáveis. journal of health informatics , v. 8, p. 1041-1049, 2016.

  • MARTINA, Jean Everson ; PAULSON, LAWRENCE CHARLES . Verifying multicast-based security protocols using the inductive method. International Journal of Information Security , v. 14, p. 187-204, 2015.

  • MARTINA, Jean Everson ; dos Santos, Eduardo ; CARLOS, MARCELO CARLOMAGNO ; PRICE, GERAINT ; CUSTÓDIO, RICARDO FELIPE . An adaptive threat model for security ceremonies. International Journal of Information Security , v. 14, p. 103-121, 2015.

  • Wangenheim, A. V. ; CUSTODIO, R. F. ; MARTINA, J. E. ; GIULIANO, I. B. ; Andrade, R. . Assinatura digital de laudos médicos: um assunto ainda não resolvido. Revista da Associação Médica Brasileira (1992. Impresso) , v. 59, p. 209-212, 2013.

  • NOGUEIRA, H. ; MARTINA, Jean Everson ; CUSTODIO, Ricardo Felipe . An Attribute-Based Public Key Infrastructure. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND INFORMATION SECURITY , v. 11, p. 11-18, 2013.

  • Wangenheim, A. V. ; MARTINA, J. E. ; DOVICCHI, J. C. ; CANCIAN, R. . Developing Programming Courses with Moodle and VPL - The Teacher's Guide to the Virtual Programming Lab. 1. ed. Florianopolis: Bookess, 2015. 201p .

  • Agostino, Ícaro Romolo Sousa ; Frazzon, Enzo Morosini ; Fröhlich, Antonio Augusto Medeiros ; Silvestri, Marco ; Bornia, Antonio Cezar ; Spengler, Anderson ; Martina, Jean ; Fettermann, Diego ; Tortorella, Guilherme . Perspectives for IoT-Based Integration of Distributed and Automated Manufacturing Lines for Mass Customization. Lecture Notes on Multidisciplinary Industrial Engineering. 1ed.: Springer International Publishing, 2020, v. , p. 31-41.

  • MARTINA, Jean Everson . Daemones Non Operantur Nisi Per Artem. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 106-113.

  • Martimiano, Taciane ; MARTINA, Jean Everson . Daemones Non Operantur Nisi Per Artem. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 96-105.

  • Martimiano, Taciane ; MARTINA, Jean Everson . Six Characters in Search of a Security Problem: Pirandellian Masks for Security Ceremonies. 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). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2022. p. 344-357.

  • CAMPELLI, LUCA ; PALMA, LUCAS ; Martina, Jean . Protocolo de Diploma Digital Auto-Soberano com Retrocompatibilidade Tecnológica: Uma Solução Adptada a Realidade Brasileira. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2021, Brasil. Anais do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021). Porto Alegre: Sociedade Brasileira de Computação, 2021. p. 323-336.

  • GIRON, A. A. ; MARTINA, J. E. ; CUSTODIO, R. F. . Bitcoin Blockchain Steganographic Analysis. In: AIBlock ? Application Intelligence and Blockchain Security, 2020, Roma. Applied Cryptography and Network Security Workshops, 2020. v. 12418. p. 41-57.

  • WESTPHALL, JOHANN ; LOFFI, LEANDRO ; WESTPHALL, CARLA MERKLE ; EVERSON MARTINA, JEAN . CoAP + DTLS: A Comprehensive Overview of Cryptographic Performance on an IOT Scenario. In: 2020 IEEE Sensors Applications Symposium (SAS), 2020, Kuala Lumpur. 2020 IEEE Sensors Applications Symposium (SAS), 2020. p. 1.

  • BOAS, YURI DA SILVA VILLAS ; ROCHA, DANIEL SANTANA ; DE BARROS, CHARLES E ; MARTINA, Jean Everson . SRVB cryptosystem: another attempt to revive Knapsack-based public-key encryption schemes. In: 2020 27th International Conference on Telecommunications (ICT), 2020, Bali. 2020 27th International Conference on Telecommunications (ICT), 2020. p. 1.

  • GOMES, FERNANDA OLIVEIRA ; AGOSTINHO, BRUNO MACHADO ; MARTINA, Jean Everson . Fraud Prevention Within the Brazilian Governmental Public-Key Infrastructure. In: 2020 IEEE International Conference on Intelligence and Security Informatics (ISI), 2020, Arlington. 2020 IEEE International Conference on Intelligence and Security Informatics (ISI), 2020. p. 1.

  • GOMES, F. O. ; AGOSTINHO, B. M. ; BALDISSERA, J. ; SILVEIRA, R. S. ; MARTINA, J. E. . Detecção de Fraudes na Emissão de Certificados Digitais dentro da Infraestrutura de Chaves Públicas Brasileira. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2020, Petrópolis. Anais do SBSEG, 2020.

  • LEPIANE, CRISTIANE DIAS ; PEREIRA, FERNANDO LAURO ; PIERI, GIOVANI ; MARTINS, DOUGLAS ; MARTINA, Jean Everson ; RABELO, MAURO LUIZ . Digital Degree Certificates for Higher Education in Brazil. In: the ACM Symposium, 2019, Berlin. Proceedings of the ACM Symposium on Document Engineering 2019 - DocEng '19. New York: ACM Press, 2019. p. 1.

  • PALMA, LUCAS M. ; GOMES, F. O. ; VIGIL, M. A. G. ; MARTINA, J. E. . A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programs. In: International Conference on Information Systems Security, 2019, Hyderabad. International Conference on Information Systems Security, 2019. v. 11952. p. 3-20.

  • Martina, Jean ; PEREIRA, FERNANDO ; PIERI, GIOVANI ; BEZERRA, ROQUE ; CORDEIRO, LUIS ; MEURER, LEONARDO ; GERÔNIMO, GUILHERME ; CUSTODIO, RICARDO ; MARTINS, DOUGLAS ; MACELAI, VINICIUS . Certi¿cado Digital Acadêmico na Nuvem. In: IX Workshop de Gestão de Identidades Digitais, 2019, Brasil. Anais do IX Workshop de Gestão de Identidades Digitais (WGID 2019), 2019. p. 19.

  • MARTINA, J. E. ; PEREIRA, F. L. ; PAVANATI, A. ; JACOBSEN, A. L. . A GESTÃO UNIVERSITÁRIA EM UMA PERSPECTIVA SÓCIO-TÉCNICA SOBRE O USO DA CERTIFICAÇÃO DIGITAL EM NUVEM NA UNIVERSIDADE FEDERAL DE SANTA CATARINA, SEGUNDO AS NORMATIVAS 06 E 10 DE 2017 DO INSTITUTO NACIONAL DE TECNOLOGIA DA INFORMAÇÃO.. In: XVIII Colóquio Internacional de Gestão Universitária, 2018, Loja. Anais dos Colóquios Internacionais sobre Gestão Universitária - CIGU, 2018.

  • MARTINA, J. E. ; GOMES, F. O. ; BALDISSERA, J. ; SILVA, D. S. ; AGOSTINHO, B. M. . Anonimização de Dados de Trajetórias em Grupos para Disponibilização à Pesquisa Universitária. 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.

  • GOMES, FERNANDA OLIVEIRA ; SILVA, DOUGLAS SIMOES ; AGOSTINHO, BRUNO MACHADO ; MARTINA, Jean Everson . Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. In: 2018 IEEE International Conference on Intelligence and Security Informatics (ISI), 2018, Miami. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI), 2018. p. 181.

  • PERIN, LUCAS PANDOLFO ; ZAMBONIN, GUSTAVO ; MARTINS, DOUGLAS MARCELINO BEPPLER ; CUSTODIO, RICARDO ; MARTINA, Jean Everson . Tuning the Winternitz hash-based digital signature scheme. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. p. 00537.

  • IDALINO, T. B. ; SPAGNUELO, D. P. B. ; MARTINA, Jean Everson . Private Verification of Access on Medical Data: An Initial Study. In: Data Privacy Management, Cryptocurrencies and Blockchain Technology. ESORICS 2017, DPM 2017, CBT 2017, 2017, Olso. Lecture Notes in Computer Science. Cham: Springer, 2017. v. 10436.

  • IDALINO, THAIS BARDINI ; COELHO, MARINA ; MARTINA, Jean Everson . Automated Issuance of Digital Certificates through the Use of Federations. In: 2016 11th International Conference on Availability, Reliability and Security (ARES ), 2016, Salzburg. 2016 11th International Conference on Availability, Reliability and Security (ARES), 2016. p. 725.

  • MARTIMIANO, T. ; MARTINA, J. E. . Threat Modelling Service Security and Privacy as a Security Ceremony. In: International Conference on Availability, Reliability and Security, 2016, Salzburg. Proceedings of International Conference on Availability, Reliability and Security, 2016.

  • Silva, Douglas Simões ; Resner, Davi ; de Souza, Rick Lopes ; MARTINA, J. E. . Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. In: 12th International Conference, ICISS 2016, 2016, Jaipur. Lecture Notes in Computer Science. London: Springer International Publishing, 2016. v. 10063. p. 426-443.

  • BATTISTELLA, P. E. ; PETRI, G. ; WANGENHEIM, C. G. V. ; Wangenheim, A. V. ; MARTINA, J. E. . SORTIA 2.0: Um jogo de ordenação para o ensino de Estrutura de Dados. In: Simpósio Brasileiro de Sistemas de Informação, 2016, Florianopolis. Anais do Simpósio Brasileiro de Sistemas de Informação, 2016.

  • MARTIMIANO, T. ; DOS SANTOS, Eduardo ; OLEMBO, M. ; MARTINA, J. E. ; MORAES, R. A. R. . Ceremony Analysis Meets Verifiable Voting: Individual Verifiability in Helios. In: The Ninth International Conference on Emerging Security Information, Systems and Technologies, 2015, Venice. Secureware, 2015.

  • COELHO, M. S. ; TOMASI, L. A. ; IDALINO, T. B. ; MARTINA, J. E. . Identificando vulnerabilidades de segurança em uma aplicação web. In: Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG)/Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg),, 2015, Florianpolis. Anaius do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg),, 2015.

  • MARTIMIANO, T. ; MARTINA, J. E. ; OLEMBO, M. ; CARLOS, M. C. . Modelling User Devices in Security Ceremonies. In: Workshop on Socio-Technical Aspects in Security and Trust, 2014, Vienna. 27th IEEE Computer Security Foundations Symposium (CSF), 2014.

  • SASSO, F. C. ; MARTINA, J. E. ; MORAES, R. A. R. . A Proposal for an Unified Identity Card for Use in an Academic Federation Environment. In: International Conference on Availability, Reliability and Security, 2014, Freiburg. Proceedings of International Conference on Availability, Reliability and Security, 2014.

  • MARTIMIANO, T. ; OLEMBO, M. ; MARTINA, J. E. . Análise de cerimônias no sistema de votação Helios. In: XIV impósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2014, Belo Horizonte/MG. Anais dos XIV impósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Porto Alegre: SBC, 2014.

  • MARTINA, J. E. ; PAULSON, L. C. . Verifying Multicast-Based Security Protocols Using the Inductive Method. In: 28th Symposium On Applied Computing, 2013, Coimbra. 28th Symposium On Applied Computing, 2013.

  • CARLOS, M. C. ; MARTINA, J. E. ; PRICE, G. ; CUSTODIO, R. F. . An Updated Threat Model for Security Ceremonies. In: 28th Symposium On Applied Computing, 2013, Coimbra. 28th Symposium On Applied Computing, 2013.

  • FROHLICH, A. A. ; OKAZAKI, A. M. ; STEINER, R. V. ; OLIVEIRA, P. ; MARTINA, J. E. . A Cross-layer Approach to Trustfulness in the Internet of Things. In: 9TH WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS (SEUS 2013), 2013, Paderborn. Proceedings of the 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 2013.

  • IDALINO, T. B. ; MARTINA, Jean Everson . Uma Avaliação do Uso de Documentos Aderentes ao Padrão ICAO 9303 no Âmbito Acadêmico. In: Workshop de Gestão de Identidades Digitais, 2013, Manaus. Anais do XIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). Porto Alegre: Sociedade Brasileira de Computação, 2013. p. 517-525.

  • DOS SANTOS, Eduardo ; MARTINA, Jean Everson ; CUSTODIO, Ricardo Felipe . Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, Liverpool. 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, 2012. v. 1. p. 84-91.

  • SPAGNUELO, D. P. B. ; MARTINA, J. E. ; CUSTODIO, R. F. ; Andrade, R. . Multi-factor Authentication in Telemedicine Systems. In: Fifth International Conference on eHealth, Telemedicine, and Social Medicine, 2012, Nice. Fifth International Conference on eHealth, Telemedicine, and Social Medicine, 2013.

  • IMHOF, B. ; TOMASI, L. A. ; MARTINA, J. E. ; CUSTODIO, R. F. ; Wangenheim, A. V. . Autorização de Procedimento de Alto Custo Eletrônica (e-APAC). In: X CertForum, 2012, Florianópolis. Anais do X CertForum. Brasilia: Instituto Nacional de Tecnologia da Informação, 2012.

  • White, T. F. M. ; MARTINA, J. E. . Mobile Steganography Embedder. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2011, Brasilia. Anais do XI Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2011.

  • Read, D. A. ; MARTINA, J. E. . SAMES - Short Anonymous Message Encryption Scheme. In: X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais (SBSEG 2010), 2010, Fortaleza. X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2010.

  • DUNCAN, R. ; MARTINA, J. E. . Steganographic Message Broadcasting using Web Protocols. In: X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais (SBSEG 2010), 2010, Fortaleza. X Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2010.

  • MARTINA, J. E. ; SOUZA, T. C. S. DE ; CUSTODIO, R. F. . Ceremonies Formal Analysis in PKI s Context. In: International Symposium on Privacy and Security Applications (PSA 09), 2009, Vancouver. Proceedings of International Conference on Information Privacy, Security, Risk and Trust, 2009.

  • MARTINA, J. E. ; ARAUJO, T. S. . Economics Applied to Information Security: The Brazillian Electronic Bill of Sale Case. In: 2nd International Workshop on Electronic Commerce, Business, and Services (ECBS 2009), 2009, Milan. Proceedings f IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), 2009.

  • MARTINA, J. E. ; SOUZA, T. C. S. DE ; CUSTODIO, R. F. . Ceremonies Design for PKI?s Hardware Security Modules. In: IX Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais (SBSEG 09), 2009, Campinas. Anais do IX Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2009.

  • JENKINS, N. ; MARTINA, J. E. . Steganography in Audio. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2009, Campinas. Anais do IX Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2009.

  • LAU, J. ; MARTINA, J. E. . Framework for Remote Laptop Location and Operations. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2009, Campinas. Anais do IX Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2009.

  • CHENG, K. ; MARTINA, J. E. . A Browser Extension for Evaluation of Certification Path. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2009, Campinas. Anais do IX Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2009.

  • SOUZA, T. C. S. DE ; MARTINA, J. E. ; CUSTODIO, R. F. . Audit and backup procedures for hardware security modules. In: 7th symposium on Identity and trust on the Internet, 2008, Gaithersburg, Maryland. ACM International Conference Proceeding Series, 2008. v. 283. p. 89-97.

  • MARTINA, J. E. ; Boal, L. A. C. . Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira. In: VIII Simpósio Brasileiro em Segurança da Informação e de Sistemes Computacionais, 2008, Gramado. Anais do SBSEG 2008, 2008.

  • MARTINA, J. E. ; SOUZA, T. C. S. DE ; CUSTODIO, R. F. . OpenHSM: An Open key life cycle protocol for Public Key Infrastructure's Hardware Security Modules.. In: European PKI Workshop: Theory and Practice (EuroPKI'07), 2007, Mallorca. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2007. v. 4582. p. 220-235.

  • DIAS, J. S. ; CUSTODIO, R. F. ; MARTINA, J. E. ; FREITAS, D. S. . Execução segura de assinaturas confiáveis em documentos eletrônicos. In: XXII Simpósio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII Simpósio Brasileiro de Redes de Computadores, 2004.

  • CARLOS, M. C. ; MARTINA, J. E. ; PRICE, G. ; CUSTODIO, R. F. . A Proposed Framework for Analysing Security Ceremonies. In: International Conference on Security and Cryptography, 2012, Roma. International Conference on Security and Cryptography - SECRYPT'12, 2012. v. 1. p. 440-445.

  • BOAS, YURI DA SILVA VILLAS ; ROCHA, DANIEL SANTANA ; BARROS, CHARLES F. DE ; MARTINA, Jean Everson . F2MH Cryptosystem: Preliminary analysis of an original attempt to revive Knapsack-based public-key encryption schemes. In: 2020 28th Euromicro International Conference on Parallel, Distributed and NetworkBased Processing (PDP), 2020, Västerås. 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 2020. p. 211.

  • Silva, Douglas Simões ; MARTINA, Jean Everson ; MONTANARI, R. ; FOSCHINI, L. . Formal Verification Strategy for a Context-Aware Access Control Implementation's Confidentiality in the Internet of Things. In: 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (DASC), 2017, Orlando. Proceedings of 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (DASC). Los Alamitos, California: IEEE Computer Society, 2017.

  • MARTIMIANO, T. ; MARTINA, J. E. ; MORAES, R. A. R. . Threat Modelling Service Security and Privacyas a Security Ceremony. 2015. (Apresentação de Trabalho/Congresso).

  • MARTINA, Jean Everson . O padrão ICAO 9303. 2013. (Apresentação de Trabalho/Outra).

  • MARTINA, Jean Everson . Correção Formal de Protocolos de Segurança. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • MARTINA, Jean Everson . The Ever Changing Threat Model: A Social-Technical Perspective. 2013. (Apresentação de Trabalho/Congresso).

  • MARTINA, Jean Everson . The Ever Changing Threat Model - A social-technical perspective. 2013. (Apresentação de Trabalho/Simpósio).

  • MARTINA, J. E. . Verifying Multicast Based Security Protocols. 2010. (Apresentação de Trabalho/Seminário).

  • MARTINA, J. E. . Why Should We Analyse Security Ceremonies?. 2008. (Apresentação de Trabalho/Congresso).

Outras produções

MARTINA, Jean Everson ; PIERI, GIOVANI ; PEREIRA, FERNANDO L. ; BEZERRA, R. O. ; MEURER, L. ; PAVANATI, A. ; MARTINS, D. M. B. . Relatório do Teste de Exequibilidade do Diploma Digital segundo a Portaria 554/2019. 2019.

LEPIANE, CRISTIANE DIAS ; MARTINA, Jean Everson ; PIERI, GIOVANI . Nota Técnica do Diploma Digital. 2019.

MARTINA, Jean Everson ; VON WANGENHEIM, A. ; ZAMBONIN, GUSTAVO ; MARTINS, D. M. B. . Auditoria de Imagens em Radares de Velocidade - Consórcio Supervias. 2017.

MARTINA, Jean Everson ; PERIN, L. P. ; SOUZA, R. L. . Testes de Interoperabilidade KMIP. 2017.

MARTINA, Jean Everson ; MAYER, R. ; MARCHETTO, G. ; PINHO, M. R. . Manual de Auditoria de Autoridades do Sistema ICP-Brasil. 2013.

MARTINA, J. E. ; SOUZA, T. C. S. DE . Smartix - Biblioteca de Integração de Smart-Cards em Ambiente Unix para linguagem C/C++. 2005.

MARTINA, J. E. . AthomWall. 2004.

MARTINA, J. E. . Osiris - Sistema de Processamento baseado em Servidores. 2004.

CUSTODIO, R. F. ; MARTINA, J. E. ; SOUZA, T. C. S. DE ; Sutil, J. M. . Módulo de Segurança Criptográfica ASI-HSM. 2006.

MARTINA, JEAN E. ; CUSTODIO, R. F. ; SILVA, D. S. ; MULLER, G. ; BITTENCOURT, M. S. P. . Importação backup ASI para KNET - Kryptus. 2018.

MARTINA, J. E. ; ZAMBONIN, G. ; MARTINS, D. M. B. . Assinador PAdES ICP-Brasil BRy. 2017.

MARTINA, J. E. ; VIGIL, M. A. G. . Capacitação dos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywapa, Ywyra e Hawa (CELEPAR). 2018. (Curso de curta duração ministrado/Extensão).

MARTINA, J. E. ; PEREIRA, F. L. ; CUSTODIO, R. F. ; PERIN, L. P. ; MONTEZANO, P. R. . Capacitação dos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywapa, Ywyra e Hawa. 2018. (Curso de curta duração ministrado/Extensão).

MARTINA, J. E. . Criptografia e Criptoanalise. 2013. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Criptografia e Criptoanalise. 2013. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Criptografia e Criptoanalise. 2013. (Curso de curta duração ministrado/Especialização).

MARTINA, J. E. . Criptografia e Criptoanalise. 2012. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Infra-estrutura de Chaves Públicas. 2012. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Segurança de Redes. 2012. (Curso de curta duração ministrado/Especialização).

MARTINA, J. E. . Criptografia e Criptoanálise. 2011. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Infra-estrutura de Chaves Públicas. 2011. (Curso de curta duração ministrado/Especialização).

MARTINA, Jean Everson . Sistemas Operacionais de Redes. 2006. (Curso de curta duração ministrado/Especialização).

Projetos de pesquisa

  • 2023 - Atual

    Estudo para a consolidação das Tecnologias de gerenciamento de certificados digitais no Brasil - POSTQUANTUM e Estudo de Evoluções nos Certificados Digitais Avançados do Governo Federal Brasileiro, Descrição: O objeto do presente Projeto de Pesquisa consiste no estudo para a consolidação das tecnologias de gerenciamento de certificados digitais no Brasil, com ênfase na ameaça que os computadores quânticos representam para a segurança eletrônica. São propostas implementações de prova de conceito suportando novos algoritmos denominados pós-quânticos, bem como a análise de como estes algoritmos influenciam na certificação digital no contexto da ICP-Brasil. O projeto também engloba a demanda de aprimoramento, face a eventuais inovações tecnológicas, dos protótipos de Sistemas de Gerenciamento de Certificados (SGC) no escopo da ICP-Brasil, assim como na plataforma de Assinaturas Eletrônicas Avançadas mantida pelo ITI, em parceria junto a SGD, em conformidade com a Lei N 14.063, de 23 de setembro de 2020. Serão realizados estudos de viabilidade com desenvolvimento de artefatos de software e elaborar-se-ão relatórios técnicos para a evolução destas plataformas. OBS: Para Constar, Laboratório de Segurança em Computação - LabSEC, parte integrante da UFSC, possui capacidade técnica e operacional necessárias para a realização das atividades iniciais, e irá solicitar e negociar junto ao Departamento de Informática e Estatística (INE) mais espaço físico para a contratação de toda equipe prevista no Plano de Trabalho.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (14) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador / Thaís Bardini Idalino - Integrante / LEANDRO AMANCIO - Integrante / Leonardo Meurer - Integrante / ROQUE OLIVEIRA BEZERRA - Integrante / Bruno Carlo Celeguim de Amattos - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Arthur Gabriel Crippa Milanez - Integrante / Maurício de Vasconcelos Barros - Integrante / Areli Andreia dos Santos - Integrante / Davi da Silva Böger - Integrante / Giovani Pieri - Integrante / Luís Fernando Cordeiro - Integrante / GUILHERME ARTHUR GERONIMO - Integrante / David Arruda Husadel - Integrante / Vicente Silveira Inacio - Integrante / Alex Davis Neuwiem da Silva - Integrante / Gabriel Holstein Meireles - Integrante / Gabriel da Silva Cardoso - Integrante / Gustavo Ribeiro Bôdi - Integrante / Ismael Coral Hoepers Heinzelmann - Integrante / Larissa Gremelmaier Rosa - Integrante / Luan da Silva Moraes - Integrante / Lucas Castro Truppel Machado - Integrante / Lucas Coelho Pini de Sousa - Integrante / Pedro Henrique Azevedo - Integrante / Priscila Rosa Martins - Integrante / Sandro Santana Ribeiro - Integrante / Victor Luiz de Souza - Integrante / Gabriela Regina Lothe - Integrante., Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.

  • 2022 - Atual

    Inovação em tecnologias e serviços para validação de assinaturas eletrônicas, Descrição: Projeto de Pesquisa que consiste no estudo para consolidação das tecnologias de validação e verificação de documentos assinados digitalmente no Brasil, sejam estes de cunho específico ou geral, e podendo pertencer à alçada do Padrão Brasileiro de Assinatura Digital (PBAD) da ICP-Brasil. São propostas implementações de prova de conceito suportando novos documentos de cunho específico e a certificados de atributo em assinaturas digitais ICP-Brasil, bem como a unificação da prestação do serviço de validação de assinaturas em um único portal. O projeto também engloba a manutenção e aprimoramento contínuo do Validador de Assinaturas Eletrônicas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (2) . , Integrantes: Jean Everson Martina - Coordenador / Antonio Carlos Mariani - Integrante / GUSTAVO DE CASTRO BIAGE - Integrante / Arthur Gabriel Crippa Milanez - Integrante / Gabriel Holstein Meireles - Integrante / Gabriela Regina Lother - Integrante / Gustavo Ribeiro Bôdi - Integrante / Ismael Coral Hoepers Heinzelmann - Integrante / Larissa Gremelmaier Rosa - Integrante / Lucas Castro Truppel Machado - Integrante / Lucas Coelho Pini de Sousa - Integrante / Victor Luiz de Souza - Integrante / Anthon Porath Grette - Integrante / Anthony Bernardo Kamers - Integrante / Eduardo de Moraes - Integrante / Frederico Schardong - Integrante / Geremias Rodrigues Nunes - Integrante / Gustavo Gonçalves dos Santos - Integrante / João Pedro Cardoso Barbosa - Integrante / Marcos Tomaszewski - Integrante / Matheus Avila Naspolini - Integrante / Nicole Schmidt - Integrante / Pedro Costa Casotti - Integrante / Vitor Hugo Homem Marzarotto - Integrante., Financiador(es): INSTITUTO NACIONAL DE TECNOLOGIA DA INFORMAÃ?Ã?O - Auxílio financeiro.

  • 2021 - 2023

    Modernização do Padrão Brasileiro de Assinatura Digital na ICP-Brasil, Descrição: O Projeto tem por objetivo realizar pesquisas em prol da modernização da tecnologia de geração e verificação de assinaturas digitais no âmbito do Padrão Brasileiro de Assinatura Digital (PBAD) da ICP-Brasil, com o intuito de realizar implementações de suporte a algoritmo criptográfico resistente a computadores quânticos e do formato de assinatura, JavaScript Object Notation (JSON) nos Códigos de Referência do PBAD, bem como realizar estudos que corroborem com a manutenção e aprimoramento contínuo dos sistemas e aplicações que fazem parte dos Códigos: Assinador de Referência, Verificador de Conformidade, Gerenciador de Políticas de Assinaturas (PAs), Gerenciador de Listas de Prestadores de Serviço de Confiança (LPSCs) e Verificador de Conformidade na versão mobile.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (13) / Mestrado acadêmico: (3) . , Integrantes: Jean Everson Martina - Coordenador., Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.

  • 2020 - 2022

    Estudo da Validação de Documentos Eletrônicos com o Padrão Brasileiro de Assinatura Digital, Descrição: O objetivo principal deste Projeto de Pesquisa é fornecer uma solução especializada que atenda à legislação específica de órgãos brasileiros no contexto de assinaturas digitais para validação de documentos eletrônicos de cunho específico assinados digitalmente. No Brasil à utilização de assinaturas digitais em documentos eletrônicos é regulamentada através da Medida Provisória N. 2.200-2. Documentos eletrônicos assinados permeiam vários aspectos da sociedade, como em contratos entre entidades, receitas médicas, documentos jurídicos e notas fiscais e fornecer assistência profissional em um ambiente totalmente digitalizado remete a uma série de desafios, dentre eles, destacam-se a necessidade da garantia da autenticidade, da integridade e da veracidade de documentos utilizados por prestadores de serviço e seus consumidores. Em sua forma eletrônica, é necessário que tais documentos sejam obtidos e verificados pelos destinatários de forma ágil e com segurança, todo processo envolve a validação de atributos qualitativos da pessoas que assinam um documento de saúde, sendo assim, temos à colocação de elementos novos em evidência algo novo a ser feito na ICP-Brasil de forma estruturada. O teletrabalho impõe desafios, em tempos pandêmicos, essa modalidade possibilita reduzir riscos de transmissão de patologias entre profissionais e a população atendida. O teletrabalho aliado às tecnologias empregadas para tornar possível esta modalidade fornece e habilita a prestação de atendimento em ambientes remotos ou de difícil acesso. Observa-se que atualmente há suporte limitado para a prática do teletrabalho em certas instituições. Assim, destaca-se a importância em fomentar a pesquisa nessa linha, estudar sobre a emissão de recibos assinados, particularmente de métodos padronizados para permitir a criação de artefato que habilita ao usuário a prova de que, em certo momento, um documento assinado digitalmente foi submetido a um serviço de verificação de assinaturas digitais, viabiliza fornecer soluções que atendam a sociedade em geral. Metodologia *Iremos realizar a Revisão bibliográfica e manutenção de uma base de dados com trabalhos relacionados a normatização e validação de documentos de cunho específico e com com trabalhos relacionados às técnicas de proteção de privacidade de dados, onde aplicável. *Iremos criar um ambiente docker para as aplicações, bem como um processo para mensurar a aceitação e feedback dos usuários perante novas funcionalidades, com foco em usabilidade, eficiência e segurança. *Iremos Disponibilizar funcionalidades do Validador de Documentos Digitais, como prova de conceito, em relação às demandas específicas. *Iremos Conduzir testes de aceitação para as funcionalidades do Validador de Documentos Digitais, mediante técnicas estudadas com a Criação de ambiente docker para as aplicações. Os objetivos específicos deste projeto são apresentados abaixo. *Análise do estado da arte em padrões de assinaturas digitais e tratamento de documentos digitais com dados sensíveis, no contexto de documentos relacionados a profissões específicas. O foco desse estudo será aplicado no padrão de documentos PAdES (PDF Advanced Electronic Signatures) e no uso de códigos QR (QR Codes). Esta análise subsidiará decisões do projeto sobre formas de qualificar os usuários de forma padronizada, bem como o uso de certificados de atributo na verificação de assinaturas digitais. *Estudo sobre processos e ambientes de desenvolvimento de software, com foco na modularização, entrega incremental, manutenção e melhoria de software, em relação aos serviços de geração e verificação de assinaturas digitais no contexto da ICP-Brasil. Esse objetivo específico busca viabilizar o desenvolvimento dos softwares requeridos (como prova de conceito) para as avaliações desta pesquisa, em especial para os ambientes em docker.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Jean Everson Martina - Coordenador / Gustavo Zambonin - Integrante / DÚNIA MARCHIORI - Integrante., Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.

  • 2019 - 2023

    Usabilidade em cerimônias da ICP-Brasil, Descrição: Objetivo Geral Este projeto de Pesquisa, tem por objetivo realizar estudos em prol de novos conhecimentos para o aprimoramento de cerimônias em lote para a ICP-Brasil, realizadas pelo conjunto de Sistemas de Gerenciamento de Certificados Digitais, SGC, composto por Ywapa, Ywyra, Hawa e Yba, com o intuito de diminuir o tempo de execução dessas cerimônias além de contribuir para a usabilidade dos Softwares relacionados a gestão de autoridades Certificadoras e Registradoras. Objetivo específico (metas) O projeto de pesquisa tem como objetivo específico realizar: *Estudo de usabilidade para simplificação da complexidade de cerimônias de ICP; *Estudo de usabilidade para redução de interações humanas durante a execução de cerimônias de ICP; *Avaliação de técnicas de usabilidade no grupo SGC; *Estudo de viabilidade de execução de operações de cerimônias em lotes, semi ou completamente autônomas, com ou sem supervisão; *Avaliação de soluções para implementação de cerimônias em lotes; *Adaptação normativa do grupo SGC para acompanhamento fiel das atividades propostas. *Publicação de material de valor científico dentro do tema da pesquisa, como por exemplo, artigos científicos, trabalhos de conclusão de curso e/ou dissertações de mestrado. Problema A execução das cerimônias são realizadas em ambientes seguros, as restritas Salas Cofre, a pesquisa tem como foco contribuir para com a diminuição do tempo de execução dessas cerimônias, reduzindo o tempo de interações humanas durante o fluxo de execução automatizando alguns passos, sendo essa automatização de grande relevância para os operadores dos Sistemas. Considerando o aumento significativo de cerimônias executadas para a manutenção e operação destes ambientes, o risco de ocorrências de erros humanos é agravado, em um ambiente intransigente à falhas. Importância para o avanço do Conhecimento É de extrema importância para a Infraestrutura de Chaves Públicas Brasileira (ICP-Brasil), a realização de pesquisas voltadas à buscas de soluções para o aprimoramento da usabilidade do conjunto de Sistemas de Gerenciamento de Certificados Digitais, o LabSEC é reconhecido nos trabalhos realizados nesta área, desenvolveu e mantém um sistema acadêmico aberto de gerenciamento de certificados digitais. O LabSEC tem realizados trabalhos do o Instituto Nacional de Tecnologia de Informação (ITI), e todos os objetivos alcançados com excelência. Metodologias Será utilizado como metodologia, a revisão bibliográfica para o levantamento de técnicas e indicadores para avaliação de usabilidade, seguindo esta linha, serão levantados artigos e livros científicos Como os objetivos serão alcançados Para o alcance dos objetivos, está previsto a contratação de alunos de graduação, e pós-graduação, que irão, sob a orientação do Prof. coordenador tocar o projeto e realizar as atividades previstas no Plano de Trabalho, contando com toda a infraestrutura do LabSEC.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (21) / Mestrado acadêmico: (6) . , Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custodio - Integrante / LEANDRO AMANCIO - Integrante / Leonardo Meurer - Integrante / ROQUE OLIVEIRA BEZERRA - Integrante / Bruno Carlo Celeguim de Amattos - Integrante / Pablo Rinco Montezano - Integrante / Simone da Cruz - Integrante / Douglas Marcelino Beppler Martins - Integrante / Gustavo Zambonin - Integrante / Lucas Machado da Palma - Integrante / Lucas Mayr de Athayde - Integrante / Lucila Bethania de Sousa Alosilla - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Vinicius guedes dos santos - Integrante / Gabriel Müller - Integrante / Matheus Silva Pinheiro Bittencourt - Integrante / Nathalia Mund Ferreira Dias - Integrante / Alek Frohlich - Integrante / Matheus de Oliveira Saldanha - Integrante / DÚNIA MARCHIORI - Integrante / Ana Caroline Ignácio da Rosa - Integrante / Arthur Gabriel Crippa Milanez - Integrante / Arthur Gums Willrich - Integrante / Arthur Moreira Rodrigues Alves - Integrante / Bernardo Schmidt Faria - Integrante / Douglas Pereira Luiz - Integrante / Eduardo Dias Gutterres - Integrante / Guilherme de Moraes Sartori - Integrante / Juliano Oliveira de Almeida - Integrante / Matheus Eyng de Franç - Integrante / Areli Andreia dos Santos - Integrante / Davi da Silva Böger - Integrante / Giovani Pieri - Integrante / Luís Fernando Cordeiro - Integrante / Patricia Ida Goncalves - Integrante / Matheus Eyng de França - Integrante / Mickael Rodrigues Campos - Integrante / Pedro Henrique Dadalt de Queiroz - Integrante., Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.

  • 2019 - 2022

    Exploração de dados digitais para a promoção de projetos regenerativos em câmpus universitário, Descrição: A fragmentação dos espaços de pesquisa e aprendizagem do câmpus universitário e seu impacto ambiental são os principais fatores responsáveis pelas intervenções recentes mais significativas em câmpus universitários que buscam a inovação através da integração entre as diferentes áreas do conhecimento e da criação de novas oportunidades de relações com a cidade e o meio ambiente. Este trabalho busca avaliar oportunidades de associação das dinâmicas da comunidade acadêmica da Universidade Federal de Santa Catarina e dos bairros vizinhos com as dinâmicas naturais, especialmente das áreas próximas aos córregos dentro do câmpus, através de projetos regenerativos. Estes projetos visam a recuperação de áreas naturais degradadas, criando novas possibilidades para a regeneração dos ecossistemas associada à criação de oportunidades para a renovação do câmpus e da própria universidade. Enquanto a avaliação das dinâmicas naturais possui instrumentos que vêm sendo implementados no câmpus, como por exemplo para monitorar a qualidade dos cursos d?água, não contamos com instrumentos confiáveis para identificar as dinâmicas humanas no câmpus. A pesquisa por instrumentos para esta avaliação, especialmente através das conexões de wi-fi realizadas em centenas de roteadores espalhados pelo câmpus, com registros de mais de dez anos, é o principal objetivo deste projeto de pesquisa. Estes dados brutos possuem grande complexidade e envolvem riscos que devem ser avaliados com cuidado, como por exemplo, a qualidade destes dados, a privacidade e segurança dos usuários que realizam estas conexões, vazamento de dados, etc. Para avaliar a qualidade dos dados, propomos realizar monitoramentos alternativos através de câmeras digitais e drones e uma colaboração com o Laboratório de Segurança em Computação (LABSEC/UFSC) permitirá buscar algoritmos de pesquisa para garantir o anonimato dos dados coletados. Estratégias para o futuro da universidade serão propostas a partir da análise deste conjunto de dados, informações e pesquisas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Fernanda Oliveira Gomes - Integrante / Jose Ripper Kos - Coordenador / Camila Poeta Mangrich - Integrante / Lucas Fernandes de Oliveira - Integrante / Luís Henrique Pavan - Integrante / Felipe Cemin Finger - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2019 - 2021

    Usabilidade do Padrão Brasileiro de Assinatura Digital, Descrição: O objetivo deste Projeto de Pesquisa, é realizar estudos que visam a consolidação de um método para a utilização e manutenção de implementações do Padrão Brasileiro de Assinatura Digital (PBAD). Para o alcance do objetivo serão explorados temas relacionados à construção do software de referência para criação de assinaturas digitais e aperfeiçoamento da experiência de usuário em programas relacionados já providos pelo governo. Com o crescimento da quantidade de dados transmitidos digitalmente, relacionados diretamente aos avanços na ciência da computação, trocas de mensagens, são caracterizadas usualmente como sensíveis, necessitando de um arcabouço matemático para assegurar a confiança da comunicação entre os dispositivos. É de grande relevância desenvolver estudos no âmbito do PBAD, contribuindo com o aprimoramento dos sistemas criptográficos conhecidos como assinaturas digitais, que têm como principal função assegurar a autenticidade, integridade e não-repúdio de mensagens. É imprescindível realizar a proteção de Informações e através destes métodos, elas mantêm-se suficientemente seguras contra entidades maliciosas que desejam invadir comunicações ou forjar mensagens. Os objetivos específicos são: i. Análise do estado da arte em criação de assinaturas digitais cujo período de arquivamento é longo, bem como alternativas para serviços de notarização que consideram esta situação. Almeja-se prover uma recomendação de procedimento para assegurar a longevidade do documento eletrônico na hipótese de mudanças drásticas na atual normatização. ii. Estudo sobre processos de desenvolvimento de software, com foco na modularização e cobertura por testes de bases de código, que dão origem a serviços de geração e verificação de assinaturas digitais na ICP-Brasil. Particularmente, deseja-se fornecer uma implementação de assinador de referência que reutiliza a fundação lógica do Verificador de Conformidade. iii. Identificação de procedimentos para viabilizar o uso de programas de computador relacionados ao PBAD por usuários plurais através de diversas plataformas, como aplicações offline, online e móveis. Isto implica, portanto, no estabelecimento de métricas com o intuito de mensurar preferências, facilidades e dificuldades decorrentes deste uso contínuo. Para o alcance dos objetivo, serão empregadas as seguintes metodologias: 1- Revisão bibliográfica e manutenção de uma base de dados com trabalhos relacionados a assinaturas digitais normatizadas no âmbito brasileiro. 2- Revisão bibliográfica e manutenção de uma base de dados com trabalhos relacionados a técnicas de engenharia de software voltadas para o aumento da manutenibilidade e redução de débito técnico. 3- Revisão bibliográfica e manutenção de uma base de dados com trabalhos relacionados a técnicas de engenharia de usabilidade com foco na apresentação simplificada de aplicativos multiplataforma baseados em conceitos incomuns para um usuário geral. 4- Criação de processo para mensurar a aceitação dos usuários perante novos softwares com foco em usabilidade. 5- Criação do Assinador de Referência como prova de conceito para as técnicas descritas em (1-5). 6-Condução de testes de aceitação para a prova de conceito em (6) mediante técnicas descritas em (5).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador / Douglas Marcelino Beppler Martins - Integrante / Gustavo Zambonin - Integrante / Lucila Bethania de Sousa Alosilla - Integrante / Alexandre Augusto Giron - Integrante / DAVI HILLESHEIM - Integrante / DÚNIA MARCHIORI - Integrante / GUSTAVO DE CASTRO BIAGE - Integrante / Arthur Moreira Rodrigues Alves - Integrante / Fernanda Narloch Rizzo Hahn - Integrante / Gabriel Aristeu Cabral - Integrante / Joao Victhor da Paz Campos - Integrante / João Pedro Adami do Nascimento - Integrante / Mateus Manoel Pereira - Integrante / Maurício de Vasconcelos Barros - Integrante / Pedro Amorim Villaça - Integrante / Vitor Della Torre dos Santos - Integrante., Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.

  • 2018 - 2022

    Anomaly detection for fraud prevention within the Brazilian Governmental Public Key Infrastructure, Descrição: Trata-se de um projeto de pesquisa na área de conhecimento de segurança computacional seguindo três importantes linhas desta área, operações de infraestrutura de chave pública (PKI) e desenvolvimento de Software, especificação de cerimônias de segurança e verificação formal e design de protocolos de segurança e verificação. Esse projeto de pesquisa, têm como objetivo específico, dar continuidade às minhas pesquisas as quais tenho envolvimento desde a graduação. Em meu mestrado, devido a dificuldade em se adquirir criptografia de alta qualidade devido aos regulamentos de exportação nos países da OTAN, minha pesquisa de mestrado foi direcionada à nacionalização de um módulo de segurança de Hardware (HSM) para a PKI brasileira. Em 2010, o ASI-HSM foi homologado pelo ITI, a partir de uma análise rigorosa do produto, feita pelo Laboratório de Ensaios e Análise (LEA), tendo tornado-se o primeiro HSM brasileiro homologado pela ICP-Brasil. O grupo de pesquisa LabSEC/ UFSC, foi o pioneiro na implantação da PKI brasileira (ICP-Brasil) que hoje apoia a maior parte do ecossistema de governança eletrônica no Brasil. O governo brasileiro tem total interesse na execução desse projeto e a UFSC interesse institucional. Este projeto irá proporcionar ao Grupo de pesquisa Laboratório de Segurança em Computação - LabSEC a oportunidade de desenvolver ainda mais a pesquisa na área de "Detecção de anomalias para prevenção de fraudes na infra-estrutura de chave pública governamental brasileira "através de treinamento, colaboração e visitas recíprocas agora podendo contar com a parceria do Reino Unido. OBS: Este projeto receberá recurso proveniente da "The Royal Society" que será repassado à "University of Essex". Esse recurso será enviado em duas etapas à UFSC, tendo como regra de utilização a tabela que está disponível na carta de aceite, que nos impedindo então prever as taxas de praxe no sistema.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador / Fernanda Oliveira Gomes - Integrante / Renato Cordeiro de Amorim - Integrante., Financiador(es): Royal Society - Auxílio financeiro.

  • 2018 - 2020

    Blockchain Rhizom, Descrição: Este projeto de Pesquisa têm por objetivo propor protocolos utilizando ZKP (Provas de Conhecimento Zero) e primitivas de criptografia pós-quântica no contexto das tecnologias Blockchain desenvolvidas pela empresa Rhizom. Como metodologia será utilizada a revisão sistemática do estado da arte em ambas as áreas e estudo da Blockchain da Rhizom, com o objetivo de resolver casos de uso utilizando ZKP e Criptografia pós-quântica. Como relevância tratar problemas abertos conhecidos, na área de Blockchain utilizando os mecanismos provindos da ZKP e criptografia Pós-quântica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custodio - Integrante / Douglas Marcelino Beppler Martins - Integrante / Gustavo Zambonin - Integrante / Lucas Machado da Palma - Integrante / Martin Augusto Gagliotti Vigil - Integrante., Financiador(es): Enfants Creative Ltda - Auxílio financeiro.

  • 2018 - 2019

    Relatorios Automatizados de Teste de Invasão OWASP Top 10 em Sites UFSC, Descrição: O projeto tem por objetivo, criar automaticamente relatórios com sugestões para os desenvolvedores de websites hospedados pela UFSC para que eles possam facilmente corrigir os problemas encontrados. Com o avanço da tecnologia, a internet se tornou onipresente no cotidiano de instituições e pessoas, e os alvos preferidos de criminosos cibernéticos passaram a ser as falhas em aplicações web. Infelizmente a maioria das organizações tendem a se preocupar com a segurança apenas após serem vítimas de um ataque. Tal comportamento é arriscado, pois exige uma rápida resposta por parte da vítima para realizar a manutenção dos serviços e também a correção das vulnerabilidades exploradas. O Projeto de Teste de Invasão OWASP Top 10 em Sites UFSC é um projeto de pesquisa de longo prazo que visa desenvolver metodologias e técnicas para proteger os sites do domínio UFSC.BR, assim elevando o nível de segurança web e também mantendo a imagem e a reputação da instituição. O intuito deste projeto é a pesquisa de uma metodologia e o desenvolvimento de uma ferramenta para a avaliação automatizada de tais sites aos seu mantenedores, além de gerar relatórios automatizados com sigest?os de como resolver os problemas encontrados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Jean Everson Martina - Coordenador / Renan Rocha Souto dos Santos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2018 - 2019

    Atualização do Verificador de Conformidade e Gerenciador de Políticas de Assinatura Digital da Infraestrutura de Chaves Públicas Brasileira (ICP-Brasil), Descrição: Assinaturas digitais concretizam a validade jurídica de documentos eletrônicos. Este conceito é normatizado pelo governo brasileiro, que provê softwares para que este fato seja verificado por qualquer cidadão. Entretanto, devido à alta complexidade inerente no ciclo de vida de uma assinatura digital, é necessário prover capacidades de usabilidade para que este objetivo seja de fato aplicado à população geral, e de igual maneira manter um ambiente de desenvolvimento com uma curva de dificuldade reduzida perante à abstração dos produtos alvo. Este projeto de pesquisa tem como foco o estudo da transformação de softwares relacionados à assinatura digital de acordo com as características supracitadas. Isto será feito através da criação, análise e comparação de processos e métricas com o intuito final de expandir o uso de assinaturas digitais ICP-Brasil em ambientes heterogêneos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Coordenador / Taciane Martimiano - Integrante / Fernanda Oliveira Gomes - Integrante / Simone da Cruz - Integrante / Douglas Marcelino Beppler Martins - Integrante / Dúnia Marchior - Integrante / Gustavo Zambonin - Integrante / Ramna Sidharta de Andrade Palma - Integrante / Douglas Simões Silva - Integrante / Vinicius Steffani Schweitzer - Integrante / Alek Frohlich - Integrante / Matheus de Oliveira Saldanha - Integrante / Ana Caroline Ignácio da Rosa - Integrante., Financiador(es): Instituto Nacional de Tecnologia da Informação - Bolsa.

  • 2018 - Atual

    Análise de linhas de manufatura distribuídas e automatizadas para fabricação de itens para tratamento médico customizado, Descrição: Título do projeto (PrINT/UFSC): Manufatura distribuída e automatizada e fabricação automatizada setorial (saúde) / Análise de linhas de manufatura distribuídas e automatizadas para fabricação de itens para tratamento médico customizado Projeto de Pesquisa em Cooperação Internacional integrante do Projeto Institucional de Internacionalização (PII) da UFSC O projeto visa analisar a viabilidade operacional, econômica e social da implementação de uma plataforma IoT para linhas de manufatura distribuídas e altamente automatizadas destinadas a fabricação de itens customizados para tratamento médico personalizado. Para alcançar esse objetivo, a plataforma IoT (doravante denominada INCANTO) conectará sensores e dispositivos ao longo das cadeias de suprimentos, dos sistemas produtivos e logísticos, bem como os usuários finais dos produtos médicos, mobilizando ativamente um processo de co-design para a realização de soluções personalizadas. Para tanto, os seguintes objetivos específicos serão almejados: (1) Analisar requisitos para modelagem conceitual de plataformas para integração e sincronização de informações em sistemas de produção distribuídos. (2) Caracterizar a prática industrial e definir cenários de teste para avaliação da plataforma baseada em conceitos e tecnologias da Indústria 4.0. (3) Através de modelo digital twin, avaliar o desempenho operacional, econômico (custos e benefícios) e social da plataforma IoT para linhas de manufatura distribuídas e altamente automatizadas destinadas a fabricação de itens customizados para tratamento médico personalizado. (4) Propor uma modelagem da plataforma IoT que suporte uma abordagem cooperativa entre as etapas de projeto, manufatura e utilização, de forma a viabilizar o envolvimento ativo dos participantes ao longo do ciclo de vida do produto. A análise das linhas de manufatura distribuídas e automatizadas apoiará o planejamento e a implementação da plataforma INCANTO, principalmente quanto às decisões que impactem na: (i) estruturação da manufatura em unidades de produção distribuídas, em rede e altamente automatizadas, com base em avançadas tecnologias de fabricação, apoiadas por sistemas integrados e inteligentes de transporte e logística, bem como através da adoção de práticas e técnicas de produção enxuta e lean healthcare; (ii) customização de dispositivos médicos considerando várias dimensões de personalização (composição, estrutura, geometria, montagem) com aprimoramento da relação custo-benefício e redução de tempo até o fornecimento ao paciente; e, (iii) monitoramento da eficácia dos itens para tratamento médico, combinando os dados provenientes do projeto, da fabricação, e do transporte com os coletados durante consultas médicas, tratamento e a vida diária do paciente. As atividades do projeto resultarão no desenvolvimento de conhecimento científico, voltado para proposições conceituais e orientado a novos métodos e modelos para tomada de decisão; e prático, direcionado para o desenvolvimento de abordagens aplicadas e estudos empíricos, no âmbito das plataformas IoT para linhas de manufatura distribuídas e altamente automatizadas. A internacionalização propiciada pelo projeto se dará através da transferência de conhecimento e tecnologia entre os PPGs parceiros na UFSC e os entes internacionais. Em especial, o intercâmbio de pessoas visa reforçar a inserção da UFSC no cenário internacional. Além disso, as tecnologias desenvolvidas neste projeto têm grande apelo científico e tecnológico e podem inserir a UFSC, no médio e longo prazos, em um cenários de intercâmbio de dados e protótipos com outros grupos interessados no tema alvo do projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jean Everson Martina - Integrante / Enzo Morosini Frazzon - Coordenador / Altair Borgert - Integrante / Antonio Augusto Medeiros Frohlich - Integrante / Antonio Cezar BorniaAntonio Cezar Bornia - Integrante / Diego de Castro Fettermann - Integrante / Guilherme Luz Tortorella - Integrante / Rogério João Lunkes - Integrante / Valdirene Gasparetto - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2017 - 2018

    PREVENÇÃO DO COMPORTAMENTO SUICIDA ATRAVÉS DO USO DE APLICATIVOS PARA CELULAR, Descrição: Trata-se de um projeto de pesquisa com o objetivo de desenvolver um modelo de Aplicativo (APP) de Celular para a Prevenção do Comportamento Suicida no Brasil. Para alcançar o objetivo será realizada uma Revisão Integrativa de Literatura acerca do uso de aplicativos móveis de celular na prevenção do suicídio, bem como proposição de layout, funções e especificidades de um aplicativo de celular para a prevenção do suicídio no Brasil a partir de análise de requisitos. O método é de natureza qualitativa com produção tecnológica e consiste em duas etapas. A primeira etapa visa uma fase preliminar do desenvolvimento do APP para Prevenção do Comportamento Suicida e será elaborada a partir da Revisão Integrativa da Literatura. A segunda etapa compreende a implementação e implantação de um APP de Prevenção ao Comportamento Suicida que consiga atender às necessidades brasileiras, buscando evitar problemas existentes em outros APPs internacionais, e sem comprometer a integridade moral do usuário. Espera-se que o aplicativo seja desenvolvido com excelência, seguindo as especificações mundialmente aceitas e utilizadas descritas pelo SWEBOK (Software Engineering Body of Knowledge) para o seu desenvolvimento. Conclui-se que se faz necessário gerar conhecimento para ser aproveitado em projetos, pesquisas e trabalhos acadêmicos tanto na área das Ciências da Saúde quanto na área das Ciências Exatas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Jean Everson Martina - Coordenador / Gustavo Ferreira Guimarães - Integrante / Sarah Soares Barbosa - Integrante / Sabrina Stefanello - Integrante., Financiador(es): Laboratório de Pesquisa e Tecnologia em Educação em Enfermagem e Saúde - Cooperação.

  • 2017 - 2018

    Projeto de Teste de Invasão OWASP Top 10 em Sites UFSC, Descrição: A proteção da propriedade intelectual e informação comercial em formato digital contra roubo e uso indevido é uma questão de gestão cada vez mais crítica, crimes cibernéticos são cada vez mais comuns e com isso cresce a demanda de alguma maneira de evitá-los. O Teste de Invasão (do inglês, Penetration Test ou pentest) é uma ferramenta utilizada para averiguar se as medidas de segurança estão sendo eficientes em impedir as tentativas de acessos indevidos, com esse teste é possível verificar se o caminho escolhido para a estrutura está correto e se está cumprindo suas funções. Com base no top 10 OWASP (Open Web Application Security Project), uma lista das 10 maiores falhas de segurança em aplicações web, levantaremos informações e estatísticas para assim traçar um plano para aprimorar a segurança web dos sites do domínio da UFSC. Como esta não é uma tarefa fácil para os mais de 900 sites hospedados pela UFSC hoje, vamos pesquisar uma metodologia acoplada a uma ferramenta que possa automaticamente averiguar os problemas de segurança em sites hospedados pela SETIC, automatizando assim o processo de verificação de segurança e primando pela imagem institucional que estes sites carregam. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Jean Everson Martina - Coordenador / Guilherme Arthur - Integrante / Mateus Rissi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - 2018

    TYPAMED- Transparent Yet Private Access to Medical Data, Descrição: Várias pesquisas mostram que os pacientes que têm permissão para acessar seus dados médicos se comprometem mais a sério a terapias e programas de saúde. Este achado é particularmente relevante nos programas de investigação médica com o objetivo de estudos transversais e longitudinais em coortes de pacientes (Luxemburgo recentemente estabeleceu um destes programas para monitorar a estratificação da doença de Parkinson.) Para o sucesso de tais programas, o compromisso dos pacientes e das associações de doentes são de importância fundamental. No entanto, deixar que os pacientes acessem registros médicos levanta muitas preocupações com a segurança e cria tensão entre exigências conflitantes. Esta projeto de pesquisa (para um Ph.D.) tem como objetivo entender precisamente esses conflitos, e estudar mecanismos de controle de acesso usando design socio-tecnicamente seguro. Que seja seguro, não só a nível técnico, onde a gestão de dados e protocolos de comunicação ocorre, mas também em um nível não-técnico, onde protocolos humanos e fatores comportamentais estão no lugar de máquinas. Assim, por exemplo, se o acesso dos pacientes deve ser controlada de forma que a divulgação não autorizada e modificações não são permitidas nos dados que eles têm o direito de acesso, por outro lado, os pacientes devem ter controle sobre seus próprios dados, quem as acessa e para que finalidade - um direito que a UE já definiu. O desafio vem do fato de que os pacientes que não são especialistas em TIC. Mecanismos de controle de acesso devem ser eficazes, mas não difíceis de usar ou este comprometerá a participação ativa de um paciente. Mas os mesmos mecanismos devem ser tanto transparentes para permitir que os pacientes saibam o que acontece com seus dados, como seguros. Este projeto de Ph.D., uma colaboração entre SNT e LCSB da Universidade de Luxemburgo, a Universidade Federal de Santa Catarina (BR), e Univ. do Porto (PT) tem a intenção de olhar para os problemas de segurança sócio-técnicos relativas a um acesso seguro e uso de dados médicos de pacientes. Ele vai estudar os mecanismos e as implementações de controle de acesso e confidencialidade dos dados, com a perspectiva específica que essas soluções devam ser utilizáveis por pacientes inexperientes e deve, inspirar um sentido de honestidade e confiança.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Gabriele Lenzini - Integrante / Ricardo Correia - Integrante., Número de produções C, T & A: 3

  • 2014 - 2017

    I2MS2C - Integrating Intelligent Maintenance Systems and Spare Parts Supply Chains (Programa BRAGECRIM) - FASE 2, Descrição: O objetivo do projeto I2MS2C é integrar a cadeia de suprimento de peças de reposição à sistemas de manutenção inteligente(IMS), utilizando uma abordagem distribuída de gerenciamento de ativos e de planejamento da cadeia de suprimentos. Objetivos secundário são aumentar a precisão do IMS através de testes acelerados de vida útil e desenvolver uma interface entre os elementos do sistema baseado em web-services. Em consequência da globalização dos mercados e das fontes de matéria-prima, as cadeias de suprimentos têm se tornado redes produtivas complexas abrangendo uma grande quantidade de participantes, nas quais uma eficiente e efetiva manutenção é crucial para a garantia da competitividade. Irregularidades e falhas na manutenção de equipamentos podem levar a quebras e, por conta disso, a grandes impactos econômicos nestes sistemas produtivos. Para minimizar estas interrupções produtivas e respectivas perdas de competitividade, é necessário, por um lado, estimar as necessidades de manutenção de forma acurada, sendo assim possível realizar a manutenção necessária com antecedência. Por outro lado, é mandatório assegurar a disponibilidade de peças de reposição, racionalizando, concomitantemente, os custos de estoque e transporte da cadeia de suprimentos de peças de reposição (ou Spare Parts Supply Chain - SPSC). Por conta disso, o planejamento das atividades da cadeia de suprimentos de peças de reposição apresenta grande importância. Para lidar com a disponibilidade de peças e a economicidade das referidas cadeias, pesquisas na área dos Sistemas Inteligentes de Manutenção (ou Intelligent Maintenance Systems ? IMS) e da integração e coordenação de cadeia de suprimentos de peças de reposição têm sido desenvolvidas na primeira fase do projeto I2MS2C (Integrating Intelligent Maintenance Systems and Spare Parts Supply Chains). Os seguintes resultados foram atingidos, justificando a relevância da continuidade das pesquisas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Jean Everson Martina - Integrante / Enzo Morosini Frazzon - Coordenador / Bernd Hellingrath - Integrante / Carlos Eduardo Pereira - Integrante / Danúbia Bueno Espíndola - Integrante / André Albrecht Lopes - Integrante / EDUARDO FRANCISCO ISRAEL - Integrante / Lucas de Souza Silva - Integrante / MATHEUS CARDOSO PIRES - Integrante.

  • 2014 - 2014

    Proposta de um Cartão de Identificação Acadêmico baseado no padrão ICAO-9303 - IDEDU, Descrição: Vários esforços tem sido feitos recentemente no âmbito de federações. Podemos claramente citar a Federação Café como um exemplo de sucesso. Os esforços para que os dados de autenticação sejam disponíveis e utilizáveis por todas as entidades da federação são o pilar deste modelo. No entanto alguns problemas se encontram em aberto. O primeiro deles é o funcionamento off-line do processo de autenticação. Hoje o modelo da federação requer que os sistemas trabalhem on-line de forma síncrona, o que limita seu uso para algumas aplicações. Segundo, os dados da federação somente estão disponíveis para sistemas computacionais e não para as pessoas, tornando assim difícil para os seres humanos envolvidos a avaliação de tais credenciais. Por fim, a federação tem inúmeros problemas técnicos e legais para a disponibilização de dados privados, tais como parâmetros biométricos, que tornariam a autenticação muito mais forte. Desta forma este projeto gostaria de propor um estudo para a criação de um modelo de cartão de identificação baseado no padrão ICAO 9303, o qual deve possibilitar a autenticação off-line, a identificação de parâmetros de segurança por agentes humanos e permitir a carga de dados biométricos dos usuários pelas instituições emissoras.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Coordenador / Felipe Coral Sasso - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2

  • 2013 - 2013

    Uma Avaliação do Uso de Documentos Aderentes ao Padrão ICAO 9303 no Âmbito Acadêmico, Descrição: Recentemente o governo federal criou o Sistema Nacional de Registro de Identificação Civil com a finalidade de implantar o número único de Registro de Identidade Civil ? RIC. Este número único será entregue aos cidadãos no formato de um cartão inteligente. O RIC contará com dois chips, sendo o primeiro sem contato, permitindo que o RIC funcione como um documento de viagem, padrão ICAO 9303 e o segundo com contato, com suporte a multiplas aplicações. O RIC será emitido com certificação digital tornando o processo de identificação pessoal mais rápido e seguro, seja presencialmente, ou em comunicações através da internet. Os avanços tecnológicos implantados no RIC incluem além da assinatura digital, mecanismos de identificação inequivoca do individuo. O objetivo desde projeto é estudar a tecnologia utilizada no RIC, com intuito de conhecer características e limitações de hardware e software. Em especial queremos levantar a sua viabilidade para a integração com as diversas necessidades de auternticação dos sistemas acadêmicos através de pequenas implementações.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Coordenador / Thaís Bardini Idalino - Integrante., Financiador(es): Rede Naciona de Pesquisa - Bolsa., Número de produções C, T & A: 1

  • 2011 - 2013

    Certificado de Identificação Mobile para acesso seguro a ambientes de telesaude e telemedicina, Projeto certificado pela empresa BRY Tecnologia em 04/11/2013., Descrição: O projeto tem por objetivo implementar mecanismos computacionais e múltiplas chaves de acesso que possam proporcionar segurança em transações, acessos e comando executados por profissionais de saúde me ambiente eletrônico. O processo deve ser executado através de dispositivos móveis tão presentes no quotidianos de tais profissionais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custódio - Coordenador / Aldo von Wangenheim - Integrante / Jonathan Gehard Kohler - Integrante / Rafael Andrade - Integrante., Financiador(es): BRY Tecnologia - Cooperação / Financiadora de Estudos e Projetos - Auxílio financeiro., Número de produções C, T & A: 3

  • 2010 - 2013

    A Proposed Framework for Analysing Security Ceremonies, Descrição: Em colaboração com a Royal Holloway University of London estamos criando um novo método formal para a análise de cerimônias de segurança envolvendo seres humanos em protocolos de comunicação seguros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Eduardo dos Santos - Integrante / Marcelo Carlomagno Carlos - Integrante / Geraint Price - Integrante., Número de produções C, T & A: 2

  • 2010 - 2011

    Autenticação Multifator em Sistemas Computacionais, Descrição: Este projeto visa especificar, analisar e implementar um protocolo para realizar a autenticação de pessoas usando certificados digitais e, opcionalmente, sua impressão digital em um sistema computacional distribuído.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante., Financiador(es): Softplan Planejamento e Sistemas - Cooperação., Número de produções C, T & A: 1

  • 2006 - 2011

    Verifying Multicast Based Security Protocols, Descrição: We developed a new set of theories capable of representing all the known message casting frameworks. Our theories enable the Inductive Method to rea- son about a whole new set of protocols. We also specied a basic abstraction of threshold cryptography as a way of proving the extensibility of the method regarding new cryptographic primitives. We shown the feasibility of our speci- cations by revisiting a classic protocol, now veried under our framework. A secrecy verication under a mixed environment of Multicast and Unicast was also done. 1. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jean Everson Martina - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 6

Projetos de desenvolvimento

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - Atual

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante.Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante.Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração., Número de produções C, T & A: 3

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

  • 2011 - 2013

    Bry Cloud, Projeto certificado pelo(a) coordenador(a) Ricardo Felipe Custodio em 10/04/2014., Descrição: Bry Could é um projeto de assinatura em nuvem utilizando dispositivos móveis e módulos de segurança criptográfica com a garantia de trilhas de auditoria da assinatura digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Jean Everson Martina - Integrante / Ricardo Felipe Custodio - Coordenador / Dayana Pierina Brustolin Spagnuelo - Integrante / Thaís Bardini Idalino - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2004 - 2006

    ICP EDU - II, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implamtação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais e uma plataforma criptográfica para a gestão sesgura de chaves criptográficas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Ricardo Felipe Custódio - Integrante / Paulo Soto de Miranda - Integrante / Martin Augusto Gagliotti Vigil - Integrante / Túlio Cicero Salvaro de Souza - Integrante / Ricardo Dahab - Integrante / Jeroen Antonius Maria van de Graaf - Coordenador / Eduardo dos Santos - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa., Número de produções C, T & A: 3

  • 2003 - 2004

    ICP-EDU I, Descrição: O GT ICP-EDU tem por objetivo o desesnvolvimento e implantação de uma Infra-estrutura de chaves públicas para as universidades brasileiras. Entre os produtos deste projeto estão um sistema para o gerenciamento do ciclo de vida de certificados digitais.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Jean Everson Martina - Integrante / Julio da Silva Dias - Integrante / Daniel Santana de Freitas - Integrante / Ricardo Felipe Custódio - Coordenador / Adriana Elissa Notoya - Integrante / Fernando Carlos Pereira - Integrante / Ricardo Dahab - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Bolsa / Rede Nacional de Ensino e Pesquisa - Remuneração.

Prêmios

2018

Netwon Advanced Fellow of the Royal Society, The Royal Cosiety.

2011

Menção Honrosa do artigo WTICG/SBSEG: Mobile Steganograhic Embedder, Sociedade Brasileira de Computação.

2010

Menção Honrosa do artigo WTICG/SBSEG: Steganographic Message Broadcasting using Web Protocols, Sociedade Brasileira de Computação.

2010

Data Centre Technical Specialist, Novell PartnerNET.

2010

Novell Certified Linux Administrator, Novell.

2009

Melhor Artigo do WTICG/SBSEG: Steganography in Audio, Sociedade Brasileira de Computação.

2008

Associate of the Higher Education Academy, Higher Education Academy.

2006

Bolsista de Doutorado Pleno - GDE, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES).

2003

RedHat Certified Engineer, Red Hat Inc.

2003

Linux Certified Professional Level 2, Linux Professional Institute.

2002

Linux Certified Professional Level 1, Linux Professional Institute.

2001

Master Certification in Internet Security, Brainbench.

2001

Certificação Avançada Conectiva Linux, Conectiva Linux.

Histórico profissional

Endereço profissional

  • Universidade Federal de Santa Catarina, Departamento de Informática de de Estatística. , LabSEC - CTC - Campus Universitário, Trindade, 88040900 - Florianópolis, SC - Brasil, Telefone: (048) 37217555, URL da Homepage:

Experiência profissional

2023 - Atual

Instituto Nacional de Tecnologia da Informação

Vínculo: , Enquadramento Funcional:

2019 - Atual

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor C2, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Adjunto do Departamento de Informática e de Estatística

2017 - 2019

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor C1, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Adjunto do Departamento de Informática e de Estatística

2016 - 2017

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor A2 C, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Adjunto do Departamento de Informática e de Estatística

2014 - 2016

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor A1 C, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Adjunto do Departamento de Informática e de Estatística

2013 - 2014

Universidade Federal de Santa Catarina

Vínculo: Professor Substituto, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Outras informações:
Professor substituto do Departamento de Informática e de Estatística

2003 - 2006

Universidade Federal de Santa Catarina

Vínculo: Livre, Enquadramento Funcional: Pesquisador, Carga horária: 20

Atividades

  • 02/2018

    Direção e administração, Departamento de Informática de de Estatística.,Cargo ou função, Membro da Câmara de Pesquisa e Extensão.

  • 01/2018

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Segurança de Sistemas Computacionais

  • 11/2017

    Direção e administração, Departamento de Informática de de Estatística.,Cargo ou função, Membro do Colegiado de Sistemas de Informação.

  • 05/2017

    Direção e administração, Departamento de Informática de de Estatística.,Cargo ou função, Membro do Nucelo Docente Estrturante do Curso de Ciência da COmputação.

  • 08/2016

    Direção e administração, Departamento de Informática de de Estatística.,Cargo ou função, Suplente do Colegiado do Curso de Ciencia da Computacão.

  • 08/2016

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE 410128 ? Design and Verification of Security Protocols and Security Ceremonies

  • 06/2015

    Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados

  • 06/2015 - 12/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados

  • 04/2013 - 06/2015

    Ensino, Ciencias da Computação, Nível: Graduação,Disciplinas ministradas, Administração em Processamento de Dados, Estruturas de Dados

  • 04/2013 - 06/2015

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Desenvolvimento de Sistemas Orientados a Objetos II, Estruturas de Dados

  • 05/2011 - 10/2012

    Pesquisa e desenvolvimento, Departamento de Informática de de Estatística.,Linhas de pesquisa

  • 03/2003 - 08/2006

    Pesquisa e desenvolvimento, Departamento de Informática de de Estatística.,Linhas de pesquisa

  • 12/2004 - 01/2005

    Extensão universitária , Departamento de Informática de de Estatística.,Atividade de extensão realizada, Cursos de Sistemas Operacionais Livres.

2010 - Atual

University of Hertfordshire

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante, Carga horária: 10

Outras informações:
Orinetação de alunos de mestrado mas áres de segurança, engenharia de software e ensino a distância. Orientação de alunos de graduação em sistemas de informação e ciências da computação nos cursos online da universidade

Atividades

  • 03/2010

    Ensino, B.Sc. in Computer Science, Nível: Graduação,Disciplinas ministradas, 6COM1008 - Final year project supervisions, 6COM1024 - - Final year project supervisions

  • 03/2010

    Ensino, M.Sc. in Computer Science, Nível: Pós-Graduação,Disciplinas ministradas, MCOMM0177 - M.Sc. Project Supervision

  • 02/2011 - 04/2011

    Ensino, B.Sc. in Computer Science, Nível: Graduação,Disciplinas ministradas, 4com1002 Distributed Database Systems

2011 - 2013

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador, Carga horária: 20

Outras informações:
Execução do projeto CIM-Saude de Autenticação para Telemedicina.

2006 - 2011

University Of Cambridge

Vínculo: Colaborador, Enquadramento Funcional: Professor Visitante, Carga horária: 10

Outras informações:
Supervisão e monitoria de pequenos grupos de estudantes nas disciplinas de Segurança, Introdução a Segurança, Projeto de Software, Engenharia de Software e Logica e Provas.

Atividades

  • 09/2006 - 03/2011

    Ensino, Computer Science, Nível: Graduação,Disciplinas ministradas, Security Engineering, Software Design, Software Egineering, Logic and Proof

2011 - 2011

Rede Nacional de Ensino e Pesquisa

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante, Carga horária: 24

Outras informações:
Lecionar Treinamento de ICP no eventos SCI da RNP no Rio de Janeiro

2004 - 2006

Rede Nacional de Ensino e Pesquisa

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 30

2012 - 2014

Athom Consulting LTDA

Vínculo: Colaborador, Enquadramento Funcional: Sócio-Gerente, Carga horária: 5

2000 - 2006

Athom Consulting LTDA

Vínculo: Sócio, Enquadramento Funcional: Diretor Técnico, Carga horária: 20

Atividades

  • 06/2002

    Pesquisa e desenvolvimento, Athom Consulting LTDA.,Linhas de pesquisa

  • 06/2002

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Linux Professional Institute - LPI 102, Tópico de Segurança em Internet, Tópico de Segurança em Internet

  • 06/2002

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Linux Professional Institute - LPI 101

  • 11/2001

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Tópico de Segurança em Internet

  • 02/2001

    Direção e administração, Athom Consulting LTDA.,Cargo ou função, Diretor Técnico.

  • 02/2001

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Segurança e Otimização Linux

  • 09/2000

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Linux Avançado - Conectiva

  • 08/2000

    Treinamentos ministrados , Athom Consulting LTDA.,Treinamentos ministrados, Introdução ao Linux - Conectiva

  • 02/2000

    Serviços técnicos especializados .,Serviço realizado, Instalação de servidores Linux.

  • 02/2000

    Serviços técnicos especializados , Athom Consulting LTDA.,Serviço realizado, Instalação de servidores OpenBSD.

  • 02/2000

    Serviços técnicos especializados , Athom Consulting LTDA.,Serviço realizado, Consultoria de Redes.

  • 02/2000

    Serviços técnicos especializados , Athom Consulting LTDA.,Serviço realizado, Instalação de servidores FreeBSD.

2002 - 2006

V.Office Consultores Associados

Vínculo: Colaborador, Enquadramento Funcional: Consultor Associado, Carga horária: 10

Outras informações:
Trabalhos de consultoria no projeto e instalação de soluções de software livre e segurança da informação. Treinamentos regulares para a Voffice treinamentos nas áreas de Linux e de Segurança de Data Centres.