Anderson Santana de Oliveira

Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte(2001), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte(2004) e doutorado em Doutorado em Computação pela Université Henri Poincaré, Nancy I(2008). Atualmente é Professor da Universidade Federal Rural do Semi-Árido e Revisor de periódico da Science of Computer Programming. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Controle de Acesso, Estratégias de Reescrita, Políticas de Segurança, Verificação Formal, Reescrita de termos.

Informações coletadas do Lattes em 17/11/2025

Acadêmico

Formação acadêmica

Doutorado em Doutorado em Computação

2004 - 2008

Université Henri Poincaré, Nancy I
Título: Réécriture et Modularité pour les Politiques de Sécurité
Orientador: Claude Kirchner
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Controle de Acesso; Estratégias de Reescrita; Políticas de Segurança; Verificação Formal; Reescrita de termos.

Mestrado em Sistemas e Computação

2002 - 2004

Universidade Federal do Rio Grande do Norte
Anamaria Martins Moreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Especificações algébricas; Genericidade; ELAN.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: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.

Graduação em Ciências da Computação

1996 - 2001

Universidade Federal do Rio Grande do Norte
Orientador: Marcia Jacyntha N Rodrigues Lucena
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Pós-doutorado

2008 - 0000

Pós-Doutorado. , Universidade Federal do Rio Grande do Norte, UFRN, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Idiomas

Inglês

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

Francês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

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

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

Participação em eventos

Rewriting Techniques and Applications. 2007. (Congresso).

Simpósio Brasileiro de Métodos Formais - SBMF.Towards modular formal islands: a case study for tom. 2006. (Simpósio).

International Symposium on Logic-based Program Synthesis and Transformation. 2006. (Simpósio).

Reasoning Web Summer School. 2005. (Outra).

Encontro Regional de Matemática Aplicada e Computacional.Ferramentas para Especificações Algébricas: Um Estudo Comparativo. 2002. (Encontro).

Congresso da Sociedade Brasileira de Computação. 2000. (Congresso).

Simpósio Brasiléro de Sistemas Multimídia e Hipermídia. 2000. (Simpósio).

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

Produções bibliográficas

DEHARBE, D. B. P. ; FONTAINE, P. ; MOREIRA, A. M. ; MERZ, S. ; OLIVEIRA, A. S. . Automating model-based software engineering. In: COLIBRI - Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009.
DEOLIVEIRA, A ; DEHARBE, D. B. P. ; MOREAU, P-E. . Vérification automatique des systèmes à base de règles avec le narrowing stratégique. In: COLIBRI 2009, 2009, Bento Gonçalves. Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009.
Kirchner, C. ; Kirchner, H. ; OLIVEIRA, A. S. . Analysis of Rewrite-Based Access Control Policies. In: 3rd International Workshop on Security and Rewriting Techniques, 2008, Pittsburg. Proceedings of the 3rd International Workshop on Security and Rewriting Techniques, 2008.
Dougherty. D. ; Kirchner, C. ; Kirchner, H. ; OLIVEIRA, A. S. . Modular Access Control via Strategic Rewriting. In: European Symposium On Research In Computer Security, 2007, Dresden. Proceedings of Proceedings of 12th European Symposium On Research In Computer Security (ESORICS'07). Berlin: Springer, 2007. v. 4734. p. 578-593.
OLIVEIRA, A. S. ; Wang, E. ; Kirchner, C. ; Kirchner, H. . Weaving Rewrite-based Access Control Policies. In: Formal Methods in Security Engineering, 2007, Fairfax, VA. Proceedings of the 5th ACM Workshop on Formal Methods in Security Engineering. New York: ACM, 2007.
Morisset, C. ; OLIVEIRA, A. S. . Automated Detection of Information Leakage in Access Control. In: Security and Rewriting Techniques - SecReT 2007, 2007, Paris. Proceedings of the 2nd International Workshop Security and Rewriting Techniques - SecReT 2007, 2007.
DEOLIVEIRA, A . Rewriting-Based Access Control Policies. In: 3rd International Workshop on Security and Rewriting Techniques, 2007, Pittsburg. Proceedings of the 3rd International Workshop on Security and Rewriting Techniques.
BALLAND, E. ; Kirchner, C. ; MOREAU, P-E. ; OLIVEIRA, A. S. . Modular Formal Islands: Embed Theory in your Practice. In: Taiwanese-French Conference on Information Technology, 2006, Nancy. Proceedings of the Third Taiwanese-French Conference on Information Technology. Paris: INRIA, 2006.
MARTINS, A ; RINGEISSEN, C ; OLIVEIRA, A. S. . A Tool Support for Reusing ELAN Rule-Based Components1. In: 4th International Workshop on Rule-Based Programming (RULE'03), 2003, Valencia. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science. v. 86. p. 67-82.
CANUTO, A. M. P. ; GOTTGTROY, M. P. B. ; RODRIGUES, M. J. N. ; OLIVEIRA, A. S. . RetDat: A Multi-agent Architecture for the Retrieval of Information in Heterogeneous Databases. In: 7th IASTED International Conference in Artificial Intelligence and Soft Computing, 2003, Banff, Alberta. Proceedings of ASC2003. Calgary, Canadá: ACTA Press, 2003. p. 321-326.
MOREIRA, A. M. ; OLIVEIRA, A. S. . Simulating Algebraic Specifiction Genericity on Languages with Initial Semantics. In: Sixth Brazilian Workshop on Formal Methods, 2003, Campina Grande. WMF 2003 Proceedings, 2003.
OLIVEIRA, A. S. . Ferramentas para Especificações Algébricas: Um Estudo Comparativo. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. ERMAC 2002 Regional 3 (SBMAC) - Anais, 2002. p. 62-64.
OLIVEIRA, A. S. . Implementação de uma Arquitetura Multiagentes para Recuperação de Informações em Bancos de Dados Heterogêneos. In: Congresso de Iniciação Científica, 2001, Natal. XII - Congresso de Iniciação Científica - Livro de Resumos, 2001.
OLIVEIRA, A. S. . Um ambiente para avaliação de algoritmos de criptografia para vídeo em tempo real. In: Congresso de Iniciação Científica, 2000, Natal. XI - Congresso de Iniciação Científica - Livro de Resumos, 2000.
OLIVEIRA, A. S. ; AZEVEDO, N. F. ; CÂNDIDO, N. R. A. . Arquitetura Paralela: Concepção, Simulação e Avaliação de Desempenho. In: Congresso de Iniciação Científica, 1999, Natal. Livro de Resumos. Natal: Editora Universitária da UFRN, 1999.
OLIVEIRA, A. S. . Um Emulador para o Computador Didático Simplificado. In: Congresso de Iniciação Científica, 1998, Natal. Livro de Resumos. Natal: Editora Universitária da UFRN, 1998.
OLIVEIRA, A. S. . Composing Rewriting-Based Access Control Policies. 2007. (Apresentação de Trabalho/Comunicação).
OLIVEIRA, A. S. . A type system for XQuery and its Implementation. 2006. (Apresentação de Trabalho/Comunicação).

Outras produções

Coquery. E. ; Drabent, W. ; FAGES, F. ; Kirchner, C. ; OLIVEIRA, A. S. ; WILK, A. . Prototype Typing Tools for REWERSE Languages. 2006.

Projetos de pesquisa

2008 - 2009

Especificação formal e testes para requisitos de segurança para plataformas smartcard, Descrição: Visa desenvolver methodos formais aplicados à segurança de aplicativos baseados nas plataformas para cartoes inteligentes (smat cards). Duas abordagens principais serão usadas: a prova formal de propriedades e a realização de testes baseados em modelos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Anderson Santana de Oliveira - Coordenador., Número de produções C, T & A: 2

Histórico profissional

Endereço profissional

Laboratoire Lorrain de Recherche en Informatique et ses Applications. , Campus scientifique,, 54506 - Vandoeuvre-les-Nancy Cedex, - França, URL da Homepage:

Experiência profissional

2009 - Atual

Universidade Federal Rural do Semi-Árido

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

2004 - 2004

Universidade Federal do Rio Grande do Norte

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

Atividades

03/2004 - 09/2004
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores

2004 - 2004

INTERPRINT LTDA

Vínculo: Celetista formal, Enquadramento Funcional: Supervisor, Carga horária: 35

Outras informações:
Supervisão da implantação do projeto "Processo Digital" no Tribunal Regional do Trabalho no RN.

2002 - 2003

Laboratoire Lorrain de Recherche En Informatique Et Ses Applications

Vínculo: Bolsa SPE (CNPq) projeto FERUS, Enquadramento Funcional: Estagiário, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Estágio/Especialização no exterior através do Projeto FERUS com financiamento do CNPq

Atividades

11/2002 - 02/2003
Estágios , Equipe PROTHEO/Projeto FERUS, .,Estágio realizado, Adaptação da Ferramenta FERUS à Linguagem ELAN.

2001 - 2002

Natalsoft ltda

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44