Programa

Segurança em Linguagens de Programação

Diploma de Estudos Avançados em Segurança de Informação

Programa

Complementos de semântica de linguagens, teoria de tipos, lógicas e cálculos para computação. Mecanismos de segurança: dinâmicos e estáticos. Formalização de políticas de segurança: confidencialidade, integridade, privacidade, anonimato. Tipificação do fluxo seguro de informação: uso de sistemas de tipos para garantir propriedades de fluxo de informação (não-interferência e suas generalizações). Outros tópicos em segurança baseada em linguagens: código portador de prova, compilação certificada, linguagem máquina tipificada, inspecção da pilha de segurança.