Ongoing Supervisions

PhD Theses

PhD Theses: 21

Advisors: João Barreto
A defenir
PhD Thesis, work in progress [bibTex]
Ambiente para Aquisição de Conhecimento por Agentes em Domínios Restritos na Infraestrutura da Internet
PhD Thesis, work in progress [bibTex]
Advisors: Nuno Santos
Automatic Analysis and Mitigation of JavaScript Malware
PhD Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Nuno Santos
Enforcement of GDPR Compliance in Large Scale Systems
PhD Thesis, work in progress [bibTex]
Advisors: Nuno Santos
ERASMUS - aluno de doutoramento
PhD Thesis, work in progress [bibTex]
Erasmus Mundus program
PhD Thesis, work in progress [bibTex]
Advisors: João Cachopo
Execução de aplicações legadas em multicores
PhD Thesis at Instituto Superior Técnico/Universidade Técnica de Lisboa, work in progress [bibTex]
Gerenciamento de Identidades Digitais com Foco Em Interoperabilidade e Escalabilidade de Atributo
PhD Thesis, work in progress [bibTex]
Improved correctness and scalability for blockchains
PhD Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Leveraging Machine Learning Strategies for 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]
Advisors: João Cachopo
Optimização de sistemas de memória transaccional em cenários com conflitos frequentes
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]
Scalable and Efficient Frameworks for Distributed Ledgers,
PhD Thesis at Universidade de Lisboa and Universidade Federal de Santa Catarina, work in progress [bibTex]
Advisors: Paolo Romano
Self-adaptive cloud platforms
PhD Thesis at IST, work in progress [bibTex]
Advisors: Luis Rodrigues and Marco Canini
Software Defined Networking
PhD Thesis at U.Lisboa, IST, work in progress [bibTex]
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]
Transparently Integrate Consistency Across Multiple Cooperating Heterogenous Subsystem
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Advisors: Sandro Pinto and Nuno Santos
Trusted Execution Environments
PhD Thesis at Universidade do Minho, work in progress [bibTex]
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: 53

A Product Family for Digital Humanities Repositories
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: António Menezes Leitão and António Aguiar Costa
Algorithmic Optimization of Structures
MSc Thesis, work in progress [bibTex]
ART@Streams
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Pardal
Attack SureThing! Vulnerability assessment, penetration testing and attack tournament on location proof system
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: João Nuno de Oliveira e Silva and Maria Alexandra Oliveira
Automatic sampling of water content in the soil using lysimeters
MSc Thesis, work in progress [bibTex]
Behavior Driven Test Framework for BPM Quality Assurance
MSc Thesis, work in progress [bibTex]
Advisors: Luís Veiga
Big-Data@Edge
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Blockchain Address Transparency with DNSSEC
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Blockchain for Consent Management
MSc Thesis, work in progress [bibTex]
Citizen Science with immediate feedback
MSc Thesis, work in progress [bibTex]
Cloud platform for enforcement of GDPR policies involving data sharing constraints
MSc Thesis, work in progress [bibTex]
Computation offloading in bridgeOS
MSc Thesis, work in progress [bibTex]
Constraint-Based Programming
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Data Migration for Secure Hardware Extensions
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Desenvolvimento de um plataforma AAD baseada em Microsserviços
MSc Thesis, work in progress [bibTex]
detectBiklio – detect bicycle usage with an Android smartphone ap
MSc Thesis, work in progress [bibTex]
Extending Software-Defined Networking into user managed devices
MSc Thesis, work in progress [bibTex]
From a Monolith to Microservices: The analysis of Spring-Boot Applications
MSc Thesis, work in progress [bibTex]
From a Monolith to Microservices: The dynamic analysis of application in the JVM
MSc Thesis, work in progress [bibTex]
Functional Algorithmic Design
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Game Engines for Algorithmic Design
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
GCperf – A Performance Comparison of Modern Garbage Collectors for Big Data Environments
MSc Thesis, work in progress [bibTex]
GeoPortal to Environmental Datasets
MSc Thesis, work in progress [bibTex]
Geração de código automático para aplicaçoes web baseadas em Vue, Node e mongo
MSc Thesis, work in progress [bibTex]
HBASE++ Extending HBase with client-centric consistency guarantees for Geo-Replication
MSc Thesis, work in progress [bibTex]
Integração de sensores ambientais com dados recolhido por crowdsourcing.
MSc Thesis, work in progress [bibTex]
Interações Multimédia em Exposições Museológicas
MSc Thesis, work in progress [bibTex]
Interactivness in Architecture
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, work in progress [bibTex]
Advisors: Miguel Pardal
Location proofs in Smart Spaces
MSc Thesis, work in progress [bibTex]
Low Cost High Precision GPS Service
MSc Thesis, work in progress [bibTex]
Advisors: João Barreto
Modelização baseada em agentes para planear e avaliar intervenções de contenção da Pandemia de Covid 19
MSc Thesis, work in progress [bibTex]
Mono2Micro - From a Monolith to Microservices: Metrics refinement
MSc Thesis, work in progress [bibTex]
Mono2Micro - Identification of fine-grained call structure and refactoring
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Plataforma de gestão e inventariação para museus
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Reliable and Distributed Storage Systems
MSc Thesis at IST, work in progress [bibTex]
SDN Infrastructure for IoT
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
SEAL: Language-Independent Web Vulnerability Detection using Machine Learning
MSc Thesis, work in progress [bibTex]
Secure Data Storage for Blockchains
MSc Thesis, work in progress [bibTex]
Sistema de Aviso Móvel da Qualidade de Moluscos Bivalves
MSc Thesis, work in progress [bibTex]
Smart-Graphs
MSc Thesis, work in progress [bibTex]
Smart-Streams
MSc Thesis, work in progress [bibTex]
SocketsOverMPI - camada de comunicação sobre MPI
MSc Thesis, work in progress [bibTex]
SureThing Location Proof Transparency
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Miguel Pardal
SureThing UX: use of wearable and kiosk devices for location proofs
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Termite - Supporting Encounter Based Apps
MSc Thesis, work in progress [bibTex]
Tutor for learning based on multiple choice questions
MSc Thesis, work in progress [bibTex]
Tutor for learning based on multiple choice questions
MSc Thesis, work in progress [bibTex]
Tutor for learning based on multiple choice questions
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
UBILocus - Framework for location aware application development
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Pardal
Who-Fi: Wireless device beHaviOr FIngerprinting
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
WikiTime - Collaborative Timelines
MSc Thesis, work in progress [bibTex]
Woinc - Worfflows over BOINC
MSc Thesis, work in progress [bibTex]
Advisors: Luís Veiga
ZIP-Graphs
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]

Graduations

Graduation Theses: 13

Advisors: Olivier Festor of TELECOM Nancy, France
A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks
Graduation Thesis, work in progress [bibTex]
Advisors: Miguel Correia and Luis Filipe Xavier Cavaco de Mendonça Dias
CryingJackpot: Network Flows and Performance Counters against Cryptojacking
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Miguel Correia
Cryptojacking Detection with CPU Usage Metrics
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Efficient Proof-of-space approaches for permissionless blockchains
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: João Nuno de Oliveira e Silva and Adriana Príncipe da Silva
Estudo de tecnicas de Aquisição e processamento de dados LIDAR
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Luis Rodrigues
Estudo sobre o impacto de suporte para transações fracas em ambientes de micro-serviços
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Evaluation of crash-consistency in Persistent Memory Applications
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Secure Storage with a Small, Verified TCB
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Luís Veiga
Stateful@Streams - Stateful Functions for Approximate Stream Processing
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Luis Rodrigues
Suporte para coerência causal transaccional em ambiente de micro-serviços
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Using Randomized Byzantine Consensus to Improve Blockchain Resilience under Attack
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Luis Rodrigues
Validação da qualidade de serviço prestada por servidores na periferia da rede
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Water quality monitoring system
Graduation Thesis at IST, work in progress [bibTex]

Internships

Internships: 5

A defenir - Aluno de licenciatura
short term traineeship, work in progress [bibTex]
Aluno de licenciatura (ainda não tem tese)
short term traineeship, work in progress [bibTex]
Concepção e implementação da interface utilizador do Blended Workflow
short term traineeship, work in progress [bibTex]
Design Computacional e Optimização em Arquitectura
short term traineeship, work in progress [bibTex]
Design Computacional, Processo de Projecto e Interfaces de Programação
short term traineeship, work in progress [bibTex]

Finished Supervisions

PhD Theses

PhD Theses: 2

2020

Advisors: Paolo Romano and Seif Haridi
Augmenting Transactional Memory with the Future Abstraction
PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
Advisors: Paolo Romano and Peter Van Roy
Speculation in Partially-Replicated Transactional Data Stores
PhD Thesis at Instituto Superior Tecnico & Catholic University of Louvain, May. 2020 [bibTex]

MSc Theses

MSc Theses: 19

2021

Advisors: Miguel Matos
ATOCS  - Automatic Configuration of Secure Databases
MSc Thesis, work in progresson 2021 [bibTex]
Advisors: Nuno Santos
Building GDPR-Compliant Applications with RuleKeeper
MSc Thesis, Feb. 2021 [bibTex]
Discovering Vulnerabilities in WebAssembly with Code Property Graphs
MSc Thesis, Feb. 2021 [bibTex]
Building more decentralized blockchains using secure virtual coordinates
MSc Thesis, Jan. 2021 [bibTex]
Advisors: Luis Rodrigues
Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
MSc Thesis, Jan. 2021 [bibTex]
Advisors: Luis Rodrigues
Dynamic Reconfiguration of the Data Aggregation Topology at the Edge
MSc Thesis, Jan. 2021 [bibTex]
PriVeil Circle: using Secure Multiparty Computation for sharing threat information
MSc Thesis, Jan. 2021 [bibTex]
RATEE - Resource Auction Trading at Edge Environments
MSc Thesis, Jan. 2021 [bibTex]
Recoverable Token Recovering from Intrusions against Digital Assets in Ethereum
MSc Thesis, Jan. 2021 [bibTex]

2020

Blockchain-based secret management in multi-cloud storage platforms
MSc Thesis, work in progresson 2020 [bibTex]
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks
MSc Thesis, Dec. 2020 [bibTex]
Scalable consistency service
MSc Thesis, work in progresson 2020 [bibTex]
Advisors: Luis Rodrigues and Nuno Preguiça
Causality Tracking Trade-offs for Distributed Storage
MSc Thesis at Universidade de Lisboa, Nov. 2020 [bibTex]
Advisors: Luis Rodrigues
ENGAGE: Session Guaranties for the Edge
MSc Thesis, Nov. 2020 [bibTex]
Fault Tolerance Support in an R P2P cycle-sharing system
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2020 [bibTex]
Advisors: Nuno Santos
Locksmith: Secure Android Keystore Based on Virtualized Trusted Environments
MSc Thesis, Nov. 2020 [bibTex]
Advisors: Nuno Santos
WArdian: Securing WebAssembly applications on unstrusted mobile operating systems
MSc Thesis, Nov. 2020 [bibTex]
Variable Consistency RPC Layer
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Oct. 2020 [bibTex]
Advisors: Luís Veiga
Pulsarcast - Scalable and reliable pub-sub over P2P networks
MSc Thesis at Instituto Superior Técnico, ULisboa, Jun. 2020 [bibTex]