Supervisions

PhD Theses

PhD Theses: 7

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]

MSc Theses

MSc Theses: 23

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]