Publications

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda (2022). bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs. In JLAMP.

Rafael Prates (2022). Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions. MSc Thesis, Instituto Superior Técnico, University of Lisbon.

Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes (2022). Verified password generation from password composition policies. In iFM 2022.

Carolina Carreira (2022). Studying Users' Willingness to Use a Formally Verified Password Manager. In iFM-PhD 2022.

Pedro Freitas (2022). Implementação Certificada da Componente Criptográfica do Gestor de Passwords KeePass. MSc Thesis, University of Minho.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicholas Christin (2021). Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. In AppFM 2021 published as a volume of EPTCS.

João Campos (2021). SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords. MSc Thesis, Instituto Superior Técnico, University of Lisbon.

Carolina Carreira (2021). On Usable Security and Verified Password Managers. MSc Thesis, Instituto Superior Técnico, University of Lisbon.

Miguel Grilo (2021). Formal Verification of Password Generation Algorithms used in Password Managers. MSc Thesis, Instituto Superior Técnico, University of Lisbon.

Rui Lima, João F. Ferreira, Alexandra Mendes (2021). Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. In IWOR 2021.

Carolina Carreira, João F. Ferreira, Alexandra Mendes (2021). Towards Improving the Usability of Password Managers. In INForum 2021.

Joshua Tan, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor (2020). Practical recommendations for stronger, more usable passwords combining minimum-strength, minimum-length, and blocklist requirements. In CCS 2020.

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2020). Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. In AsiaCCS 2020.

David Pereira, João F. Ferreira, Alexandra Mendes (2020). Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. In ISSREW 2020 (RSDA 2020).

Sarah Pearman, Shikun Aerin Zhang, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor (2019). Why people (don’t) use password managers effectively. In SOUPS 2019.