Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#29
The syntax of Authenticity pragmas is not checked before proverif verification