PassCert Project
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.
Latest News
PassCert presentations at iFM 2022
Members of the PassCert research team attended iFM 2022, the 17th International Conference on integrated Formal Methods.
SmartPasswords extension accepted by Bitwarden team
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.
PassCert presentations at INFORUM 2021
Members of the PassCert research team attended INFORUM 2021, the Portuguese Informatics Symposium, and presented work in progress.
Research Assistant / PhD Position available
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