PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security SoftwarePassCert: Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords
Type of Position: Research Fellowship (Bolsa de Investigação)
Type of Contract: Research grant
Duration: 6 Months
Limit to reply: 2021-Jan-25
The selected candidate will be a member of the research project PassCert, which aims at building an open-source, proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. PassCert is a research collaboration between researchers from INESC-ID Lisboa (PT), INESC TEC (PT), and Carnegie Mellon University (US).
The selected candidate will: 1) Contribute to the collection of functional and security requirements for the proof-of-concept password manager and to the identification of properties that will be formally verified. 2) Formally verify properties relevant to password managers (e.g. properties on generation of secure passwords and properties related to data location). 3) Contribute to the development of the proof-of-concept verified password manager. 4) Actively participate in and contribute to PassCert's activities and regular meetings.
João Fernando Peixoto Ferreira