Propostas de Teses de Mestrado para o Ano Lectivo 2011/12

• Teoria (Segurança)
• Abstracções Simbólicas de Primitivas Criptográficas (ou porque é que a Criptografia pode ser perfeita)


• Verificação Automática
• Análise de Ferramentas de Verificação de Protocolos Criptográficos
• Provas Criptográficas Assistidas por Computador
• Verificação de Protocolos de Autenticação
• Lógicas para o Estudo de Protocolos de Segurança - Automatização de Provas


• Verificação de Protocolos Criptográficos com a Ferramenta CryptoVerif


• Aplicações de Segurança
• Votação Electrónica - Verificação de Protocolos
• Especificação e Análise do Standard PKCS#11 Usando o Método B


• Anonimizador de Dados Críticos
• Políticas de Acesso em Sistemas de Informação de Médica


• Hacking
• Análise de Secure APIs / Segurança de Hardware Security Modules (HSM)


• Testes de Software
• Integração de Suporte para Geração Automática de Casos de Teste na Ferramenta AnyTester


• Emulação
• Simulador de Sistemas Quânticos

Data: Abril 2011.