Supervisions

PhD Theses

PhD Theses: 11

2019

Advisors: Luís Veiga and Peter Van Roy
Software-Defined Systems for Network-Aware Service Composition and Workflow Placement
PhD Thesis at Instituto Superior Técnico, ULisboa / Université catholique de Louvain, Jul. 2019 [bibTex]
Advisors: Luis Rodrigues
Aluno de Doutoramento
PhD Thesis, Mar. 2019 [bibTex]

2018

​Techniques for Enhancing the Performance of Data-intensive Management Systems
PhD Thesis at Instituto Superior Técnico, ULisboa, Dec. 2018 [bibTex]
Sileshi Demesie
Advisors: Miguel Correia and Seif Haridi
Mobile Device Security with ARM TrustZone
PhD Thesis at Instituto Superior Técnico, Nov. 2018 [bibTex]
Advisors: Paolo Romano and Vladimir Vlassov
Techniques for enhancing the efficiency of Transactional Memory
PhD Thesis at IST & KTH, Oct. 2018 [bibTex]
Advisors: Paulo Ferreira
novaVM: Enhanced Java Virtual Machine for Big Data Applications
PhD Thesis at University of Lisbon / IST, Sep. 2018 [bibTex]
Advisors: Luis Rodrigues
Geo-Replicated Key Value Stores
PhD Thesis at Universidade de Lisboa, May. 2018 [bibTex]

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]

MSc Theses

MSc Theses: 48

2019

Cláudia Fiore
Providing trust to multi-cloud storage platforms through the blockchain
MSc Thesis, Feb. 2019 [bibTex]

2018

João Bernardo Sena Amaro
Advisors: Luis Rodrigues
A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores
MSc Thesis, Nov. 2018 [bibTex]
João Esteves Marçal
Adaptive Information Dissemination in the Bitcoin Network
MSc Thesis, Nov. 2018 [bibTex]
Paulo Jorge Almeida dos Anjos
Blockchain as a consensus service
MSc Thesis, Nov. 2018 [bibTex]
João Miguel Soares de Matos Neves
Advisors: Miguel Matos
Container network topology modelling,
MSc Thesis, Nov. 2018 [bibTex]
Miguel Cândido Viegas
Fine grained transaction scheduling in replicated databases via symbolic execution
MSc Thesis, Nov. 2018 [bibTex]
Francisco Miguel Polaco Santos
Large scale membership and consistency
MSc Thesis, Nov. 2018 [bibTex]
Nuno Cerqueira Afonso
Advisors: Luis Rodrigues
Mechanisms for Providing Causal Consistency on Edge Computing
MSc Thesis, Nov. 2018 [bibTex]
Advisors: Nuno Santos
Security for Mobile Ticketing Applications
MSc Thesis, Nov. 2018 [bibTex]
A recommender-based approach to self-tuning of cloud systems
MSc Thesis, Oct. 2018 [bibTex]
Advisors: Paulo Ferreira
DTBM - Detecting Travel and Behavioral Mode
MSc Thesis, Oct. 2018 [bibTex]
Tiago João dos Santos Lopes
Advisors: Paolo Romano
Speculative Read-Write Lock Elision
MSc Thesis, Jul. 2018 [bibTex]
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]
Ricardo Miranda
Sensor Data Market for the Internet of Things
MSc Thesis at IST-UL, 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]
Advisors: Paolo Romano
Integrating Transactional Memory Support in the TensorFlow Framework
MSc Thesis at Rome University, Jan. 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]
Tomás Costa
Peer-to-peer Communication in Android Devices: Web Access over na Ad Hoc Network
MSc Thesis at IST-UL, 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]

Graduations

Graduation Theses: 1

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]