Jean Everson Martina

  • Endereço para acessar este CV: http://lattes.cnpq.br/3531795815749652
  • Última atualização do currículo em 29/08/2018


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. (Texto informado pelo autor)


Identificação


Nome
Jean Everson Martina
Nome em citações bibliográficas
MARTINA, J. E.;MARTINA, Jean Everson

Endereço


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: http://www.labsec.ufsc.br


Formação acadêmica/titulação


2006 - 2011
Doutorado em Ciências da Computação.
University of Cambridge, CAM, Inglaterra.
Título: Verification of Security Protocols Based on Multicast Communication, Ano de obtenção: 2011.
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 Terra
Grande Á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.
2003 - 2005
Mestrado em Ciências da Computação.
Universidade Federal de Santa Catarina, UFSC, Brasil.
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.
Orientador: 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 Terra
Grande Á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.
1997 - 2001
Graduação em Ciencias da Computação.
Universidade Federal de Santa Catarina, UFSC, Brasil.
Título: Emissão de Certidão de Nascimento via Internet.
Orientador: Ricardo Felipe Custódio.


Pós-doutorado


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 Attaining Peak Performance. (Carga horária: 16h).
University of Cambridge, CAM, Inglaterra.
2009 - 2009
Extensão universitária em Myers-Briggs Type Indicator (MBTI). (Carga horária: 8h).
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.


Atuação Profissional



Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

2017 - Atual
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

Vínculo institucional

2016 - 2017
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

Vínculo institucional

2014 - 2016
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

Vínculo institucional

2013 - 2014
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

Vínculo institucional

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

Atividades

02/2018 - Atual
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 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Segurança de Sistemas Computacionais
11/2017 - Atual
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 - Atual
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 - Atual
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 - Atual
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 - Atual
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, .

03/2003 - 08/2006
Pesquisa e desenvolvimento , Departamento de Informática de de Estatística, .

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.

University of Hertfordshire, UHERTFORD, Inglaterra.
Vínculo institucional

2010 - Atual
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 - Atual
Ensino, M.Sc. in Computer Science, Nível: Pós-Graduação

Disciplinas ministradas
MCOMM0177 - M.Sc. Project Supervision
03/2010 - Atual
Ensino, B.Sc. in Computer Science, Nível: Graduação

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

Disciplinas ministradas
4com1002 Distributed Database Systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2011 - 2013
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.


University of Cambridge, CAM, Inglaterra.
Vínculo institucional

2006 - 2011
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

Rede Nacional de Ensino e Pesquisa, RNP, Brasil.
Vínculo institucional

2011 - 2011
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

Vínculo institucional

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


Athom Consulting LTDA, ATHOM, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Atividades

06/2002 - Atual
Pesquisa e desenvolvimento , Athom Consulting LTDA, .

6/2002 - Atual
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
6/2002 - Atual
Treinamentos ministrados , Athom Consulting LTDA, .

Treinamentos ministrados
Linux Professional Institute - LPI 101
11/2001 - Atual
Treinamentos ministrados , Athom Consulting LTDA, .

Treinamentos ministrados
Tópico de Segurança em Internet
2/2001 - Atual
Direção e administração, Athom Consulting LTDA, .

Cargo ou função
Diretor Técnico.
2/2001 - Atual
Treinamentos ministrados , Athom Consulting LTDA, .

Treinamentos ministrados
Segurança e Otimização Linux
9/2000 - Atual
Treinamentos ministrados , Athom Consulting LTDA, .

Treinamentos ministrados
Linux Avançado - Conectiva
8/2000 - Atual
Treinamentos ministrados , Athom Consulting LTDA, .

Treinamentos ministrados
Introdução ao Linux - Conectiva
02/2000 - Atual
Serviços técnicos especializados .

Serviço realizado
Instalação de servidores Linux.
02/2000 - Atual
Serviços técnicos especializados , Athom Consulting LTDA, .

Serviço realizado
Instalação de servidores OpenBSD.
2/2000 - Atual
Serviços técnicos especializados , Athom Consulting LTDA, .

Serviço realizado
Consultoria de Redes.
02/2000 - Atual
Serviços técnicos especializados , Athom Consulting LTDA, .

Serviço realizado
Instalação de servidores FreeBSD.

V.Office Consultores Associados, VOFFICE, Brasil.
Vínculo institucional

2002 - 2006
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.



Linhas de pesquisa


1.
Sistemas de Detecção de Intrusão
2.
Firewalls Embarcados
3.
Migração para Softwares Livres
4.
Processamento Baseado em Servidores
5.
Documentos Digitais
6.
Sistemas Embarcado Para Segurança de Redes
7.
Segurança de Sistemas Operacionais
8.
Certificados Digitais
9.
Protocolos de Segurança para IoT
10.
Autenticacão em Telemedicina
11.
Métodos Formais
12.
Projeto e Verificacão de Protocolos


Projetos de pesquisa


2018 - Atual
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: Em andamento; 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 - Atual
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: Em andamento; 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 - 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 - Coordenador / Enzo Morosini Frazzon - Integrante / 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: 1 / Número de orientações: 1
2014 - Atual
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: Em andamento; 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: 2 / Número de orientações: 1
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): Financiadora de Estudos e Projetos - Auxílio financeiro / BRY Tecnologia - Cooperação.
Número de produções C, T & A: 2 / Número de orientações: 1
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 speci ed 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 veri ed under our framework. A secrecy veri cation 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 extensão


2018 - Atual
Capacitação dos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywapa, Ywyra e Hawa
Descrição: Este projeto tem por objetivo realizar o treinamento/capacitação à equipe de TI da Casa da Moeda para a obtenção de conhecimento específico dos sistemas Ywapa ,Ywyra e Hawa, sistemas estes desenvolvidos pelo Laboratório de Segurança em Computação - LabSEC..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Lucas Pandolfo Perin - Integrante / Pablo Rinco Montezano - Integrante / Fernando Lauro Pereira - Integrante.Financiador(es): Casa da Moeda do Brasil - Auxílio financeiro.
2017 - Atual
Modernização de Controle de Acesso dos Restaurantes Universitários da UFSC
Descrição: Este projeto é uma continuação do projeto NOTES número "2016.6922", intitulado "Modernização de Controle de Acesso dos Restaurantes Universitários da UFSC". O principal objetivo deste projeto consiste em modernizar o controle de acesso dos Restaurantes Universitários da UFSC, a fim de evitar fraudes permitindo que o mesmo seja usado apenas pelos usuários que de fato tem direito a este benefício. O restaurante universitário da UFSC não é frequentado apenas pelos alunos e servidores da UFSC, este benefício se estende também a estudantes e professores de outras instituições que de alguma forma esteja visitando a UFSC de modo oficial, como em congressos, seminários etc. A modernização do controle de acesso deverá ser feita desde o gerenciamento e controle de impressão das carteirinhas, emissão da Guia de Recolhimento da União - GRU, informação a SIP dos boletos emitidos, passando pelo gerenciamento dos pagamentos, controle do crédito/débito no cartão MIFARE das pessoas autorizadas, controle físico de acesso ao Restaurante Universitário e compensação dos valores financeiros. A solução deve possibilitar: *A inclusão de pessoas no Sistema de Consolidação de Cadastros de Pessoas da Universidade; *Vinculação de várias carteirinhas a uma mesma pessoa; *Controle dos dados cadastrais e impressão das carteirinhas; *Controle dos grupos que podem acessar o RU; *Emissão de uma GRU via sistema web para os grupos que podem ter acesso ao RU; *Consolidação financeira das GRU's geradas com os pagamentos efetuados; *Desenvolver a solução de catraca onde seja possível debitar e creditar o valor do passe nas carteirinhas NFC e realizar o controle de acesso; *Integrar a solução da catraca com o sistema de compensação de pagamentos;.
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (14) / Mestrado acadêmico: (1) .
Integrantes: Jean Everson Martina - Coordenador / Antônio Augusto Fröhlich - Integrante / Alex Sandro Roschildt Pinto - Integrante / Crineu Tres - Integrante / Giovani Gracioli - Integrante / Gustavo Medeiros de Araújo - Integrante / JOAO PAULO THOME VIEIRA - Integrante / LEANDRO AMANCIO - Integrante / Leonardo Meurer - Integrante / ROBERTO TAGLIARI HOFFMANN - Integrante / ROQUE OLIVEIRA BEZERRA - Integrante / Anderson Wedderhoff Spengler - Integrante / Bruno Carlo Celeguim de Amattos - Integrante / Allan Farias Fávaro - Integrante / Brunno Vanelli - Integrante / Bruno José Barth - Integrante / Felipe Willian Fraporti - Integrante / Fernanda Oliveira Gomes - Integrante / Filipe Oliveira de Borba - Integrante / Giancarlo Souza de Freitas - Integrante / Gustavo Garcia Gava - Integrante / Juliano Kasmirski Zatta - Integrante / Matheus Ferreira Bento - Integrante / Nícolas Pfeife - Integrante / Pablo Rinco Montezano - Integrante / Raphael Schwinden da Silveira - Integrante / Simone da Cruz - Integrante / Vinicius Montipo Weisheimer - Integrante.Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro.
2017 - Atual
Autenticação Multifator

Projeto certificado pela empresa Kryptus Tecnologias em 29/03/2018.
Descrição: O objetivo deste projeto é desenvolver uma solução de autenticação multifator integrada com a solução kNET HSM, o mais novo HSM desenvolvido pela Kryptus. O kNET é um equipamento de alto desempenho criptográfico, com interface nativa KMIP (Key Management Interoperability Protocol) e ambiente de execução segura de código em hardware seguro. O objetivo do projeto é entregar uma solução de autenticação multifator OTP (One Time Password) protegida por execução segura de código no kNET HSM..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) / Doutorado: (1) .
Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Taciane Martimiano - Integrante / Gustavo Ferreira Guimarães - Integrante / Lucas Machado da Palma - Integrante / Lucas Mayr de Athayde - Integrante.Financiador(es): Kryptus Tecnologias - Auxílio financeiro.
2017 - Atual
Manutenção Corretiva e de Aprimoramento dos Sistemas Ywapa/Ywyra e Hawa
Descrição: O objetivo deste projeto é realizar a Manutenção corretiva e de aprimoramento dos Sistemas de Gerenciamento de Certificados Digitais da Infraestrutura de Chaves Públicas Brasileira (ICP-Brasil)?, chamados Ywapa/Ywyra e Hawa, fazendo parte deste projeto a manutenção corretiva e de aprimoramento da gestão de chaves simétricas conhecido como Ywapa simétrico. O LabSEC irá emitir relatórios técnicos ao ITI e realizar entregas de novas versões dos sistemas de acordo com o cronograma. Espera-se realizar a manutenção corretiva e de aprimoramento dos sistemas de acordo com a proposta apresentada ao ITI..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (9) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Jean Everson Martina - Coordenador / Lucas Pandolfo Perin - Integrante / Fernanda Oliveira Gomes - Integrante / Filipe Oliveira de Borba - Integrante / Pablo Rinco Montezano - Integrante / Lucas Machado da Palma - Integrante / Ghabriel Calsa Nunes - Integrante / Guilherme Christopher Michaelsen Cardoso - Integrante / Lucila Bethania de Sousa Alosilla - Integrante / Luiz Henrique Urias de Sousa - Integrante / Maike de Paula Santos - Integrante / Vinicius Montipo Weisheime - Integrante.Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.
2017 - Atual
Assinador PAdES ICP-Brasil BRy 2017
Descrição: Este projeto tem por objetivo, promover o estudo e o desenvolvimento de software vistos como necessários à sociedade, bem como entender as nuances tecnológicas da engenharia de software aplicada à assinatura digital..
Situação: Em andamento; Natureza: Extensão.
2017 - Atual
Atualização do Verificador de Conformidade e Gerenciador de Políticas de Assinatura Digital
Descrição: Tem por objeto realizar a manutenção e suporte por um prazo de doze (12) meses aos seguintes sistemas: 1. Gerador de Políticas de Assinatura Digital; 2. Verificador de Conformidade de Assinaturas..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) .
Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Fernanda Oliveira Gomes - Integrante / Vinicius Montipo Weisheimer - Integrante / Douglas Marcelino Beppler Martins - Integrante / Dúnia Marchior - Integrante / Gustavo Zambonin - Integrante / Ramna Sidharta de Andrade Palma - Integrante.Financiador(es): Instituto Nacional de Tecnologia da Informação - Auxílio financeiro.
2017 - Atual
Apoio Institucional às Ações dos Projetos de Extensão do Departamento de Informática e Estatística.
Descrição: O departamento de Informática e Estatística (INE) da UFSC vem atuando há 47 anos em atividades de ensino, pesquisa e extensão nas diversas áreas da informática e de estatística. No âmbito da extensão, nos últimos 3 anos o INE realizou 322 projetos de extensão e prestações de serviço em parcerias com instituições públicas e privadas. Este projeto de extensão engloba um conjunto articulado de projetos e ações de extensão nas áreas de informática e estatística, como cursos, eventos, divulgação de resultados de pesquisa, prestação de serviço, metodologia e resultados esperados. As metas deste projeto são: estimular e potencializar as relações de intercâmbio entre os professores do INE e a sociedade em geral; propiciar mecanismos para que a sociedade utilize os conhecimentos nas áreas de informática e estatística na realização de suas atividades; preservar o conhecimento produzido nas ações de extensão; e incentivar a participação de professores do INE, de seus alunos dos cursos de graduação e pós-graduação, bem como dos servidores técnicos administrativos em projetos de extensão. Os recursos para este projeto de extensão serão oriundos dos ressarcimentos ao INE realizados pelos projetos de extensão e prestação de serviços com a participação de professores deste departamento. Para alcançar as metas deste projeto de extensão, os recursos captados serão destinados ao atendimento de demandas de compra de materiais diversos e prestações de serviços necessários à manutenção e melhoramento das atividades de ensino, pesquisa, extensão e administração do INE..
Situação: Em andamento; Natureza: Extensão.
2016 - Atual
Suporte aos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywyra e Hawa - PRODEMGE
Descrição: Este projeto tem por objetivo realizar o suporte técnico aos sistemas Ywyra e Hawa, sistemas estes desenvolvidos pelo Laboratório de Segurança em Computação - LabSEC. OBS: Este projeto é uma continuação do projeto NOTES número 2016.1252, título "Suporte aos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywyra e Hawa - PRODEMGE"..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Ana Carolina Duarte - Integrante.Financiador(es): Companhia de Tecnologia da Informação do Estado de Minas Gerais - Auxílio financeiro.
2015 - 2017
Suporte e Capacitação dos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywapa, Ywyra e Hawa (Instituto FENACON)
Descrição: Esta extensão tem por objetivo realizar o Suporte por um ano ao iniciar a implantação dos sistemas e Capacitação de recursos humanos para instalar, configurar, usar os sistemas de gerenciamento de certificados digitais Ywapa, Ywyra e Hawa, através de um treinamento avançado destes sistemas. A partir deste treinamento, os integrantes estarão aptos a instalar, configurar e colocar em operação autoridasdes certificadoras raiz, intermediárias e finais para a emissão de certificados..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Jean Everson Martina - Coordenador / Ricardo Felipe Custódio - Integrante / Lucas Pandolfo Perin - Integrante / Marlon Trapp - Integrante.Financiador(es): Instituto Fenacon - Auxílio financeiro.
2015 - 2016
Capacitação dos Sistemas de Gerenciamento de Certificados Digitais ICP-Brasil: Ywapa, Ywyra e Hawa (PRODEMGE)
Descrição: Esta extensão tem por objetivo a capacitação de recursos humanos para instalar, configurar, usar os sistemas de gerenciamento de certificados digitais Ywapa, Ywyra e Hawa, através de um treinamento avançado destes sistemas. A partir deste treinamento, os integrantes estarão aptos a instalar, configurar e colocar em operação autoridades certificadoras raiz, intermediárias e finais para a emissão de certificados..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Jean Everson Martina - Coordenador / Lucas Pandolfo Perin - Integrante / Marlon Trapp - Integrante.Financiador(es): Companhia de Tecnologia da Informação do Estado de Minas Gerais - Auxílio financeiro.
2015 - 2016
Projeto Análise BRy KMS
Descrição: O produto BRy KMS, fruto do projeto BRy Cloud, desenvolvido em parceria tecnológica entre BRy e LabSEC, incorpora atualmente o portfolio de produtos da BRy. Com a iniciativa de disponibilizar seus serviços em ambiente de nuvem aberta ao público em geral, intensifica-se a preocupação com a evolução dos protocolos de segurança da solução. Estudos de formas alternativas de autenticação e autorização de uso da chave de assinatura, que agreguem maior segurança e usabilidade, são primordiais para o sucesso do produto e da oferta de serviços associados. O projeto visa à análise do produto BRy KMS, desde seu protocolo até sua implementação, sob o ponto de vista de segurança e usabilidade. Com base na análise, serão propostas alternativas que tornem o produto mais robusto, seguro e amigável, ressaltando seus maiores diferenciais: mobilidade, acessibilidade e auditabilidade..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Jean Everson Martina - Coordenador / Lucas A. Tomasi - Integrante / Taciane Martimiano - Integrante / Marina da Silva Coelho - Integrante.Financiador(es): BRY Tecnologia - Auxílio financeiro.
Número de produções C, T & A: 2


Projetos de desenvolvimento


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 - Auxílio financeiro / Rede Nacional de Ensino e Pesquisa - Remuneração / Rede Nacional de Ensino e Pesquisa - Bolsa.


Revisor de periódico


2008 - 2010
Periódico: IEEE Transactions on Multimedia (1520-9210)
2012 - Atual
Periódico: Security and Communication Networks
2012 - 2012
Periódico: Logic Journal of the IGPL (Online)


Áreas de atuação


1.
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.
2.
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.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Seguranca de Sistemas Embarcados.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Protocolos de Segurança para IOT.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Blockchain e Criptomoedas.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:30
Total de citações:65
http://scholar.google.co.uk/citations?user=Ov5Fe5QAAAAJ&hl=en  Data: 10/01/2014

Artigos completos publicados em periódicos

1.
BATTISTELLA, P. E.2017BATTISTELLA, 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.

2.
VON WANGENHEIM, A.2016VON 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.

3.
MARTINA, Jean Everson2015MARTINA, 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.

4.
MARTINA, Jean Everson2015MARTINA, 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.

5.
Wangenheim, A. V.2013Wangenheim, 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.

6.
NOGUEIRA, H.2013NOGUEIRA, 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.

Livros publicados/organizados ou edições
1.
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 .

Trabalhos completos publicados em anais de congressos
1.
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.

2.
IDALINO, T. B. ; COELHO, M. S. ; MARTINA, J. E. . Automated issuance of digital certificates through the use of federations. In: International Conference on Availability, Reliability and Security, 2016, Salzburg. Proceedings of International Conference on Availability, Reliability and Security, 2016.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos
1.
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.

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

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

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

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

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

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

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


Produção técnica
Assessoria e consultoria
1.
MARTINA, Jean Everson; MAYER, R. ; MARCHETTO, G. ; PINHO, M. R. . Manual de Auditoria de Autoridades do Sistema ICP-Brasil. 2013.

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

2.
MARTINA, J. E.. AthomWall. 2004.

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

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

Trabalhos técnicos

Demais tipos de produção técnica
1.
MARTINA, J. E.. Criptografia e Criptoanalise. 2013. (Curso de curta duração ministrado/Especialização).

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

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

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

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

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

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

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

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



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
HENRIQUES, M. A. A.; MENEZES, J. G. M.; MACEDO, D. F.; OLIVEIRA, L.B.; MARTINA, J. E.. Participação em banca de Maria Luiza Bulgarelli Alves dos Santos. FLAT: FEDERATED LIGHTWEIGHT AUTHENTICATION OF THINGS. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
MARTINA, J. E.; Pinto, T. M.. Participação em banca de Lisa Barton-Pye. Business Intelligence in a Distributed Data Environment. 2014. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

3.
MARTINA, Jean Everson; Pinto, T. M.. Participação em banca de 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.

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

5.
CUSTODIO, Ricardo Felipe; NASCIMENTO, A. C. A.; MARTINA, Jean Everson; SILVA, R. P. E.. Participação em banca de Lucas Ferraro. Lista de Certificados Revogados Limitada. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

6.
MARTINA, Jean Everson; Pinto, T. M.. Participação em banca de Denis Pavlov. Concepts and Application of Complex Event Processing (CEP). 2013. Dissertação (Mestrado em M.Sc. in Computer Science) - University of Hertfordshire.

7.
Pinto, T. M.; MARTINA, Jean Everson. Participação em banca de James Imber. 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.

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

9.
MARTINA, J. E.; Wenger, K.. Participação em banca de 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.

10.
DOS SANTOS, Eduardo; CUSTODIO, Ricardo Felipe; RODRIGUEZ, N. L. R.; HERNANDEZ, J. C. L.; FURTADO, O. J. V.; MARTINA, J. E.. Participação em banca de Eduardo dos Santos. 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.

11.
MARTINA, J. E.; REZWAN, F.. Participação em banca de 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.

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

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

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

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

16.
Amorim, R.; MARTINA, J. E.. Participação em banca de 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.

17.
Corney, D.; MARTINA, J. E.. Participação em banca de 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.

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

19.
MARTINA, J. E.; Amorim, R.. Participação em banca de Komil 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.

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

21.
MARTINA, J. E.; Lilley, M.. Participação em banca de 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.

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

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

Teses de doutorado
1.
BUTIN, D. F.; MARTINA, J. E.; SINCLAIR, D.; GRAY, D.. Participação em banca de Denis Frederic Butin. 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.

Trabalhos de conclusão de curso de graduação
1.
MARTINA, Jean Everson; REZWAN, F.. Participação em banca de 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.

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

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

4.
MARTINA, Jean Everson; REZWAN, F.. Participação em banca de 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.

5.
MARTINA, Jean Everson; REZWAN, F.. Participação em banca de 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.

6.
MARTINA, Jean Everson; REZWAN, F.. Participação em banca de 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.

7.
MARTINA, Jean Everson; REZWAN, F.. Participação em banca de 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.

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

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

10.
REZWAN, F.; MARTINA, Jean Everson. Participação em banca de Nathan-Joseph Spiteri.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.

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

12.
BAMPASAKIS, D.; MARTINA, Jean Everson. Participação em banca de Adrian Scoon.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.

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

14.
MARTINA, Jean Everson; CUSTODIO, Ricardo Felipe; DOS SANTOS, Eduardo; SOUZA, R. L.. Participação em banca de 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.

15.
MARTINA, Jean Everson; CUSTODIO, Ricardo Felipe; SPAGNUELO, D. P. B.; GUERRA JUNIOR, A. A.. Participação em banca de 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.

16.
ROSA, L. V.; SILVERIO, A. L.; CUSTODIO, R. F.; MARTINA, J. E.. Participação em banca de 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.

17.
IDALINO, T. B.; SPAGNUELO, D. P. B.; MARTINA, J. E.; CUSTODIO, Ricardo Felipe; SILVERIO, A. L.. Participação em banca de Thaís Bardini Idalino.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.

18.
RESNER, F.; FURTADO, O. J. V.; Bereza Jr, A.; MARTINA, J. E.; CUSTODIO, R. F.. Participação em banca de Fábio Resner.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.

19.
ISOPPO, G.; DOVICCHI, J. C.; MARTINA, J. E.; LEITE, M. M.. Participação em banca de Gustavo Isoppo.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.

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

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

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

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

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

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

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

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

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

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

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

31.
SOUSA, G.; MARTINA, J. E.. Participação em banca de Cassius Marcellus Rochford.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.

32.
SOUSA, G.; MARTINA, J. E.. Participação em banca de Crystal Singh.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.

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

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

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

36.
MARTINA, J. E.; SOUSA, G.. Participação em banca de 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.

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

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

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

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

41.
MARTINA, Jean Everson; Pinto, T. M.. Participação em banca de Emanuel Lewis.Cheque Return System. 2011. Trabalho de Conclusão de Curso (Graduação em B.Sc. in Computer Science) - University of Hertfordshire.

42.
MARTINA, J. E.; Pinto, T. M.. Participação em banca de 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.

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

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

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

46.
CUSTODIO, R. F.; MARTINA, J. E.; Bereza Jr, A.; SOUZA, T. C. S. DE. Participação em banca de Andre Bereza Junior.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.

47.
MARTINA, J. E.; WESTPHALL, C. B.. Participação em banca de Guilherme Venicius Brignoni.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.

48.
DIAS, J. S.; SOUZA, T. C. S. DE; CUSTODIO, R. F.; MARTINA, J. E.. Participação em banca de Tulio Cicero Salvaro de Souza.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.

49.
MARTINA, J. E.; WESTPHALL, C. B.; WESTPHALL, C. M.; CRUZ, F. A. S.. Participação em banca de Gustavo Cordeiro e Heitor de Brito Fontana.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.

50.
MARTINA, J. E.; WESTPHALL, C. B.; WESTPHALL, C. M.; BUSI, J. R.. Participação em banca de Eduardo Gonçalves da Silva.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.

51.
MARTINA, J. E.; RECHIA, D. N.; DIAS, J. S.; CUSTODIO, R. F.. Participação em banca de Marcelo Carlomagno Carlos e Rodrigo Muller Pons.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.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
16º CertForum ? Fórum de Certificação Digital. 2018. (Simpósio).

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

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

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

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

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

7.
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).

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

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

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

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

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

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

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

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

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

17.
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).

18.
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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Fernanda Oliveira Gomes. Privacy on IoT Big Data. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

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


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

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

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

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

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

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
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.

2.
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.

3.
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.

4.
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.

Trabalho de conclusão de curso de graduação
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

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

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.



Inovação



Projetos de pesquisa

Projeto de desenvolvimento tecnológico

Projeto de extensão


Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
Wangenheim, A. V.2013Wangenheim, 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.




Página gerada pelo Sistema Currículo Lattes em 20/11/2018 às 14:24:54