Supervisions

PhD Theses

PhD Theses: 12

2017

Pedro Sá da Costa
Advisors: Miguel Correia and Fernando Ramos
Dependable MapReduce in a Cloud-of-Clouds
PhD Thesis at Universidade de Lisboa, Nov. 2017 [bibTex]
Efficient and Secure Routing in Wireless Ad Hoc Networks
PhD Thesis at Instituto Superior Técnico, Univesity of Lisbon, Jul. 2017 [bibTex]
Emmanouil Dimogerontakis
Advisors: Leandro Navarro (UPC) and Luís Veiga
Internet Sharing in Community Networks
PhD Thesis at University Polytechnic of Catalunya (UPC) and Instituto Superior Técnico, ULisboa, May. 2017 [bibTex]
Mennan Selimi
Advisors: Felix Freitag (UPC) and Luís Veiga
On the Service Placement in Community Network Micro-Clouds
PhD Thesis at University Polytechnic of Catalunya (UPC) and Instituto Superior Técnico, ULisboa, May. 2017 [bibTex]

2016

Interest Aware Consistency Management and Cloud Aware Resource Provisioning for Distributed Interactive Applications
PhD Thesis at Instituto Superior Técnico, ULisboa, Dec. 2016 [bibTex]
Xavier Araújo Morgado Vilaça
Advisors: Luis Rodrigues
Sustaining Cooperation in Dependable Systems: a Game Theoretical Approach
PhD Thesis at Instituto Superior Técnico, Universidade Técnica de Lisboa, Dec. 2016 [bibTex]
Leila Sharifi
Advisors: Luís Veiga and Felix Freitag
Energy-aware Service Provisioning in P2P-assisted Cloud Ecosystems
PhD Thesis at Instituto Superior Técnico, UL, Nov. 2016 [bibTex]
Advisors: Paolo Romano
Algorithms for Enhancing the Performance Robustness of Transactional Memory Systems
PhD Thesis at IST, Lisbon University, Sep. 2016 [bibTex]
Advisors: Miguel Correia and Nuno Ferreira Neves
Detection of Vulnerabilities and Automatic Protection for Web Applications
PhD Thesis, Sep. 2016 [bibTex]
Nuno de Ferraz Almeida e Peixoto Machado
Advisors: Luis Rodrigues
Cooperative Concurrency Debugging
PhD Thesis at Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun. 2016 [bibTex]
Amin Khan
Advisors: Luis Rodrigues and Felix Freitag
Managing Incentives in Community Network Clouds
PhD Thesis at Universidade de Lisboa, Jun. 2016 [bibTex]
Advisors: Luís Veiga and Michael William Hicks
PhD Thesis at Instituto Superior Técnico, ULisboa, Jan. 2016 [bibTex] [PDF]

MSc Theses

MSc Theses: 73

2018

Rui Nuno Lopes Claro
Big Data Privacy by Design Computation Platform
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
João Ricardo Marques dos Santos
Advisors: Nuno Santos and David Dias
DClaims: A Censorship-Resistant Web Annotations System
MSc Thesis, Jun. 2018 [bibTex]
Miguel Correia Guerra
Advisors: Miguel Correia
Dynamic Security Analysis using Virtual Machine Introspection
MSc Thesis, Jun. 2018 [bibTex]
Ricardo Manuel Mota de Moura
MultiTLS: secure channel with cipher diversity
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
Isabel Cristina Monteiro da Costa
PREMIUM: Private Reactive Multipath Communication Middleware
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
Pedro Miguel Reis Queiroga Branco Valério
Smart Place Manager: provisioning, deployment and monitoring of cloud-based application servers
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
Luis Manuel Tavares Jordão Alves
Stream-Economics - Resource Efficiency in Flink Stream Processing with Accuracy Awareness and Load-Shedding
MSc Thesis, Jun. 2018 [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, Jun. 2018 [bibTex]
Anabela Sofia Martins Borges
Advisors: Miguel Correia and Ibéria Vitória Medeiros
Whitebox fuzzing for web application security
MSc Thesis, Jun. 2018 [bibTex]

2017

Advisors: Luis Rodrigues
Policy-Based Adaptation of Byzantine Fault Tolerant Systems
MSc Thesis at Universidade de Lisboa, Dec. 2017 [bibTex]
João Manuel Policarpo Moreira
Comparing software stacks for Big Data batch processing
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2017 [bibTex]
Filipe Duarte Bento Custódio
Crypto Cloud
MSc Thesis, Nov. 2017 [bibTex]
Sérgio da Silva Mendes
Energy4Cloud
MSc Thesis, Nov. 2017 [bibTex]
Advisors: João Barreto
Estacionamento seguro para bicicletas em meio urbano
MSc Thesis, Nov. 2017 [bibTex]
Generalized Paxos made Byzantine, Visigoth and Less Complex
MSc Thesis, Nov. 2017 [bibTex]
Pedro Miguel dos Santos Mendonça
Software Authenticity Protection in Smartphones using ARM Trustzone
MSc Thesis, Nov. 2017 [bibTex]
João Ricardo Pais Ferreira
Advisors: Miguel Pardal
SureThing - User Device Location Certification
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2017 [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, Nov. 2017 [bibTex]
André Santos Tavares
Variable Data Consistency in Parse Server
MSc Thesis at Instituto Superior Técnico, Nov. 2017 [bibTex]
Advisors: Paulo Ferreira
BikeApp - Detecting Cyclists Activity and Location using Bluetooth Low Energy Technology
MSc Thesis, Oct. 2017 [bibTex]
Bernardo Brito da Palma
Advisors: Luis Rodrigues
Byzantine Fault Tolerant Monitoring of Distributed Systems
MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
Artur José Lourenço Fonseca
Cloud-Auctions
MSc Thesis, Oct. 2017 [bibTex]
Carlos Eduardo Alves Carvalho
Advisors: Luis Rodrigues
Dynamic Adaptation of Byzantine Fault Tolerant Protocols
MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
Nuno Fangueiro
Advisors: Paolo Romano
Exploiting Hardware Transactional Memory to Accelerate Concurrent Spatio-Temporal Indexes
MSc Thesis at Ist, Lisbon University , Oct. 2017 [bibTex]
Ricardo Jorge Lopes Abreu
Advisors: Paulo Ferreira
GeoFriends-Recommendation System in Location Based Social Networks
MSc Thesis, Oct. 2017 [bibTex]
Advisors: Luis Rodrigues
Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures
MSc Thesis at Universidade de Lisboa, Oct. 2017 [bibTex]
Carlos Ribeiro
Scalable and Memory-Efficient Approaches for Spatial Data Downscaling Leveraging Machine Learning
MSc Thesis at Ist, Lisbon University , Oct. 2017 [bibTex]
Advisors: Paulo Ferreira
TrustedVote-Trusted Computing for Internet Voting
MSc Thesis, Oct. 2017 [bibTex]
Advisors: João Barreto
A new approach to organization and tracking of Walking School Buses
MSc Thesis, Jun. 2017 [bibTex]
André Santos
Advisors: Paolo Romano
A recommendation system approach to online tuning of Transactional Memory
MSc Thesis at Ist, Lisbon University , May. 2017 [bibTex]
António Maria de Sousa Nunes Marques Pinto
Promoting urban bicycle use through next-generation cycle track-and-score systems
MSc Thesis, May. 2017 [bibTex]
Rui Diogo David dos Santos
Multrack: A Framework for Using Multiple Location Technologies Simultaneously
MSc Thesis, Feb. 2017 [bibTex]
Ivo Lopes Pinto
Advisors: Miguel Correia and Paulo Jorge Sousa
Security Risks in Healthcare
MSc Thesis, Feb. 2017 [bibTex]

2016

Filipe Miguel Marques Tavares
Advisors: Miguel Pardal and Artur Arsénio
Multiple Device Localization System
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2016 [bibTex]
Nikola Koevski
MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2016 [bibTex] [PDF]
Tiago Luis de Oliveira Brito
Advisors: Nuno Santos
Darkroom: The Use of ARM TrustZone For Secure Data Processing on the Cloud
MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
Karan Hamirshi Balu
DARSHANA: Detecting Route Hijacking for Communication Confidentiality
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
Luís Sacramento
Advisors: Miguel Correia and João Bota
Detection of Unknown Network Attackers Through Flow Analysis
MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
João Sales Henriques Miranda
Advisors: Luis Rodrigues
Fault Isolation in Software Defined Networks
MSc Thesis at Universidade de Lisboa, IST, Nov. 2016 [bibTex]
João Pedro Martins Graça
GeoSharding - optimization of data partitioning in sharded georeferenced databases
MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
Graph based Localization Information Repository
MSc Thesis at IST, Nov. 2016 [bibTex]
José Miguel Nobre de Brito Camacho
Advisors: Miguel Pardal and Alberto Manuel Ramos da Cunha
IoT Middleware for Precision Agriculture
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
Francisco Miguel Caramelo Duarte
Advisors: Luis Rodrigues
Learning Adaptation Models Under Non-Determinism
MSc Thesis at U. Lisboa, IST, Nov. 2016 [bibTex]
Diogo Miguel Marcos Raposo
MACHETE: Multi-path Communication for Security
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
André Pimenta Alves
Multi-OS on the Cloud
MSc Thesis, Nov. 2016 [bibTex]
Diogo Frazão
Advisors: Miguel Correia and João Redol
PARADISE - Preventive Advertising fRAud Detection Intelligent SystEm
MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
Eugénio Alves da Silva
Advisors: Miguel Correia
Practical use of Partially Homomorphic Cryptography
MSc Thesis, Nov. 2016 [bibTex]
Renato David Silva Rosa
Advisors: Luís Veiga
MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2016 [bibTex] [PDF]
Gonçalo Nuno de Brito Galado da Costa Grazina
Advisors: Paulo Ferreira
RaspEnergy - Detecting power supply failures
MSc Thesis, Nov. 2016 [bibTex]
Runtime Support fo Hiperty Execution in a Web-Centric P2P Service Architecture
MSc Thesis, Nov. 2016 [bibTex]
Filipe Apolinário
SafeAudit: A Software Library for Efficient Data Integrity Verification on Commercial Clouds
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
Tiago Miguel Correia Diogo
Advisors: Miguel Pardal
Secure Bootstrapping for 6LoWPAN Networks to prevent Vampire Attacks in the Internet of Things
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
Secure hyper-linked entities in dynamic networks
MSc Thesis, Nov. 2016 [bibTex]
Mariana Paulo
Advisors: Miguel Correia and José Ramos
Security Testing in Continuous Integration Systems
MSc Thesis at Universidade de Lisboa, Instituto Superior Técnico, Nov. 2016 [bibTex]
David Lopes
Segurança em Redes Ad-hoc Táticas Baseadas no Protocolo CRAN
MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, Nov. 2016 [bibTex]
António Monteiro
Advisors: Nuno Santos
ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications
MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
Filipe Alexandre Lourenço Teixeira
Advisors: Paulo Ferreira
Termite: Emulation Test-bed for Encounter Networks
MSc Thesis at IST, Nov. 2016 [bibTex]
Ricardo Manuel Nunes Vieira
Transactional Memory for Heterogeneous CPU-GPU Systems
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
João Pedro Cohen Rocheteau e Silva Ramos
TrustPi, a Software Development Framework for TrustZone-enabled Hardware
MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
Marta Sequeira
Advisors: Nuno Santos
Trustversion: A Secrecy-Protected Version Control System
MSc Thesis at Instituto Superior Técnico, Nov. 2016 [bibTex]
Tomás Alexandre Diniz de Pinho
Advisors: Miguel Pardal
UpdaThing: A secure and open firmware update system for Internet of Things devices
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
André de Matos Joaquim
vtTLS: A Vulnerability-Tolerant Communication Protocol
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2016 [bibTex]
Web Authentication Using a Personal Secure Device
MSc Thesis, Nov. 2016 [bibTex]
Sancha Pereira
Storekeeper: Building a Secure File Sharing Platform Out of Freely Available Cloud Storage
MSc Thesis at Instituto Superior Técnico, Oct. 2016 [bibTex]
Tasneem Akhthar
Advisors: Luís Veiga
Tenant-Aware Big-Data Scheduling with Software-Defined Networking
MSc Thesis at Instituto Superior Técnico, ULisboa, Oct. 2016 [bibTex]
Frederico Miguel Reis Sabino
Advisors: Luis Rodrigues
ByTAM: a Byzantine Fault Tolerant Adaptation Manager
MSc Thesis at U. Lisboa, IST, Sep. 2016 [bibTex]
Diogo Miguel Barrinha Barradas
Unobservable Covert Streaming for Internet Censorship Circumvention
MSc Thesis at Universidade de Lisboa, IST, Sep. 2016 [bibTex]
Chaturi Lanchana Rubasinghe Gunawardhana
Advisors: Luis Rodrigues
Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
MSc Thesis at U. Lisboa, Jul. 2016 [bibTex]
João Carlos de Oliveira Quintas
Advisors: Nuno Santos and J. Monteiro
A MIPS32 Simulator for Educational Use at IST and Beyond
MSc Thesis at Instituto Superior Técnico, Jun. 2016 [bibTex]
Francisco João Lourenço Silvério
Advisors: João Nuno de Oliveira e Silva and José Almeida Cruz
Automatic Fish Counting in Aquariums
MSc Thesis at Instituto Superior Técnico, May. 2016 [bibTex]
Bruno Filipe Gonçalves Candeias
Bandwidth-efficient incremental iterative computations with bounded staleness
MSc Thesis at Nova University of Lisbon, May. 2016 [bibTex]
Bruno Miguel Cruz Braga
Advisors: Nuno Santos
P-Cop: Securing PaaS Against Cloud Administration Threats
MSc Thesis, May. 2016 [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, Apr. 2016 [bibTex]

Graduations

Graduation Theses: 4

2017

Humberto Silva and João Penas
Advisors: José Simão
GeoDroid - Sistema de Apoio a Trabalho de Campo de Geologia
Graduation Thesis at Instituto Superior de Engenharia de Lisboa, Jul. 2017 [bibTex]

2016

João Nuno Gonçalves Forja and Alexandre Teixeira de Almeida
Advisors: José Simão and Cátia Vaz
NGS4Cloud: Cloud-based NGS Data Processing
Graduation Thesis at Instituto Superior de Engenharia de Lisboa, Sep. 2016 [bibTex]
Lidia Maria Carvalho de Freitas
Advisors: Luis Rodrigues
Desenvolvimento de um simulador de protocolo de população
Graduation Thesis, Jun. 2016 [bibTex]
João André Dias Figueiredo
Advisors: Luis Rodrigues
Simuladores de redes dinâmicos
Graduation Thesis, Jun. 2016 [bibTex]