miguel pupo correia           
 

students

 

current

Tatjana Lide, tbd, PhD

Luís Dias, tbd, PhD

Daniel Andrade, Mobile Security with Mixed-Trust Sensors, PhD (Co-advised with João Nuno Silva, IST)

Arnaldo Gouveia, Machine Learning for Large-Scale Intrusion Detection, PhD

David Matos, Intrusion Recovery in Cloud Computing, PhD (Co-advised with Miguel Pardal, IST)

Naércio Magaia, Efficient and Secure Routing for Self-Organized Networks, PhD (Co-advised with Paulo Pereira, IST)

Pedro Sá da Costa, Byzantine fault-tolerant MapReduce, PhD (Co-advised with Fernando Ramos, FCUL)

Sileshi Demesie Yalew, Trusted Mobile Computing, PhD (Co-advised with Seif Haridi and Gerald McGuire Jr., KTH, Sweden)

Carlos Faria, Blockchain Simulator, MSc

Roberto Ponte, Blockchain Software Security, MSc (Co-advised with Ibéria Medeiros, FCUL)

António Tavares, Research Infrastructure Blockchain, MSc (Co-advised with Mário Silva, IST)

João Amado, Detecção de Ataques Desconhecidos em Tempo-Real em Redes Definidas por Software, MSc (Co-advised with Fernando Ramos, FCUL)

Paulo Anjos, Blockchain as a Consensus Service, MSc (Co-advised with Miguel Matos, IST)

Tiago Rosado, BCaR: Blockchain in Car Registration, MSc (Co-advised with André Vasconcelos, IST/AMA)

Diogo Pereira, Software Security Analysis in the OutSystems Platform, MSc (Co-advised with Lúcio Ferrão, OutSystems)

Pedro Madeira, Response Rate Limiting no serviço DNS de .PT, MSc (Co-advised with Assis Guerreiro, DNS.PT)

Ricardo Moura, MultiTLS: secure channel with cipher diversity, MSc (Co-advised with Miguel Pardal, IST)

Isabel Costa, SafeCloud middleware integration, MSc (Co-advised with Miguel Pardal, IST)

Anabela Borges, Whitebox Fuzzing for Web Application Security, MSc (Co-advised with Ibéria Medeiros, FCUL)

Pedro Mendonça, Software Authenticity Protection in Smartphones using ARM Trustzone, MSc

Miguel Guerra, Dynamic Security Analysis using Virtual Machine Introspection, MSc (Co-advised with Hans Reiser, Univ. Passau, Germany)

Luis Reis Pereira, Modular Blockchain, MSc

past

PhD

Ibéria Medeiros, Detection of Vulnerabilities and Automatic Protection for Web Applications, PhD, September 2016 (Co-advised with Nuno F. Neves, FCUL)

Giuliana Santos, Intrusion Tolerance in Large Scale Networks, PhD, December 2010 (Co-advised with Lau Cheuk Lung)

Henrique Moniz,Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks, PhD, November 2010 (Co-advised with Nuno Ferreira Neves)

Master

Ivo Pinto, Security Risks in Healthcare, MSc, Feb. 2017 (Co-advised with Paulo Sousa, Maxdata Healthcare Solutions)

Eugénio Alves da Silva, Practical use of Partially Homomorphic Cryptography, MSc, Nov. 2016

André Joaquim, vtTLS: A Vulnerability-Tolerant Communication Protocol, MSc, Nov. 2016 (Co-advised with Miguel Pardal, IST)

Diogo Raposo, MACHETE: Multi-path Communication for Security, MSc, Nov. 2016 (Co-advised with Miguel Pardal, IST)

Filipe Apolinário, SafeAudit: A Software Library for Efficient Data Integrity Verification on Commercial Clouds, MSc, Nov. 2016 (Co-advised with Miguel Pardal, IST)

Karan Hamirshi Balu, DARSHANA: Detecting Route Hijacking For Communication Confidentiality, MSc, Nov. 2016 (Co-advised with Miguel Pardal, IST)

Diogo Frazão, PARADISE - Preventive Advertising fRAud Detection Intelligent SystEm, MSc, Nov. 2016 (Co-advised with João Redol, EyeSee)

Luis Sacramento, Detection of Unknown Network Attackers Through Flow Analysis, MSc, Nov. 2016 (Co-advised with João Bota, Vodafone)

Mariana Paulo, Security Testing in Continuous Integration Systems, MSc, Nov. 2016 (Co-advised with José Ramos, Nokia)

Christine Blakemore, Fingerprinting for Web Applications: from Devices to Related Groups, MSc, Jun. 2016 (Co-advised with João Redol, EyeSee)

Rui Pires, Security for Satellite Access to Mesh Networks, MSc in Telecommunications and Informatics Engineering, IST, Nov. 2015 (Co-advised with Orlando Remédios, SenseFinity)

Daniel Gonçalves, Automatic Diagnosis of Security Events in Complex Infrastructures using Logs, MSc in in Information Systems and Computer Engineering, IST, May 2015 (Co-advised with João Bota, Vodafone)

Helton Miranda, TimelyWare: a Middleware for Timely and Reliable Communication over the Internet, MSc in Telecommunications and Informatics Engineering, IST, May 2015

Dário Nascimento, Recovery from Security Intrusions in Cloud Computing, MSc in Telecommunications and Informatics Engineering, IST, Feb. 2015

Miguel Beatriz, Automatic Web Vulnerability Discovery with Fuzzing, MSc in in Information Systems and Computer Engineering, IST, Nov. 2014.

Ricardo Carvalho, Security from Authentication Vulnerabilities in Cloud Computing, MSc in in Information Systems and Computer Engineering, IST, Nov. 2014.

João Félix, Gestão de Estado Eficiente no Serviço de Coordenação DDS, Mestrado em Informática, FCUL, Nov. 2012. (Co-advised with Alysson Bessani)

Francisco Rocha, Privacy in Could Computing, MSIT-IS / Mestrado em Segurança Informática, December 2010

Yan Xie, A Grid Computing Environment for Fuzzing, MSIT-IS / Mestrado em Segurança Informática, December 2010

Gustavo Nascimento, Detection System for Web-based Attacks, MSIT-IS / Mestrado em Segurança Informática, December 2010

Sérgio Nunes, Web attack risk awareness with lessons learned from high interaction honeypots, MSc in Information Technology / Information Security, CMU/FCUL, December 2009.

Pan Jieke, Cooperative Intrusion Detection for The Next Generation Carrier Ethernet, Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008 (Co-advised with Eng. João Redol, Nokia-Siemens)

Ibéria Medeiros, Detection of Integer Vulnerabilities in Porting Software from 32 to 64 bit Architectures (Detecção de Vulnerabilidades de Inteiros na Adaptação de Software de 32 para 64 Bits), Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008

Carlos Lourenço, Security by Default in Database Management Systems (Segurança da Configuração por Omissão de Sistemas de Gestão de Bases de Dados), Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008

Henrique Moniz, Randomized Intrusion-Tolerant Asynchronous Services, Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, December 2006. (Co-advised with Nuno Ferreira Neves)

Graduation in Engineering

Tiago Jorge, Projecto de uma Componente Distribuída para Suporte a Protocolos Tolerantes a Intrusões (Design of a Distributed Component for Supporting Intrusion-Tolerant Protocols, Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

José Pascoal, Projecto de um Serviço Distribuído Replicado Tolerante a Intrusões (Design of a Distributed Intrusion-Tolerant Replicated Service), Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

Pan Jieke, Projecto de uma Componente Distribuída Segura usando o LIDS (Design of a Distributed Security Kernel based on LIDS), Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

home | last update: 29-07-2013