Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Description

Exploring the Impact of Formal Verification on the Adoption of Password Security Software

PassCert will create a password manager that, through the use of formal verification, guarantees security properties over data storage and password generation.

Details

Details

  • Acronym

    PassCert
  • Start

    01st February 2021
  • Global Budget

    69.994,00 €
  • State

    Completed
  • Effective End

    30th June 2022
  • End

    30th June 2022
  • Responsible

    José Bacelar Almeida
  • Financing

    28.550,00 €
  • Funded by

Team
001

Associated Centres

HASLab

Centre

High-Assurance Software