Isabel Maria Ventura Santos
Título: Lógica da Separação e Verificação Formal de Programas
Orientadores: Luís Pinto (DMA) e Maria João Frade (DI)
Defendida em 21 de Dezembro de 2012

José Miguel Gomes Loureiro
Título: Implementação de Funções de Hash e Cifras de Chave Pública Baseadas em Retículos
Orientadores: Pedro Patrício (DMA) e José Carlos Bacelar (DI)
Defendida em 21 de Dezembro de 2012

Luís Pedro Barata Valério
Título: Criptografia  e Sistemas de Votação Electónicos - O Caso Particular do eVote
Relatório Profissional apresentado ao abrigo do Despacho RT - 38/2011
Defendido em 18 Janeiro de 2013

José João Peixoto Pereira
Título: Bounded Model-Checking e Programas Imperativos
Orientadores: Luís Pinto (DMA) e Jorge Sousa Pinto (DI)
Defendida em 19 de Dezembro de 2013