Supervisions

PhD Theses

PhD Theses: 33

António Manuel Rebelo Alves Homem Ferreira and Subhajit Sidhanta
(undefined)
PhD Thesis at IST-UTL, work in progress [bibTex]
Advisors: João Barreto
A defenir
PhD Thesis, work in progress [bibTex]
Tatjana Lide
Advisors: Miguel Correia
A definir
PhD Thesis, work in progress [bibTex]
Daniel Charles Ferreira Porto
A system model for the data center
PhD Thesis at Instituto Superior Técnico, work in progress [bibTex]
Josimar Sfreddo
Advisors: João Barreto
ACCELERATING COMPLEX SYSTEMS THROUGH DYNAMIC THREAD MANAGEMENT IN NUMA MACHINES
PhD Thesis, work in progress [bibTex]
Advisors: Luis Rodrigues
Aluno de Doutoramento
PhD Thesis, work in progress [bibTex]
Luiz Julião Braga Filho
Ambiente para Aquisição de Conhecimento por Agentes em Domínios Restritos na Infraestrutura da Internet
PhD Thesis, work in progress [bibTex]
Pedro Sá da Costa
Advisors: Miguel Correia and Fernando Ramos
Byzantine fault-tolerant MapReduce
PhD Thesis at Universidade de Lisboa, work in progress [bibTex]
João Lima
Detecção de Intrusões baseada em especificações de processos e regras de negócio aplicada à proteção de Infraestruturas Críticas
PhD Thesis at Instituto Superior Técnico, work in progress [bibTex]
Jingna Zeng
Advisors: Luis Rodrigues and Seif Haridi
Distributed Processing Frameworks
PhD Thesis at Universidade de Lisboa, work in progress [bibTex]
Advisors: Paolo Romano
Energy Efficiency and Concurrent Programming
PhD Thesis, work in progress [bibTex]
Advisors: Nuno Santos
ERASMUS - aluno de doutoramento
PhD Thesis, work in progress [bibTex]
Advisors: João Barreto
Ethical validation for blockchain transactions towards autonomous ethically guided cryptocurrencies
PhD Thesis, work in progress [bibTex]
Advisors: Luis Rodrigues
Geo-Replicated Key Value Stores
PhD Thesis at Universidade de Lisboa, work in progress [bibTex]
Walter Priesnitz Filho
Gerenciamento de Identidades Digitais com Foco Em Interoperabilidade e Escalabilidade de Atributo
PhD Thesis, work in progress [bibTex]
Walter Priesnitz Filho
Gerenciamento de Identidades Digitais com Foco Em Interoperabilidade e Escalabilidade de Atributo
PhD Thesis at Instituto Superior Técnico, work in progress [bibTex]
Intrusion Recovery for Cloud Computing
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Advisors: Paulo Ferreira
Java Virtual Machine Resource Management for Big Data Applications
PhD Thesis at University of Lisbon / IST, work in progress [bibTex]
Arnaldo Luis de Gouveia
Advisors: Miguel Correia
Machine Learning Approches to Network Intrusion Detection
PhD Thesis, work in progress [bibTex]
Novel approaches for large distributed graph storage and optimized querying
PhD Thesis at Instituto Superior Técnico, UL, work in progress [bibTex]
Carlos Gonçalves
Prevenção de Intrusos por análise de anomalias de negócio
PhD Thesis at Instituto Superior Técnico, work in progress [bibTex]
Tiago Luis de Oliveira Brito
Advisors: Nuno Santos
Privacy in distributed systems
PhD Thesis at Instituto Superior Técnico, work in progress [bibTex]
Quality-driven Data Consistency and Dataflow models for Data Intensive Computing in Clouds
PhD Thesis at Instituto Superior Técnico - Universidade Técnica de Lisboa, work in progress [bibTex]
Requirements Variability for Industry 4.0: Specification and Analysis (título provisório)
PhD Thesis at AESI doctoral program, UMinho, work in progress [bibTex]
Advisors: Luís Veiga
SDN-Based Enhancements to QoS and Data Quality in Multi-Tenanted Data Center Clouds
PhD Thesis at Instituto Superior Técnico, UL, work in progress [bibTex]
Diogo Miguel Barrinha Barradas
Security in distributed systems
PhD Thesis, work in progress [bibTex]
Advisors: Luis Rodrigues and Marco Canini
Software Defined Networking
PhD Thesis at U.Lisboa, IST, work in progress [bibTex]
Advisors: João Barreto
Suporte à programação paralela em sistemas multi-processador através do paradigma da Memória Transaccional
PhD Thesis at Instituto Superior Técnico - Technical University Lisbon, work in progress [bibTex]
Advisors: João Barreto
Support for Highly Parallel Concurrent Programming
PhD Thesis at Universidade de Lisboa, work in progress [bibTex]
Sileshi Demesie
Advisors: Miguel Correia and Seif Haridi
Trusted Mobile Computing
PhD Thesis at Instituto Superior Técnico / KTH, work in progress [bibTex]
Gustavo Andriolli de Siqueira Cavalcanti
Advisors: Miguel Correia
Um Sistema de Ficheiros Multi-Cloud Tolerante a Intrusões
PhD Thesis, work in progress [bibTex]
Advisors: Luis Rodrigues
User of Transient Resources in Stream Porcessing Systems
PhD Thesis at Universidade de Lisboa, work in progress [bibTex]
Luis Filipe Xavier Cavaco de Mendonça Dias
Advisors: Miguel Correia
Utilização de algoritmos de Machine Learning para sistemas de Deteção de Intrusão no domínio Ciber
PhD Thesis, work in progress [bibTex]

MSc Theses

MSc Theses: 77

André Filipe Pardal Pires
Cloud @ Edge
MSc Thesis, work in progress [bibTex]
Francisco Prelhaz Martins
Advisors: Miguel Pardal
Location proofs in Smart Spaces
MSc Thesis, work in progress [bibTex]
Advisors: João Barreto
A new approach to organization and tracking of Walking School Buses
MSc Thesis, work in progress [bibTex]
Maria da Loura Casimiro
A recommender-based approach to self-tuning of cloud systems
MSc Thesis, work in progress [bibTex]
Pedro José Fernandes de Oliveira Gomes
Automatic Code Parallelization using Voluntary Computing
MSc Thesis, work in progress [bibTex]
Bruno Filipe Gonçalves Candeias
Bandwidth-efficient incremental iterative computations with bounded staleness
MSc Thesis at Nova University of Lisbon, work in progress [bibTex]
Pedro Afonso Guerreiro
Benchmark for Micro-Services based Applications
MSc Thesis, work in progress [bibTex]
Rui Nuno Lopes Claro
Advisors: Miguel Pardal and José Miguel Ladeira Portelo
Big Data Privacy by Design Computation Platform
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
João Esteves Marçal
BitShield: Hardening Information Propagation in Blockchains
MSc Thesis, work in progress [bibTex]
Paulo Jorge Almeida dos Anjos
Blockchain as a consensus service
MSc Thesis, work in progress [bibTex]
Carlos Sérgio Figueira Faria
Advisors: Miguel Correia
Blockchain Simulator
MSc Thesis, work in progress [bibTex]
Roberto Cordeiro Ponte
Blockchain Software Security
MSc Thesis, work in progress [bibTex]
Luís Filipe dos Reis Pereira
Advisors: Miguel Correia
Blockchain, and the implementation of a digital ledger
MSc Thesis, work in progress [bibTex]
Jorge Emanuel Nogueira Martins
Advisors: João Coelho Garcia and Pedro Machado
Candeeiro Inteligente
MSc Thesis, work in progress [bibTex]
Artur José Lourenço Fonseca
Advisors: José Simão
Cloud-Auctions
MSc Thesis, work in progress [bibTex]
Rafael Afonso Rodrigues
Advisors: Luís Veiga and Rodrigo Martins de Matos Ventura
Cloud-BridgeOS: Middleware adaptativo de robótica para a Cloud
MSc Thesis, work in progress [bibTex]
Marcus Vinícius Paulino Gomes
Advisors: Miguel Pardal
Clouds vs Fog: assessment of alternative deployments for a latency-sensitive IoT application
MSc Thesis, work in progress [bibTex]
João Manuel Policarpo Moreira
Comparing Software Stacks for Big Data Processing in the Internet of Things
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
João Paulo Guerreiro Carrapiço
Computation offloading in bridgeOS
MSc Thesis, work in progress [bibTex]
André Bispo
Advisors: Nuno Santos
DBCop: Keeping Databases Private from Curious Database Administrators
MSc Thesis at Instituto Superior Técnico, work in progress [bibTex]
Daniel Freire Lascas
Descrição Automática de Erros em Aplicação Concorrentes​
MSc Thesis, work in progress [bibTex]
Rafael Jorge Barreira
Dissertação - Optimização de percursos de recolha de objectos em espaços físicos
MSc Thesis, work in progress [bibTex]
Alexandr Ignatiev
Dissertation: Debunking the CPU+GPU Processing with Transactional Memory
MSc Thesis, work in progress [bibTex]
Constantin Zavgorodnii
Advisors: Paulo Ferreira
DTBM - Detecting Travel and Behavioral Mode
MSc Thesis, work in progress [bibTex]
Miguel Correia Guerra
Advisors: Miguel Correia
Dynamic Security Analysis using Virtual Machine Introspection
MSc Thesis, work in progress [bibTex]
Fabio Perfetti
Advisors: Paolo Romano
Elastic scaling of Transactional Data Grids
MSc Thesis, work in progress [bibTex]
Advisors: Paolo Romano
Energy Efficient Hardware Transactional Memory
MSc Thesis, work in progress [bibTex]
Paulo Jorge Dias Nunes
Escalonamento e Elasticidade em Clusters e Clouds privadas
MSc Thesis, work in progress [bibTex]
Advisors: João Barreto
Estacionamento seguro para bicicletas em meio urbano
MSc Thesis, work in progress [bibTex]
Ricardo Simon Moreira Wagenmaker and Sebastião Salema Cordeiro Aboim de Barros
Estimação de Custos Computacionais para Computação Voluntária em R
MSc Thesis, work in progress [bibTex]
Rui Miguel Baptista Botelho
Execução Particionada de Servidores de Jogos Multi-Utilizadores em Cloud Elásticas
MSc Thesis, work in progress [bibTex]
Truong Duc Kien
Advisors: Paolo Romano
Exploiting Speculation in Big-Data Processing
MSc Thesis, work in progress [bibTex]
Miguel Cândido Viegas
Fine grained transaction scheduling in replicated databases via symbolic execution
MSc Thesis, work in progress [bibTex]
João Miguel Louro Neto
Advisors: João Barreto
Geo-Replicated Buckets: An Optimistic Geo-Replicated Shim for Key-Value Stores
MSc Thesis, work in progress [bibTex]
Tiago João dos Santos Lopes
Advisors: Paolo Romano
Hardware Read-Write Lock Elision on Intel processors
MSc Thesis, work in progress [bibTex]
HBASE++ Extending HBase with client-centric consistency guarantees for Geo-Replication
MSc Thesis, work in progress [bibTex]
Diogo de Carvalho e Pereira
Advisors: Miguel Correia
Incremental static security analysis for the PHP language
MSc Thesis, work in progress [bibTex]
João Gonçalo da Silva Antunes
Advisors: Luís Veiga
IPFS Pub-Sub
MSc Thesis, work in progress [bibTex]
João António Mateus Tiago
Advisors: Luís Veiga
IPFS-Cache
MSc Thesis, work in progress [bibTex]
Francisco Miguel Polaco Santos
Large scale membership and consistency
MSc Thesis, work in progress [bibTex]
João Bernardo Sena Amaro
Advisors: Luis Rodrigues
Log-Based Distributed Key-Value Stores
MSc Thesis at Universidade de Lisboa, work in progress [bibTex]
Nuno Álvaro Rodrigues Tavares
Low Cost High Precision GPS Service
MSc Thesis, work in progress [bibTex]
Nuno Cerqueira Afonso
Advisors: Luis Rodrigues
Mechanisms for Providing Causal Consistency on Edge Computing
MSc Thesis at Universidade de Lisboa, work in progress [bibTex]
Ricardo Manuel Mota de Moura
MultiTLS secure channel with cipher diversity
MSc Thesis, work in progress [bibTex]
Ricardo Manuel Mota de Moura
MultiTLS: secure channel with cipher diversity
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Diogo Castanheiro Frazão
Advisors: Miguel Correia
PARADISE - Preventive Advertising fRaud Detection Intelligent SystEm
MSc Thesis, work in progress [bibTex]
Francisco Marques Canelas Ferreira Banha
Partilha de recursos computacionais no ambiente R
MSc Thesis, work in progress [bibTex]
André Santos Tavares
Plataforma para o desenvolvimento de aplicações móveis
MSc Thesis, work in progress [bibTex]
Sheng Wang
Advisors: Miguel Pardal
Privacy protection proxy for IoT data endpoints
MSc Thesis, work in progress [bibTex]
João Francisco Romeiras da Costa Amado
Advisors: Miguel Correia
Real-Time Attack Detection on Software-Defined Networks
MSc Thesis, work in progress [bibTex]
Rui Miguel Pereira Barata
Rectify: Website Defacement
MSc Thesis, work in progress [bibTex]
Replicação com consistência variável e tolerância a faltas arbitrárias não correlacionadas
MSc Thesis, work in progress [bibTex]
António Gonçalo de Medeiros Rodrigues Tavares
Research Infraestructure Blockchain
MSc Thesis, work in progress [bibTex]
João Ricardo Marques dos Santos
Advisors: Nuno Santos
Resilient Host Infected Network
MSc Thesis at Instituto Superior Técnico, work in progress [bibTex]
Isabel Cristina Monteiro da Costa
SafeCloud middleware integration
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Isabel Cristina Monteiro da Costa
SafeCloud middleware integration
MSc Thesis, work in progress [bibTex]
Tiago Dias Jobling dos Santos
SDN Infrastructure for IoT
MSc Thesis, work in progress [bibTex]
Wagner Thadeu Moreira Gomes
Secure Communication over mobile phone using smartcards
MSc Thesis, work in progress [bibTex]
Advisors: Nuno Santos
Security for Mobile Ticketing Applications
MSc Thesis, work in progress [bibTex]
Ivo Lopes Pinto
Advisors: Miguel Correia and Paulo Jorge Sousa
Security Risks in Healthcare
MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, work in progress [bibTex]
Hugo Gomes Pimentel
Advisors: Paolo Romano
Self Tuning Replication In Transactional Data Reads
MSc Thesis, work in progress [bibTex]
Ricardo Soares Miranda
Sensor Data Market for the Internet of Things
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Manuel Maria Geraldes Barba Beja da Costa
Sistema de Aviso Móvel da Qualidade de Moluscos Bivalves
MSc Thesis, work in progress [bibTex]
João Carlos Sena Figueira
Smart-Graphs
MSc Thesis, work in progress [bibTex]
Vitor Manuel Freitas Escórcio
Smart-Streams
MSc Thesis, work in progress [bibTex]
André Lisboa Oliveira Costa
SocketsOverMPI - camada de comunicação sobre MPI
MSc Thesis, work in progress [bibTex]
Pedro Mendonça
Advisors: Miguel Correia
Software Authenticity Protection in Smartphones using ARM Trustzone
MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, work in progress [bibTex]
Pedro Miguel dos Santos Mendonça
Software Authenticity Protection in Smartphones using ARM Trustzone
MSc Thesis, work in progress [bibTex]
Luis Manuel Tavares Jordão Alves
Stream-Economics
MSc Thesis, work in progress [bibTex]
João Ricardo Pais Ferreira
Advisors: Miguel Pardal
SureThing - User Device Location Certification
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Diogo Miguel Pardal Calado
Advisors: Miguel Pardal
This4That - A Secure incentive scheme for Internet of Things data sharing
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
João Daniel Jorge Machado
Advisors: Miguel Pardal
Trusted Cooperative Exchange System for Security Vulnerabilities and Exposures
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Nuno Miguel Ribeiro Sousa
UBILocus - Framework for location aware application development
MSc Thesis, work in progress [bibTex]
David Pereira Alves Neves Lopes
Advisors: João Leitão and Rodrigo Rodrigues
WEAQL: Scaling Relational Databases through Weak Consistency
MSc Thesis at Universidade Nova de Lisboa, work in progress [bibTex]
Anabela Sofia Martins Borges
Advisors: Miguel Correia
whitebox fuzzing for web application security
MSc Thesis, work in progress [bibTex]
WikiTime - Collaborative Timelines
MSc Thesis, work in progress [bibTex]
João Nuno Cerdeira Gonçalves
Woinc - Worfflows over BOINC
MSc Thesis, work in progress [bibTex]

Graduations

Graduation Theses: 2

Rui Alexandre Enes Alves and João Pedro de Morais Sarmento das Neves Dias
Advisors: Paulo Ferreira
TaskExplorer - O Ambiente de Trabalho Baseado em Tarefas
Graduation Thesis, work in progress [bibTex]
Advisors: João Barreto
Trabalho sobre SPEC-STM
Graduation Thesis, work in progress [bibTex]

Training

Internships: 2

CMU Portugal 2018
short term traineeship, work in progress [bibTex]
João Filipe Mota Guedes Fumega
CMU Portugal 2018
short term traineeship, work in progress [bibTex]