System and Formal Security Team

Thesis Proposals for 2009/10

• Abstracções Simbólicas de Primitivas Criptográficas [PA]
• Análise de Ferramentas de Verificação de Protocolos Criptográficos [PA]
• Análise de Secure APIs / Segurança de Hardware Security Modules (HSM) [PA]
• Controlo de propriedades de segurança em computação global [AAM, JC]
• Formal Verification of Algorithms/Programs [AAM, JC]
  
• Optimistic Multi-Party Contract Signing [AAM, JC]
  
• Privacidade em Sistemas de Informação - Logging with Audit Logics [PA]
• Representação gráfica de fluxos de informação [AAM, JC]
  
• Segurança e Privacidade em Sistemas de Identificação e Micro-Pagamento [JC,PA]
• Simulador de Sistemas Quânticos [PA]
• Verificação de Protocolos Criptográficos com a Ferramenta CryptoVerif [PA]
• Votação Electrónica [PA]
• Side-channel attack tool - core modules [RC]
• Side-channel attack tool - Graphical interface [RC]
• Núcleos de cifragem na arquitectura SideWorks [RC]
• Side-channel Setup for Criptografic Attacks [RC]
• Secure HDD access based on FPGA technology [RC]