|
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.
Última
atualização do currículo em 18/12/2011
Endereço para acessar este CV: http://lattes.cnpq.br/4568201914505477 |
| Nome | Murillo de Barros Costa Rêgo Amazonas Pontual |
| Nome em citações bibliográficas | PONTUAL, M. |
| Sexo | Masculino |
| Endereço profissional | Universidade 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 |
| 2007 - 2011 | Doutorado 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 - 2005 | Mestrado 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 - 2003 | Graduação em Ciência da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. |
| 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 - Atual | Ensino, 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 - Atual | Ensino, Curso Superior em Tecnologia de Desenvolvimento, Nível: Graduação. |
| Disciplinas ministradas Linguagem de Programação para Web |
| 3/2005 - Atual | Ensino, 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/2002 | Está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/2000 | Serviç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/2000 | Serviços técnicos especializados , Centro de Tecnologia, . |
|
Serviço realizado HomePage do CTG. |
| 1/1999 - 6/1999 | Serviços técnicos especializados , Área II, . |
|
Serviço realizado Monitoria de Computação Eletrônica. |
| 1/1999 - 6/1999 | Serviços técnicos especializados , Área II, . |
|
Serviço realizado Administração da Rede de Computadores. |
| 1/1997 - 1/1998 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Física. |
|
Linhas de pesquisa Segurança Computacional |
| 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. |
| 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. |
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Francês | Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
| 2006 | Menção Honrosa - Concurso de Teses e Dissertações, 8º Simpósio de Segurança em Informática - SSI (ITA). |
| 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). |
| 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 |