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

Update/remove changelogs, readme's #5

Closed cascremers closed 3 years ago

cascremers commented 11 years ago

Several of the older files in the source tree are outdated. They should either be replaced or removed.