Security evaluation of a protocol to protect FIDO extensions

Description

This repository contains the security evaluation of a protocol proposed to protect FIDO extensions between the relying party and the authenticator.

Usage

1. Install ProVerif (see the manual)
2. Clone this repository
3. Open a command line and run proverif src/<.pv-file>

Results

The results generated by ProVerif for each source file can be found inside results.