Supervisions

PhD Theses

PhD Theses: 31

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]
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]
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]
Tatjana Lide
Advisors: Miguel Correia
Software Security
PhD Thesis, 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]
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: 61

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]
Leonardo Gonçalves
Advisors: Nuno Santos and Carlos Cardoso
A Public Key Infrastructure for Securing Vehicle-to-Everything Communication
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]
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]
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]
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]
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]
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]
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]
abc and Taras Lykhenko
Advisors: Luis Rodrigues
Optimização da configuração de aplicações distribuídas na nuvem
MSc Thesis, work in progress [bibTex]
Francisco Marques Canelas Ferreira Banha
Partilha de recursos computacionais no ambiente R
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]
António Gonçalo de Medeiros Rodrigues Tavares
Research Infraestructure Blockchain
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]
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]
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]
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

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