Students

Current Ph.D. Students

• Bruno Vavala - intrusion tolerant protocols (co-advised with Peter Steenkiste)
• João Antunes - attack injection
• Manuel Mendonça - fault injection
• Miguel Garcia - diversity for intrusion-tolerance (co-adviced with Alysson Bessani)
• Tiago Carvalho - root cause analysis (co-advised with H. Kim)

Current Master Students

• Ricardo Fonseca - secure communication

PhD:

• Henrique Lícias Senra Moniz, Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2010. (Co-advised with Miguel Correia)
• Paulo Jorge Paiva de Sousa, Proactive Resilience, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, May 2007. (Co-advised with Paulo Veríssimo)

Masters:

• André F. Cruz, NFC and Mobile Payments Today, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, December 2011. (Co-advised with Norman Sadeh)
• Carlos Filipe Zambujo Lopes Pereira, Security on Over the Top TV Services, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, December 2011. (Co-advised with Nicholas Cristin)
• Miguel Garcia Tavares Henriques, Diversity Management in Intrusion Tolerant Systems, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2011. (Co-advised with Alysson Bessani)
• Francisco José Marques Vieira, Realistic Vulnerability Injections in PHP Web Applications, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, May 2011.
• Paulo de Mendonça Dias, Certificate Polygamy – A Matter of Trust, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, May 2011. (Co-advised with Adrian Perrig)
• Luís Fernandes Sousa, Privacy Policy Dynamics in Location Sharing Applications, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, December de 2009. (Co-advised with Norman Sadeh)
• Tiago Filipe Rodrigues de Carvalho, Root Cause Analysis in Large and Complex Networks, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, and MSc in Information Technology - Information Security, CMU, Dezembro de 2008. (Co-advised with Hyong Kim)
• Emanuel Pedro Loureiro Teixeira, Ferramenta de Análise de Código para Detecção de Vulnerabilidades, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2007.
• Henrique Moniz, Randomized Intrusion-Tolerant Asynchronous Services, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2006. (Co-advised with Miguel Correia)
• João Manuel Alexandre Cardana, Analisador Comportamental de Rede, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2006.
• João Alexandre Simões Antunes, Vulnerability Assessment Through Attack Injection, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2006.
• Manuel José Ferreira Carneiro Mendonça, ASASP – Actualização Segura de Aplicações em Sistemas POS, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, January 2005.
• Cláudia Isabel Polainas Mateus Carvalho, Infra-estrutura de Chave Pública do Ministério da Justiça, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, April 2003.

Master with projects in companies:

• Nuno Filipe Neves Dias, Gestão de Repúdios numa Plataforma de Gestão de Processos, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July 2010. (Project done at Indra Sistemas Portugal, and co-advised with Miguel Oliveira)
• André António Pinto da Costa Santos, Desenvolvimento de um Sítio de Comércio Electrónico Através de uma Metodologia Ágil, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2009. (Project done at Truewind, and co-advised with João Campos).
• João Alexandre Rodrigues Fernandes, Gestão Documental: Processo de Controlo de Notas de Crédito, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July 2008. (Project done at Deloitte, and co-advised with Rosa Isabel Pestana Furtado)
• Miguel Chemetov Cravo Branco de Oliveira, Desenvolvimento de Software para Gestão e Configuração de Elementos de Redes DWDM, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July 2007. (Project done at Siemens S.A., and co-advised with Manuel António Mourinha Fernandes)