This repository contains the proverif models used for the verification, the console output of the result and the html output given by NoiseExplorer. Also the models have been generated using NoiseExplorer.
sacca97/Noise_IXpsk0_proverif
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Formal verification of the Noise_IXpsk0 protocol.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published