PassCert presentations at INFORUM 2021

Members of the PassCert research team attended INFORUM 2021, the Portuguese Informatics Symposium, and presented work in progress.

The three talks presented were:

• Towards Improving the Usability of Password Managers, Carolina Carreira, João F. Ferreira and Alexandra Mendes

• Towards Formal Verification of Password Generation Algorithms used in Password Managers, Miguel Grilo, João F. Ferreira and José Bacelar Almeida

• Certification of a Password Manager’s Cryptographic Component, Pedro Freitas

Photos