Publisher
Springer International Publishing
Reference14 articles.
1. Carreira, C., Ferreira, J.F., Mendes, A.: Towards improving the usability of password managers. InFORUM (2021)
2. Carreira, C., Ferreira, J.F., Mendes, A., Christin, N.: Exploring usable security to improve the impact of formal verification: a research agenda. In: First Workshop on Applicable Formal Methods (Co-located with Formal Methods 2021) (2021)
3. Ferreira, J.F., Johnson, S., Mendes, A., Brooke, P.: Certified password quality: a case study using Coq and Linux pluggable authentication modules. In: 13th International Conference on Integrated Formal Methods (2017)
4. Grilo, M., Campos, J., Ferreira, J.F., Mendes, A., Almeida, J.B.: Verified password generation from password composition policies. In: 17th International Conference on Integrated Formal Methods (2022)
5. Grilo, M., Ferreira, J.F., Almeida, J.B.: Towards formal verification of password generation algorithms used in password managers. arXiv:2106.03626 (2021)