PassCert presentations at iFM 2022

Jun 7, 2022 1 min read

Lugano, Switzerland

Members of the PassCert research team attended iFM 2022, the 17th International Conference on integrated Formal Methods.

The two papers presented were:

Studying Users' Willingness to Use a Formally Verified Password Manager, Carolina Carreira (presented at the PhD Symposium)
Verified Password Generation from Password Composition Policies, Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida and Alexandra Mendes