SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	DECANATO DE PÓS-GRADUAÇÃO / DPG (11.01.08)
Código:	DPG1291
Nome:	TÓPICOS AVANÇADOS EM FORMALISMOS E MÉTODOS DA COMPUTAÇÃO
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Ementa:	Exploração de técnicas de identificação de vulnerabilidade em smart contracts; Plataformas de block-chain e smart-contracts; Privacidade e vulnerabilidade de software; Privacidade e vulnerabildiade em Smart Contracts; e Técnicas de identificação de vulnerabilidades.