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.
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.