Students

 

Current Ph.D. Students

  • Paulo Antunes - vulnerability discovery (co-advised with Ibéria Medeiros)

 

Current Master Students

  • Duarte Santos - LLM
  • Filipe Rodrigues - Distributed ML
  • David Gonçalves - dataset creation system (co-adivised with Ibéria Medeiros)
  • Pedro Bastos - Distributed ML
  • Rita Morais - LLM
  • Rodrigo Simões - Distributed ML
  • Yuri Chiado - malware analysis (co-adivised with André Falcão)

 

    PhD:

  1. Miguel Garcia, Diverse Intrusion-tolerant Systems, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, May 2019 (Co-advised with Alysson Bessani)  (now as Software Engineer at Sensei, Lisbon (PT))
  2. Bruno Vavala, Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions, Dual PhD Degree in: Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa; PhD in Computer Science, School of Computer Science, Carnegie Mellon University, July 2017 (Co-advised with Peter Steenkiste)  (now as Research Scientist at Intel Labs, Hillsboro (Oregon))
  3. Manuel Mendonça, Vulnerability Detection in Device Drivers, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, March 2017 (now as Chief Innovation Officer at NewNote Solutions, Lisboa (PT))
  4. Ibéria Medeiros, Detection of Vulnerabilities and Automatic Protection for Web Applications, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2016 (Co-advised with Miguel Correia) (now as Associate Professor at FCUL, Lisboa (PT))
  5. João Alexandre Simões Antunes, Network Attack Injection, Doutoramento em Informática, Especialidade Ciência da Computação, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2012 (now as Software Engineer at Meta, Menlo Park (CA))
  6. 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) (now as Research Engineer at Protocol Labs, San Francisco (CA))
  7. 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) (now as VP of Data Science at LetsGetChecked, Dublin & New York (IR & NY))

 

    Master:

  1. Miguel Fereira, Development of a Website for Creation of Vulnerability Datasets, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, January 2024. (Co-advised with Ibéria Medeiros)
  2. Tomás Ferreira, ZeroDays v2: Sistema de Gestão de Ameaças de Cibersegurança Dia-Zero (Exploits e Software Malicioso Dia-Zero), Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Fevereiro 2023. (Co-advised with José Alegria)
  3. Rui Pereira, Automatização de Requisitos de Segurança em Aplicações Android, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2020. (Co-advised with Ibéria Medeiros)
  4. Ana Maria Dias Fidalgo, Detecting Web Vulnerabilities in an Intermediate Language by Resorting to Machine Learning Techniques, Mestrado em Ciência de Dados, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2020. (Co-advised with Ibéria Medeiros)
  5. João Miranda, Cyber Security Vulnerability Management System, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Setembro 2020. (Co-advised with José Alegria)
  6. Bruno Lourenço, Vulnerabilities Detection at Runtime and Continuous Auditing, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, April 2020. (Co-advised with Ibéria Medeiros)
  7. Ricardo Morgado, Invalidating web applications attacks by employing the right secure code, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2019. (Co-advised with Ibéria Medeiros)
  8. Francisco Araújo, Generating Software Tests to Check for Flaws and Functionalities, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2019. (Co-advised with Ibéria Medeiros)
  9. Paulo Antunes, Monitoring Web Applications for Vulnerability Discovery and Removal Under Attack, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2018. (Co-advised with Ibéria Medeiros)
  10. Pedro Maia, Resilient Communication in Smart Grids, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2018. (Co-advised with Fernando Ramos)
  11. Henrique Mendes, Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, April 2018. (Co-advised with Ibéria Medeiros)
  12. Miguel Falé, Improving Vulnerability Detection of WAP, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2017. (Co-advised with Ibéria Medeiros)
  13. Fábio Pereira, Secure Network Monitoring Using Programmable Data Planes, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2017. (Co-advised with Fernando Ramos)
  14. Luis Ferrolho, Secure and Dependable Virtual Network Embedding, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2016. (Co-advised with Fernando Ramos)
  15. Nuno Pereira, A Knowledge-based, Secure and Dependable Self-Healing Architecture for the Smart Grid, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2016.
  16. Frederico Brito, Fast Reroute Usig Segment Routing for Smart Grids, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2016. (Co-advised with Fernando Ramos)
  17. Rodrigo Medeiros, Secure Monitoring for a Secure Smart Grid, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2015. (Co-advised with Fernando Ramos)
  18. André Jesus, Privacy Preserving Protocols for Smart Meters and Electric Vehicles, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, September 2015.
  19. Radu Onica, Secure GPS Clock Synchronization in Smart Grids, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July 2015. (Co-advised with António Casimiro)
  20. Fernando Alves, Vulnerability Discovery in Power Line Communications, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July 2015. (Co-advised with Alysson Bessani)
  21. Gonçalo Semedo, Load Balancing in Real Software Defined Networks, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2014. (Co-adivised with Fernando Ramos)
  22. David Matos, Achieving Fault-Tolerant Consensus in Ad Hoc Networks, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2013.
  23. José Lopes, Communication with RaptorQ Codes in Malicious Environments, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2013.
  24. Emanuel Alves, Comunicação e filiação em redes ad-hoc móveis com participantes desconhecidos, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2013. (Co-advised with Alysson Bessani)
  25. Pedro Rodrigues, Resilient Event Collection in SIEM Systems, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, October 2013.
  26. Ricardo Fonseca, Attack-Tolerant Communication in a SIEM Tool, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, December 2012.
  27. 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)
  28. 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)
  29. 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)
  30. 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.
  31. 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)
  32. 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)
  33. 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)
  34. 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)
  35. 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)
  36. 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)
  37. 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
  38. 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)
  39. 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)
  40. 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
  41. 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
  42. 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.
  43. 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.

 

Back to Nuno Neves' home page