Home

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.