We are building a proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. We aim to determine whether formal verification can increase users’ confidence in PMs and thus increase their adoption.
Members of the PassCert research team attended iFM 2022, the 17th International Conference on integrated Formal Methods.
Our SmartPasswords extension was accepted by the Bitwarden team! The feature will be merged into the product after a process of code review, benefitting millions of users.
Members of the PassCert research team attended INFORUM 2021, the Portuguese Informatics Symposium, and presented work in progress.
We have an open research assistant / Ph.D. student position in the PassCert project! The focus is on the application of formal methods to password security. The successful candidate will work from INESC-ID in beautiful Lisbon, Portugal and collaborate closely with the PassCert team. We are open to discuss the possibility of remote working.
The deadline for application is 12 March 2021. More details