issues
search
cascremers
/
scyther
The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96
stars
38
forks
source link
Improve claim explanations and new role parameter to Alive and Weakagree
#9
Open
cascremers
opened
11 years ago