398 citations · 462 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.HC2021★ 5 cited
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future,…
cs.CR2021★ 3 cited
Towards Formal Verification of Password Generation Algorithms used in Password Managers
Miguel Grilo, João F. Ferreira, José Bacelar Almeida
Password managers are important tools that enable us to use stronger passwords, freeing us from the cognitive burden of remembering them. Despite this, there are still many users w…