From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: SPARKSkein released
Date: Mon, 16 Aug 2010 00:37:59 -0700 (PDT)
Date: 2010-08-16T00:37:59-07:00 [thread overview]
Message-ID: <0ef90b80-0b92-4e4c-895f-bddb4b024675@z28g2000yqh.googlegroups.com> (raw)
Altran Praxis and AdaCore have released SPARKSkein - a new reference
implementation of Skein-512 written and verified using the SPARK
language and toolset. In particular, this release includes a complete
proof of type-safety for the implementation, test cases for structural
coverage, performance, and the reference test vectors from the Skein
specification. Performance is very close to that of the C reference
implementation.
Check it out at www.skein-hash.info
There's also a technical paper describing the implementation and
results, available from
the same place.
- Rod Chapman, SPARK Team, Altran Praxis
next reply other threads:[~2010-08-16 7:37 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-16 7:37 Rod Chapman [this message]
2010-08-16 11:42 ` SPARKSkein released Peter C. Chapin
2010-08-16 16:18 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox