SPARKSkein 2011 Contains Updates

The SPARKSkein 2011 release has been updated to meet version 1.3 of the Skein specification. All analyses and proofs have also been regenerated using the recently-released GPL 2011 edition of the SPARK toolset.

The updated release is available here.