Propostas de Teses de Mestrado para o Ano Lectivo 2009/10

• Abstracções Simbólicas de Primitivas Criptográficas
• Análise de Ferramentas de Verificação de Protocolos Criptográficos
• Análise de Secure APIs / Segurança de Hardware Security Modules (HSM)
• Privacidade em Sistemas de Informação - Logging with Audit Logics
• Segurança e Privacidade em Sistemas de Identificação e Micro-Pagamento
• Simulador de Sistemas Quânticos
• Verificação de Protocolos Criptográficos com a Ferramenta CryptoVerif
• Votação Electrónica