Murillo de Barros Costa Rêgo Amazonas Pontual

Possui graduação em Ciência da Computação pela Universidade Federal de Pernambuco (2003) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2005). Atualmente é assistente de pesquisa na Universidade do Texas em San Antonio . Tem experiência na área de Ciência da Computação, com ênfase em segurança, atuando principalmente nos seguintes temas: computação segura entre múltiplos participantes, segurança na Internet, controle de acesso e obrigações.
(Texto informado pelo autor)

Última atualização do currículo em 18/12/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/4568201914505477

Dados pessoais
NomeMurillo de Barros Costa Rêgo Amazonas Pontual
Nome em citações bibliográficasPONTUAL, M.
SexoMasculino
Endereço profissionalUniversidade Federal de Pernambuco, Centro de Informática.
Av Prof Luis Freire, s.n.
Cidade Universitaria
50740-540 - Recife, PE - Brasil
URL da Homepage: www.cin.ufpe.br/~mbcrap

Formação acadêmica/Titulação
2007 - 2011Doutorado em Ciência da Computação .
University of Texas at San Antonio, UTSA, Estados Unidos.
Título: Practical User Obligation Systems that Affect and Depend on Authorizations, Ano de Obtenção: 2011.
Orientador: William Winsborough - Jianwei Niu.
Bolsista do(a): National Science Foundation .
Palavras-chave: Obligations; Access Control; Accountability; Security Policies.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2004 - 2005Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Protocolos Seguros entre Dois Participantes para Álgebra Linear e Estatística, Ano de Obtenção: 2005.
Orientador: Ruy José Guerra Barretto de Queiroz.
Palavras-chave: MPC; Criptografia; Protocolos Seguros; Segurança.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
2000 - 2003Graduação em Ciência da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.

Atuação profissional
The University of Texas at San Antonio, UTSA, Estados Unidos.
Vínculo institucional
2007 - Atual Vínculo: Colaborador, Enquadramento Funcional: Graduate Research Assistant, Carga horária: 20, Regime: Dedicação exclusiva.
Faculdade Santa Maria, FSM, Brasil.
Vínculo institucional
2006 - 2006 Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 3
Atividades
8/2006 - AtualEnsino, Sistemas da Informação, Nível: Graduação.
Disciplinas ministradas
Matemática Discreta
Instituto Brasileiro de Tecnologia, UNIBRATEC, Brasil.
Vínculo institucional
2005 - 2006 Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 23
Atividades
02/2006 - AtualEnsino, Curso Superior em Tecnologia de Desenvolvimento, Nível: Graduação.
Disciplinas ministradas
Linguagem de Programação para Web
3/2005 - AtualEnsino, Curso Técnico de Desenvolvimento de Software, Nível: Aperfeiçoamento.
Disciplinas ministradas
Linguagem de Desenvolvimento para Web
Projeto de Conclusão de Curso
W3 Tecnologia, W3 TECNOLOGIA, Brasil.
Vínculo institucional
2001 - 2002 Vínculo: Programador, Enquadramento Funcional: Programador, Carga horária: 20
Atividades
8/2001 - 6/2002Estágios , CIEE, .
Estágio realizado
Programador Web.
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
1998 - 2000 Vínculo: Monitor, Enquadramento Funcional: Administrador de Redes, Carga horária: 20
Vínculo institucional
1997 - 1998 Vínculo: Iniciação Científica, Enquadramento Funcional: Pesquisador, Carga horária: 15
Atividades
2/1998 - 2/2000Serviços técnicos especializados , Centro de Tecnologia, Departamento de Eletrônica e Sistemas.
Serviço realizado
Administração da Rede do CTG.
2/1998 - 2/2000Serviços técnicos especializados , Centro de Tecnologia, .
Serviço realizado
HomePage do CTG.
1/1999 - 6/1999Serviços técnicos especializados , Área II, .
Serviço realizado
Monitoria de Computação Eletrônica.
1/1999 - 6/1999Serviços técnicos especializados , Área II, .
Serviço realizado
Administração da Rede de Computadores.
1/1997 - 1/1998Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Física.
Linhas de pesquisa
Segurança Computacional

Linhas de Pesquisa
1. Segurança Computacional

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Criptografia.
Palavras-chave: Assinaturas Digitais; Criptografia; MPC; Protocolos Seguros; Criptovirologia.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Criptografia.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos
2006Menção Honrosa - Concurso de Teses e Dissertações, 8º Simpósio de Segurança em Informática - SSI (ITA).


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   PONTUAL, M. ; Feitosa, D. ; VANDERLEI, I. M. ; Valadares, F. de A. M. ; Barros, R. S. M. ; Winsborough, W. H. . A framework for private statistics between two participants. Scientia (Unisinos), v. 17, p. 58-66, 2007.
Capítulos de livros publicados
1.   PONTUAL, M. ; QUEIROZ, R. ; Lins, H. . Segurança em Sites desenvolvidos na linguagem PHP. In: 12th Brazilian Symposium in Multimedia and the Web. (Org.). Tópicos em Sistemas Colaborativos. Natal: WebMedia 2006, 2006, v. , p. -.
Trabalhos completos publicados em anais de congressos
1. A. Melkonyan ; PONTUAL, M. ; G. Huang ; A. Gampe ; D. Akopian . eComLab, Remote Laboratory Architecture for Radio-Communication. In: 11th ASEE-GSW Conference-Innovating Engineering and Engineering Technology Education, 2011, Houston. ASEE-GSW, 2011.
2.   PONTUAL, M. ; Chowdhury, O. ; Winsborough, W. H. ; Yu, T. ; Irvin, K. . On the Management of User Obligations. In: Symposium on Access control Models and Technologies (SACMAT), 2011, Innsbruck. SACMAT, 2011.
3. PONTUAL, M. ; A. Melkonyan ; A. Gampe ; G. Huang ; D. Akopian . eComLab: Remote Laboratory Platform. In: SPIE - Defense, Security, and Sensing 2011, 2011, Orlando. Mobile Multimedia/Image Processing, Security, and Applications, 2011.
4.   PONTUAL, M. ; Chowdhury, O. ; Winsborough, W. H. ; Irvin, K. . Toward Practical Authorization-dependent User Obligation Systems. In: 5th ACM Symposium on Information, Computer and Communication Security, ASIACCS, 2010, Beijing. 5th ACM Symposium on Information, Computer and Communication Security. Beijing : ACM, 2010. p. 180-192.
5.   PONTUAL, M. ; Irvin, K. ; Chowdhury, O. ; Winsborough, W. H. ; Yu, T. . Failure Feedback for User Obligation Systems. In: In The Second IEEE International On Privacy, Security, Risk and Trust (PASSAT), 2010, Minessota. PASSAT, 2010.
6. PONTUAL, M. ; Valadares, F. de A. M. . Protocolos para Cálculo da Média e Desvio Padrão Privados. In: VI Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2006, João Pessoa. VI Encontro Regional de Matemática Aplicada e Computacional. João Pessoa, 2006.
7. PONTUAL, M. ; Feitosa, D. ; VANDERLEI, I. M. ; Valadares, F. de A. M. ; QUEIROZ, R. ; Barros, R. S. M. . Um Framework para Computação Privada entre dois Participantes para Estatistica Descritiva. In: 8th International Symposium on System and Information Security, 2006, São José dos Campos. 8th International Symposium on System and Information Security. São José dos Campos : Instituto Tecnológico de Aeronáutica, 2006. v. 1. p. 1-20.
8. PONTUAL, M. ; QUEIROZ, R. ; VANDERLEI, I. M. . Two-Party Secure Computation of Determinants, Eigenvalues, and Eigenvectors Using Computational Indistinguishability. In: I Jornada Científica da Unibratec, 2006, Recife. Anais da I Jornada Científica da Unibratec e do I Simpósio Brasileiro de Testes de Software. Recife : Unibratec, 2006. v. 1. p. 1-14.
9. PONTUAL, M. ; VANDERLEI, I. M. ; QUEIROZ, R. . Computação Segura Entre Múltiplos Participantes. In: 7º Simpósio de Segurança em Informática, 2005, São José dos Campos. 7º Simpósio de Segurança em Informática, 2005.
Resumos publicados em anais de congressos
1. PONTUAL, M. ; Irvin, K. ; Chowdhury, O. ; Winsborough, W. H. ; Yu, T. . Action Failure Feedback for User Obligation System. In: College of Science Research Conference, 2010, San Antonio. COS-UTSA, 2010.
2. PONTUAL, M. ; Chowdhury, O. ; Irvin, K. ; Winsborough, W. H. ; Yu, T. . POS : Practical user Obligation System. In: College of Science Research Conference-UTSA, 2009, San Antonio. COS-UTSA, 2009.
Produção técnica
Softwares sem registro de patente
1. PONTUAL, M. ; VANDERLEI, I. M. ; BRAGA, M. . CVL. 2004.
Demais tipos de produção técnica
1.
PONTUAL, M. ; QUEIROZ, R. ; Lins, H. . Segurança em Sites Desenvolvidos em PHP. 2006. (Curso de curta duração ministrado/Outra).
2.
PONTUAL, M. ; VANDERLEI, I. M. ; QUEIROZ, R. . Introdução a Computação Segura entre Múltiplos Participantes. 2005. (Curso de curta duração ministrado/Outra).

Eventos
Participação em eventos
1. XI Symposium on Access control Models and Technologies (SACMAT).On the Management of User Obligations. 2011. (Congresso).
2. 11th ASEE-GSW Conference-Innovating Engineering and Engineering Technology Education.eComLab: Remote Laboratory Architecture of Radio-Communications. 2011. (Congresso).
3. 1st ACM Conference on Data and Application Security and Privacy (Codaspy)). 2011. (Congresso).
4. The Second IEEE International On Privacy, Security, Risk and Trust (PASSAT).Failure Feedback for User Obligation Systems. 2010. (Congresso).
5. 2nd UTSA College of Science Research Conference.Action Failure Feedback for User Obligation System. 2010. (Congresso).
6. In 5th ACM Symposium on Information, Computer and Communication Security (ASIACCS).Toward Practical Authorization-dependent User Obligation Systems. 2010. (Simpósio).
7. 1st UTSA College of Science Research Conference.POS : Practical user Obligation System. 2009. (Congresso).
8. 14th ACM Conference on Computer and Communication Security (CCS). 2007. (Congresso).
9. I Jornada Científica da Unibratec & I Simpósio Brasileiro de Testes de Software.Two-Party Secure Computation of Determinants, Eigenvalues, and Eigenvectors Using Computational Indistinguishability. 2006. (Congresso).
10. 8th International Symposium on System and Information Security (SSI).Um Framework para Computação Privada entre dois Participantes para Estatistica Descritiva. 2006. (Simpósio).
11. VCongresso de Iniciação Científica (CONIC UFPE). 1997. (Congresso).
12. IVCongresso de Iniciação Científica (CONIC UFPE). 1996. (Congresso).
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 1:31:13