/proverif-sissi

This repository contains the formal verification of security properties of the protocol proposed by the SISSI architecture. We use ProVerif for proving secrecy and agreement, and use DeepSec for proving unlinkability.

MIT LicenseMIT

No issues in this repository yet.