These examples run with CryptoVerif version 2.07. Most of these files are also included in the CryptoVerif distribution, and the files in the distribution will be updated if needed as CryptoVerif evolves.
To use the scripts run
mentioned below, the cryptoverif
executable should be in the PATH
or the variable CVDIR
should be set
to the directory that contains the cryptoverif executable.
run
inside the
directory WireGuard.
(File examples/wireguard/WG.25519.psk_dyn.m4.cv in the CryptoVerif
distribution. The CryptoVerif files are generated by
examples/wireguard/prepare.)
run
inside the
directory PRFODH/NoiseNK.
(directory examples/noiseNK/ in the CryptoVerif distribution)
run
inside the
directory PRFODH/HPKE.
(directory examples/hpke/PRFODH/ in the CryptoVerif distribution)
run
inside the
directory WireGuard_group.
(file examples/wireguard/WG.25519.AB-BA.replay_prot.cv in the CryptoVerif
distribution)
cryptoverif
is in your PATH
,
run:
cryptoverif
<file>
For instance:
cryptoverif toy-secrecy.cv