◀ Click to filter
Alexandra MendesINESC-ID | 
Total displayed: 8
Order by:
- Studying Contract Usage in Android Mobile Applications (Working title)
David Ferreira
Alexandra Mendes (advisor)
João F. Ferreira (coadvisor)
Faculdade de Engenharia da Universidade do Porto
2022 - An Investigation Into User Expectations for Formal Verification (Working title)
Mariana Soares
Alexandra Mendes (advisor)
João F. Ferreira (coadvisor)
Faculdade de Engenharia da Universidade do Porto
2022 - Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions
Rafael Prates
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework
Tiago Barbosa
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Development of a Multi-Platform Whiteboard Application
Lucas Soares
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - On Usable Security and Verified Password Managers
Carolina Carreira
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords
João Campos
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Verification of Auction-Based Smart Contracts using the ConCert Framework
Diogo Patrício
João F. Ferreira (advisor)
Alexandra Mendes (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019