Folder containing various protocol in BOTH Proverif and Tamarin.
This is done as an exercise for me to get better at both Proverif and Tamarin, as well as understanding how to translate things between the two
Folder containing various protocol in BOTH Proverif and Tamarin.
This is done as an exercise for me to get better at both Proverif and Tamarin, as well as understanding how to translate things between the two