Supervisions

MSc Theses

MSc Theses: 10

2021

Mustafa Khalil
Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Dec. 2021 [bibTex]
Tiago Barbosa
Advisors: João F. Ferreira and Alexandra Mendes
Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Dec. 2021 [bibTex]
Dinis Araújo
A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Lucas Soares
Advisors: João F. Ferreira and Alexandra Mendes
Development of a Multi-Platform Whiteboard Application
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Ricardo Pereira
Extending EcoAndroid with Automated Detection of Resource Leaks
MSc Thesis, Nov. 2021 [bibTex]
Miguel Grilo
Advisors: João F. Ferreira and José Bacelar Almeida
Formal Verification of Password Generation Algorithms used in Password Managers
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Luís Abrunhosa
Migrating Smart Contracts Across Heterogeneous Blockchains
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Advisors: João F. Ferreira and Alexandra Mendes
On Usable Security and Verified Password Managers
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
João Campos
Advisors: João F. Ferreira and Alexandra Mendes
SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Diogo Patrício
Advisors: João F. Ferreira and Alexandra Mendes
Verification of Auction-Based Smart Contracts using the ConCert Framework
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]

Internships

Internships: 1

2021

Qualichain
short term traineeship, Dec. 2021 [bibTex]